MasterNodeWalker Struct Reference

Private interface of class 'MasterNodeWalker', to be used by derivated classes. More...

#include <MasterNodeWalker_private.h>

Public Member Functions
	INHERITS_FROM (EnvObject)
Data Fields
NodeList_ptr	walkers
Related Functions
(Note that these are not member functions.)
void	master_node_walker_deinit (MasterNodeWalker_ptr self)
	The MasterNodeWalker class private deinitializer.
void	master_node_walker_init (MasterNodeWalker_ptr self, const NuSMVEnv_ptr env)
	The MasterNodeWalker class private initializer.
MasterNodeWalker_ptr	MasterNodeWalker_create (const NuSMVEnv_ptr env)
	The MasterNodeWalker class constructor.
void	MasterNodeWalker_destroy (MasterNodeWalker_ptr self)
	The MasterNodeWalker class destructor.
NodeWalker_ptr	MasterNodeWalker_get_walker (MasterNodeWalker_ptr self, const char *name)
	Returns the regostered walker whose name is given.
boolean	MasterNodeWalker_register_walker (MasterNodeWalker_ptr self, NodeWalker_ptr walker)
	Registers a walker.
NodeWalker_ptr	MasterNodeWalker_unregister_walker (MasterNodeWalker_ptr self, const char *name)
	Unregisters a previously registered walker.

---

Detailed Description

Private interface of class 'MasterNodeWalker', to be used by derivated classes.

Public interface of class 'MasterNodeWalker'.

Author:

Roberto Cavada

Todo:

: Missing description

MasterNodeWalker class definition

Author:

Roberto Cavada This class is intended to be a generic container for node walkers. To each walker is associated a partition over the set of node's types, and the master is responsible for calling the right walker depending on the type of the node that is being traversed

Definition of the public accessor for class MasterNodeWalker

---

Member Function Documentation

MasterNodeWalker::INHERITS_FROM

(

EnvObject

)

---

Friends And Related Function Documentation

void master_node_walker_deinit

(

MasterNodeWalker_ptr

self

)

[related]

The MasterNodeWalker class private deinitializer.

The MasterNodeWalker class private deinitializer

See also:

MasterNodeWalker_destroy

void master_node_walker_init	(	MasterNodeWalker_ptr	self,
		const NuSMVEnv_ptr	env
	)			[related]

The MasterNodeWalker class private initializer.

The MasterNodeWalker class private initializer

See also:

MasterNodeWalker_create

MasterNodeWalker_ptr MasterNodeWalker_create

(

const NuSMVEnv_ptr

env

)

[related]

The MasterNodeWalker class constructor.

AutomaticStart

The MasterNodeWalker class constructor

See also:

MasterNodeWalker_destroy

void MasterNodeWalker_destroy

(

MasterNodeWalker_ptr

self

)

[related]

The MasterNodeWalker class destructor.

The MasterNodeWalker class destructor

See also:

MasterNodeWalker_create

NodeWalker_ptr MasterNodeWalker_get_walker	(	MasterNodeWalker_ptr	self,
		const char *	name
	)			[related]

Returns the regostered walker whose name is given.

If the walker is not found among the registered walkers, NULL is returned and no error occurs

boolean MasterNodeWalker_register_walker	(	MasterNodeWalker_ptr	self,
		NodeWalker_ptr	walker
	)			[related]

Registers a walker.

Return true if successfully registered, false if already registered, and throws an exception if could not register, due to the walker's partition that collides with already registered walkers.

Warning: If this method succeeds, the walker instance belongs to self, and its life cycle will be controlled by self as long as the walker is registered within self. The user must not destroy a registered walker.

See also:

unregister_walker

NodeWalker_ptr MasterNodeWalker_unregister_walker	(	MasterNodeWalker_ptr	self,
		const char *	name
	)			[related]

Unregisters a previously registered walker.

If the walker was registered returns the walker instance. If not registered (not found among the currently registered walkers), returns NULL but no error occurs. After this method is called,

See also:

register_walker

---

Field Documentation

NodeList_ptr MasterNodeWalker::walkers

---

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

• NuSMV/code/nusmv/core/node/MasterNodeWalker_private.h
• NuSMV/code/nusmv/core/node/MasterNodeWalker.h