TraceExplainer_create()
Creates an Explainer Plugin and initializes it.
TracePlugin_action()
Action associated with the Class TracePlugin.
TracePlugin_get_desc()
Returns a short description of the plugin.
TracePlugin_print_assignment()
TracePlugin_print_list()
TracePlugin_print_symbol()
TraceTable_create()
Creates an Table Plugin and initializes it.
TraceXmlDumper_create()
Creates a XML Plugin for dumping and initializes it.
trace_explainer_action()
Action method associated with TraceExplainer class.
trace_explainer_deinit()
Deinitializes Explain object.
trace_explainer_finalize()
Trace Explainer finalize method.
trace_explainer_init()
Initializes trace explain object.
trace_plugin_action()
Action associated with the Class action.
trace_plugin_deinit()
This function de-initializes the plugin class.
trace_plugin_finalize()
Finalize method of plugin class.
trace_plugin_init()
This function initializes the plugin class.
trace_plugin_is_visible_symbol()
Check that node is printable
trace_table_action()
Action method associated with TraceTable class.
trace_table_deinit()
Deinitializes Explain object.
trace_table_finalize()
Trace Table finalize method.
trace_table_init()
Initializes trace table object.
trace_table_print_column_style()
Print Trace in Table format with each state on a seperate column.
trace_table_print_row_style()
Print Trace in table format with each state in a seperate row.
trace_xml_dumper_action()
Action method associated with TraceXmlDumper class.
trace_xml_dumper_deinit()
Deinitializes the TraceXmlDumper Plugin object.
trace_xml_dumper_finalize()
Plugin finalize method.
trace_xml_dumper_init()
Class initializer

Last updated on 2010/11/03 21h:54