TraceCompact_ptr
TraceCompact_create(
)
- Compact plugin constructor.
- Defined in
TraceCompact.c
TraceExplainer_ptr
TraceExplainer_create(
boolean changes_only
)
- Explainer plugin constructor. As arguments it takes the boolean
variable /"changes_only/". If changes_only is 1, than only state
variables which assume a different value from the previous printed one are
printed out.
- Defined in
TraceExplainer.c
int
TracePlugin_action(
const TracePlugin_ptr self,
const Trace_ptr trace,
const TraceOpt_ptr opt
)
- Executes the different action method, corresponding to which
derived class instance belongs to, on the trace.
- Defined in
TracePlugin.c
char*
TracePlugin_get_desc(
const TracePlugin_ptr self
)
- Returns a short description of the plugin.
- Defined in
TracePlugin.c
void
TracePlugin_print_assignment(
const TracePlugin_ptr self,
node_ptr symb,
node_ptr val
)
-
- Defined in
TracePlugin.c
void
TracePlugin_print_list(
const TracePlugin_ptr self,
node_ptr list
)
-
- Defined in
TracePlugin.c
void
TracePlugin_print_symbol(
const TracePlugin_ptr self,
node_ptr symb
)
-
- Defined in
TracePlugin.c
TraceTable_ptr
TraceTable_create(
TraceTableStyle style
)
- Table plugin constructor. As arguments it takes variable style
which decides the style of printing the trace. The possible values of the
style variable may be: TRACE_TABLE_TYPE_ROW and TRACE_TABLE_TYPE_COLUMN.
- Defined in
TraceTable.c
TraceXmlDumper_ptr
TraceXmlDumper_create(
)
- XML plugin constructor. Using this plugin, a trace can
be dumped to file in XML format
- Defined in
TraceXmlDumper.c
int
trace_compact_action(
const TracePlugin_ptr plugin
)
- The action associated with TraceCompact is to print the trace
in the specified file in compact format.
- Defined in
TraceCompact.c
void
trace_compact_deinit(
TraceCompact_ptr self
)
- Deinitializes Explain object.
- Defined in
TraceCompact.c
static void
trace_compact_finalize(
Object_ptr object,
void* dummy
)
- Trace Compact finalize method.
- Defined in
TraceCompact.c
void
trace_compact_init(
TraceCompact_ptr self
)
- Initializes trace compact object.
- Defined in
TraceCompact.c
int
trace_explainer_action(
const TracePlugin_ptr self
)
- The action associated with TraceExplainer is to print the trace
on the TraceOpt_output_stream(self->opt). If changes_only is 1, than only state variables
which assume a different value from the previous printed one are printed
out.
- Side Effects print_hash is modified.
- Defined in
TraceExplainer.c
void
trace_explainer_deinit(
TraceExplainer_ptr self
)
- Deinitializes Explain object.
- Defined in
TraceExplainer.c
static void
trace_explainer_finalize(
Object_ptr object,
void* dummy
)
- Trace Explainer finalize method.
- Defined in
TraceExplainer.c
void
trace_explainer_init(
TraceExplainer_ptr self,
boolean changes_only
)
- Initializes trace explain object.
- Defined in
TraceExplainer.c
int
trace_plugin_action(
const TracePlugin_ptr self
)
- It is a pure virtual function and TracePlugin is an abstract
base class. Every derived class must ovewrwrite this function. It returns 1
if operation is successful, 0 otherwise.
- Defined in
TracePlugin.c
void
trace_plugin_deinit(
TracePlugin_ptr self
)
- This function de-initializes the plugin class.
- Defined in
TracePlugin.c
static void
trace_plugin_finalize(
Object_ptr object,
void* dummy
)
- Pure virtual function. This must be refined by derived classes.
- Defined in
TracePlugin.c
void
trace_plugin_init(
TracePlugin_ptr self,
char* desc
)
- This function initializes the plugin class.
- Defined in
TracePlugin.c
boolean
trace_plugin_is_visible_symbol(
TracePlugin_ptr self,
node_ptr symb
)
- Check that node is printable
- Defined in
TracePlugin.c
int
trace_table_action(
const TracePlugin_ptr plugin
)
- The action associated with TraceTable is to print the trace
in the specified file in table format. There are two ways a trace can be
printed: i). where states are listed row-wise. ii) Where states are listed
column-wise. This depends on the style variable assoicated with the plugin.
- Defined in
TraceTable.c
void
trace_table_deinit(
TraceTable_ptr self
)
- Deinitializes Explain object.
- Defined in
TraceTable.c
static void
trace_table_finalize(
Object_ptr object,
void* dummy
)
- Trace Table finalize method.
- Defined in
TraceTable.c
void
trace_table_init(
TraceTable_ptr self,
TraceTableStyle style
)
- As arguments it takes variable /"style /" to print the trace.
The possible values for the style may be : TRACE_TABLE_TYPE_ROW and
TRACE_TABLE_TYPE_COLUMN.
- Defined in
TraceTable.c
static int
trace_table_print_column_style(
const TraceTable_ptr self
)
- Print Trace in Table format with each symbols on a seperate
column.
- Defined in
TraceTable.c
static int
trace_table_print_row_style(
const TraceTable_ptr self
)
- Print Trace in Table format with each symbol on a seperate
row.
- Defined in
TraceTable.c
int
trace_xml_dumper_action(
TracePlugin_ptr self
)
- Given trace is written into the file pointed by
given additional parameter
- Defined in
TraceXmlDumper.c
void
trace_xml_dumper_deinit(
TraceXmlDumper_ptr self
)
- Deinitializes the TraceXmlDumper Plugin object.
- Defined in
TraceXmlDumper.c
static void
trace_xml_dumper_finalize(
Object_ptr object,
void* dummy
)
- Plugin finalize method.
- Defined in
TraceXmlDumper.c
void
trace_xml_dumper_init(
TraceXmlDumper_ptr self
)
- Class initializer
- Defined in
TraceXmlDumper.c