TraceXmlDumper Struct Reference

The private header file for the TraceXmldumper class. More...

#include <TraceXmlDumper_private.h>

Public Member Functions

 INHERITS_FROM (TracePlugin)

Data Fields

boolean is_embedded

Related Functions

(Note that these are not member functions.)



void trace_xml_dumper_deinit (TraceXmlDumper_ptr self)
void trace_xml_dumper_init (TraceXmlDumper_ptr self, boolean is_embedded)
void trace_xml_dumper_print_assignment (TracePlugin_ptr self, node_ptr symb, node_ptr val)
void trace_xml_dumper_print_symbol (TracePlugin_ptr self, node_ptr symb)
TraceXmlDumper_ptr TraceXmlDumper_create (boolean is_embedded)
 Creates a XML Plugin for dumping and initializes it.

Detailed Description

The private header file for the TraceXmldumper class.

The header file for the TraceXmlDumper class.

Author:
Marco Pensallorto
Todo:
: Missing description

This is a plugin that dumps the XML representation of a trace The member "is_embedded" controls if the xml printed will be a subtree of a containg element or a full xml document

Author:
Marco Pensallorto
Todo:
: Missing description
Todo:
Missing synopsis
Todo:
Missing description

Member Function Documentation

TraceXmlDumper::INHERITS_FROM ( TracePlugin   ) 

Friends And Related Function Documentation

void trace_xml_dumper_deinit ( TraceXmlDumper_ptr  self  )  [related]
void trace_xml_dumper_init ( TraceXmlDumper_ptr  self,
boolean  is_embedded 
) [related]

AutomaticStart

Todo:
void trace_xml_dumper_print_assignment ( TracePlugin_ptr  self,
node_ptr  symb,
node_ptr  val 
) [related]
void trace_xml_dumper_print_symbol ( TracePlugin_ptr  self,
node_ptr  symb 
) [related]
TraceXmlDumper_ptr TraceXmlDumper_create ( boolean  is_embedded  )  [related]

Creates a XML Plugin for dumping and initializes it.

AutomaticStart

XML plugin constructor. Using this plugin, a trace can be dumped to file in XML format


Field Documentation


The documentation for this struct was generated from the following files:
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1