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. |
The private header file for the TraceXmldumper class.
The header file for the TraceXmlDumper class.
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
TraceXmlDumper::INHERITS_FROM | ( | TracePlugin | ) |
void trace_xml_dumper_deinit | ( | TraceXmlDumper_ptr | self | ) | [related] |
void trace_xml_dumper_init | ( | TraceXmlDumper_ptr | self, | |
boolean | is_embedded | |||
) | [related] |
AutomaticStart
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