#include <defines.h>
Data Fields | |
char | type |
int | id |
time_t | timestamp |
char * | reason |
exclude_reason * | next |
Structure that holds the information for an exclusion reason. This structure is stored in the functional unit that contains the signal, expression or FSM table.
Specifies the numerical ID of the exclusion (type and id together make a unique identifier)
Referenced by exclude_db_merge(), exclude_db_read(), exclude_db_write(), exclude_find_exclude_reason(), exclude_merge(), exclude_remove_exclude_reason(), and exclude_resolve_reason().
Pointer to the next exclusion reason structure
Referenced by exclude_add_exclude_reason(), exclude_db_merge(), exclude_db_read(), exclude_find_exclude_reason(), exclude_merge(), exclude_remove_exclude_reason(), funit_clean(), funit_db_write(), and funit_merge().
char* exclude_reason_s::reason |
String containing reason for exclusion
Referenced by arc_get_transitions(), combination_get_exclude_list(), combination_list_missed(), exclude_db_merge(), exclude_db_read(), exclude_db_write(), exclude_merge(), exclude_print_exclusion(), exclude_remove_exclude_reason(), exclude_resolve_reason(), funit_clean(), line_collect(), line_display_verbose(), memory_display_verbose(), memory_get_coverage(), ovl_display_verbose(), ovl_get_coverage(), toggle_display_verbose(), and toggle_get_coverage().
time_t exclude_reason_s::timestamp |
Time that the reason was added to the CDD
Referenced by exclude_db_merge(), exclude_db_read(), exclude_db_write(), exclude_merge(), and exclude_resolve_reason().
Specifies the type of exclusion (L=line, T=toggle, M=memory, E=expression, F=FSM, A=assertion)
Referenced by exclude_db_merge(), exclude_db_read(), exclude_db_write(), exclude_find_exclude_reason(), exclude_merge(), exclude_remove_exclude_reason(), and exclude_resolve_reason().