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_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 state 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 state in 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

Last updated on 2010/05/19 22h:26