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, 
  Trace_ptr  trace, 
  const array_t* layer_names, 
  void* arg 
)
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

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 into or stored from the XML format.

Defined in TraceXmlDumper.c

TraceXmlLoader_ptr 
TraceXmlLoader_create(
    
)

Defined in TraceXmlLoader.c

TraceXmlTag 
TraceXmlTag_from_string(
  const char* tag 
)
Protected function that converts an string to TraceXMLTag

Defined in TraceXmlDumper.c

int 
trace_explainer_action(
  const TracePlugin_ptr  plugin, 
  Trace_ptr  trace, 
  const array_t* layers, 
  void* opt 
)
The action associated with TraceExplainer is to print the trace on the nusmv_stdout. 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, 
  Trace_ptr  trace, 
  const array_t* layer_names, 
  void* arg 
)
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

int 
trace_table_action(
  const TracePlugin_ptr  plugin, 
  Trace_ptr  trace, 
  const array_t* layer_names, 
  void* opt 
)
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(
  TraceTable_ptr  self, 
  Trace_ptr  trace, 
  const array_t* layer_names, 
  FILE* output 
)
Print Trace in Table format with each state on a seperate column.

Defined in TraceTable.c

static int 
trace_table_print_row_style(
  TraceTable_ptr  self, 
  Trace_ptr  trace, 
  const array_t* layer_names, 
  FILE* output 
)
Print Trace in table format with each state in a seperate row.

Defined in TraceTable.c

static void 
trace_table_print_vars_rows(
  TraceTable_ptr  self, 
  Trace_ptr  trace, 
  NodeList_ptr  symbols, 
  boolean  is_only_input, 
  boolean  is_only_state, 
  FILE* output 
)
This methods take into account of positions associated to state and input symbols. It is provided in order to allow printing of a group of symbols (e.g. only the state symbols, or only the input symbols)

Defined in TraceTable.c

int 
trace_xml_dumper_action(
  const TracePlugin_ptr  plugin, 
  Trace_ptr  trace, 
  const array_t* layer_names, 
  void* opt 
)
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 int 
trace_xml_dumper_dump(
  TraceXmlDumper_ptr  self, 
  Trace_ptr  trace, 
  const array_t* layer_names, 
  FILE* output 
)
Dump the trace in XML format into FILE pointed by /"output/".

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

int 
trace_xml_loader_action(
  const TracePlugin_ptr  plugin, 
  Trace_ptr  trace, 
  const array_t* layer_names, 
  void* opt 
)
Given trace is loaded from xml representation stored into the file pointed by given additional parameter. Layer names are ignored and can be NULL

Defined in TraceXmlLoader.c

static void 
trace_xml_loader_char_handler(
  TraceXmlLoader_ptr  self, 
  const char * txt, 
  int  txtlen 
)
Character Handler used by parser.

Defined in TraceXmlLoader.c

void 
trace_xml_loader_deinit(
  TraceXmlLoader_ptr  self 
)
Deallocates internal structures

Defined in TraceXmlLoader.c

static int 
trace_xml_loader_fill_trace(
  TraceXmlLoader_ptr  self, 
  Trace_ptr  trace 
)
It converts the internal trace representation into a Trace instance

Defined in TraceXmlLoader.c

static void 
trace_xml_loader_finalize(
  Object_ptr  object, 
  void* dummy 
)
Virtual destructor

Defined in TraceXmlLoader.c

void 
trace_xml_loader_init(
  TraceXmlLoader_ptr  self 
)

Defined in TraceXmlLoader.c

static boolean 
trace_xml_loader_load(
  TraceXmlLoader_ptr  self, 
  Trace_ptr  trace, 
  FILE* xml_file 
)
Returns true if an error occurs, false otherwise

Defined in TraceXmlLoader.c

static void 
trace_xml_loader_reset(
  TraceXmlLoader_ptr  self 
)
Cleans up after reading of xml source

Defined in TraceXmlLoader.c

static void 
trace_xml_loader_set(
  TraceXmlLoader_ptr  self 
)

Defined in TraceXmlLoader.c

static void 
trace_xml_loader_tag_begin(
  TraceXmlLoader_ptr  self, 
  const char* name, 
  const char** atts 
)
Function that gets called when parser encounter start of some tag.

Defined in TraceXmlLoader.c

static void 
trace_xml_loader_tag_end(
  TraceXmlLoader_ptr  self, 
  const char * name 
)
Function that gets called when end of any tag is encountered by the parser.

Defined in TraceXmlLoader.c

Last updated on 2009/03/04 13h:34