NuSMV/code/nusmv/core/trace/loaders/TraceXmlLoader_private.h File Reference

#include "nusmv/core/trace/pkg_traceInt.h"
#include "nusmv/core/trace/loaders/TraceLoader_private.h"
#include <libxml/parser.h>
#include <libxml/tree.h>

Go to the source code of this file.

Data Structures
struct	TraceXmlLoader
	This is the xml loader plugin class. More...
Defines
#define	LIBXML2_BUFSIZE   0x8000
	The private header file for the TraceXmlLoader class.
#define	MAX_EQ_LEN   (4 + MAX_ID_LEN + MAX_VL_LEN)
#define	MAX_ID_LEN   0x3ffe
#define	MAX_VL_LEN   0x3ffe
Functions
Trace_ptr	trace_xml_loader_load (TraceLoader_ptr loader, const SymbTable_ptr st, const NodeList_ptr symbols)

---

Define Documentation

#define LIBXML2_BUFSIZE   0x8000

The private header file for the TraceXmlLoader class.

Author:

Ashutosh Trivedi, Roberto Cavada, Marco Pensallorto

Todo:

: Missing description

Todo:

Missing synopsis

Todo:

Missing description

#define MAX_EQ_LEN   (4 + MAX_ID_LEN + MAX_VL_LEN)

Todo:

Missing synopsis

Todo:

Missing description

#define MAX_ID_LEN   0x3ffe

Todo:

Missing synopsis

Todo:

Missing description

#define MAX_VL_LEN   0x3ffe

Todo:

Missing synopsis

Todo:

Missing description

---

Function Documentation

Trace_ptr trace_xml_loader_load	(	TraceLoader_ptr	loader,
		const SymbTable_ptr	st,
		const NodeList_ptr	symbols
	)