TraceLoader Struct Reference

The private interface of class TraceLoader. More...

#include <TraceLoader_private.h>

Public Member Functions
	INHERITS_FROM (Object)
Data Fields
char *	desc
VIRTUAL Trace_ptr(*	load )(TraceLoader_ptr self, const SymbTable_ptr st, const NodeList_ptr symbols)
Related Functions
(Note that these are not member functions.)
void	trace_loader_deinit (TraceLoader_ptr self)
	This function de-initializes the loader class.
void	trace_loader_init (TraceLoader_ptr self, char *desc)
	This function initializes the loader class.
Trace_ptr	trace_loader_load (TraceLoader_ptr self, const SymbTable_ptr st, const NodeList_ptr symbols)
	Action associated with the Class action.
char *	TraceLoader_get_desc (const TraceLoader_ptr self)
	Returns a short description of the loader.
VIRTUAL Trace_ptr	TraceLoader_load_trace (const TraceLoader_ptr self, SymbTable_ptr st, NodeList_ptr symbols)
	Action associated with the Class TraceLoader.

---

Detailed Description

The private interface of class TraceLoader.

The header file for the TraceLoader class.

Author:

Marco Pensallorto Private definition to be used by derived classes

TraceLoader Class This class defines a prototype for a generic TraceLoader. This class is virtual and must be specialized.

Author:

Marco Pensallorto This Class implements a generic Loader class.

Todo:

Missing synopsis

Todo:

Missing description

---

Member Function Documentation

TraceLoader::INHERITS_FROM

(

Object

)

---

Friends And Related Function Documentation

void trace_loader_deinit

(

TraceLoader_ptr

self

)

[related]

This function de-initializes the loader class.

void trace_loader_init	(	TraceLoader_ptr	self,
		char *	desc
	)			[related]

This function initializes the loader class.

AutomaticStart

Trace_ptr trace_loader_load	(	TraceLoader_ptr	self,
		const SymbTable_ptr	st,
		const NodeList_ptr	symbols
	)			[related]

Action associated with the Class action.

It is a pure virtual function and TraceLoader is an abstract base class. Every derived class must ovewrwrite this function. It returns 1 if operation is successful, 0 otherwise.

char * TraceLoader_get_desc

(

const TraceLoader_ptr

self

)

[related]

Returns a short description of the loader.

VIRTUAL Trace_ptr TraceLoader_load_trace	(	const TraceLoader_ptr	self,
		SymbTable_ptr	st,
		NodeList_ptr	symbols
	)			[related]

Action associated with the Class TraceLoader.

AutomaticStart

---

Field Documentation

char* TraceLoader::desc

VIRTUAL Trace_ptr(* TraceLoader::load)(TraceLoader_ptr self, const SymbTable_ptr st, const NodeList_ptr symbols)

---

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

• NuSMV/code/nusmv/core/trace/loaders/TraceLoader_private.h
• NuSMV/code/nusmv/core/trace/loaders/TraceLoader.h