-
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 2011/04/06 21h:16