TraceXmlLoader Struct Reference

This is the xml loader plugin class. More...

#include <TraceXmlLoader_private.h>

Public Member Functions
	INHERITS_FROM (TraceLoader)
Data Fields
hash_ptr	all_wrong_symbols
char *	curr_eq
TraceXmlTag	curr_parsing
char *	curr_symb
char *	curr_val
NuSMVEnv_ptr	environment
boolean	halt_on_undefined_symbols
boolean	halt_on_wrong_section
unsigned	last_time
NodeList_ptr	loopback_states
char *	nusmv_input_file
int	nusmv_yylineno
boolean	parse_error
xmlParserCtxtPtr	parser
boolean	requires_value
TraceIter	step
char *	stream_buf
Trace_ptr	trace
char *	trace_desc
char *	xml_filename
Related Functions
(Note that these are not member functions.)
void	trace_xml_loader_deinit (TraceXmlLoader_ptr self)
void	trace_xml_loader_init (TraceXmlLoader_ptr self, const char *xml_filename, boolean halt_on_undefined_symbols, boolean halt_on_wrong_section)
TraceXmlLoader_ptr	TraceXmlLoader_create (const char *xml_filename, boolean halt_on_undefined_symbols, boolean halt_on_wrong_section)
	Constructor.

---

Detailed Description

This is the xml loader plugin class.

The header file for the TraceXmlLoader class.

Author:

Marco Pensallorto

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

---

Member Function Documentation

TraceXmlLoader::INHERITS_FROM

(

TraceLoader

)

---

Friends And Related Function Documentation

void trace_xml_loader_deinit

(

TraceXmlLoader_ptr

self

)

[related]

Todo:

void trace_xml_loader_init	(	TraceXmlLoader_ptr	self,
		const char *	xml_filename,
		boolean	halt_on_undefined_symbols,
		boolean	halt_on_wrong_section
	)			[related]

AutomaticStart

Todo:

TraceXmlLoader_ptr TraceXmlLoader_create	(	const char *	xml_filename,
		boolean	halt_on_undefined_symbols,
		boolean	halt_on_wrong_section
	)			[related]

Constructor.

AutomaticStart

---

Field Documentation

hash_ptr TraceXmlLoader::all_wrong_symbols

char* TraceXmlLoader::curr_eq

TraceXmlTag TraceXmlLoader::curr_parsing

char* TraceXmlLoader::curr_symb

char* TraceXmlLoader::curr_val

NuSMVEnv_ptr TraceXmlLoader::environment

boolean TraceXmlLoader::halt_on_undefined_symbols

boolean TraceXmlLoader::halt_on_wrong_section

unsigned TraceXmlLoader::last_time

NodeList_ptr TraceXmlLoader::loopback_states

char* TraceXmlLoader::nusmv_input_file

int TraceXmlLoader::nusmv_yylineno

boolean TraceXmlLoader::parse_error

xmlParserCtxtPtr TraceXmlLoader::parser

boolean TraceXmlLoader::requires_value

TraceIter TraceXmlLoader::step

char* TraceXmlLoader::stream_buf

Trace_ptr TraceXmlLoader::trace

char* TraceXmlLoader::trace_desc

char* TraceXmlLoader::xml_filename

---

The documentation for this struct was generated from the following files:

• NuSMV/code/nusmv/core/trace/loaders/TraceXmlLoader_private.h
• NuSMV/code/nusmv/core/trace/loaders/TraceXmlLoader.h