PrinterBase Struct Reference

Private and protected interface of class 'PrinterBase'. More...

#include <PrinterBase_private.h>

Public Member Functions
	INHERITS_FROM (NodeWalker)
Data Fields
int(*	print_node )(PrinterBase_ptr self, node_ptr n, int priority)
Related Functions
(Note that these are not member functions.)
void	printer_base_deinit (PrinterBase_ptr self)
	The PrinterBase class private deinitializer.
void	printer_base_init (PrinterBase_ptr self, const NuSMVEnv_ptr env, const char *name, int low, size_t num, boolean can_handle_null)
	The PrinterBase class private initializer.
int	printer_base_print_string (PrinterBase_ptr self, const char *str)
	Use this method to print a string to the stream currently set.
int	printer_base_throw_print_node (PrinterBase_ptr self, node_ptr n, int priority)
	This method must be called by the virtual method print_node to recursively print sub nodes.
PrinterBase_ptr	PrinterBase_create (const NuSMVEnv_ptr env, const char *name, int low, size_t num)
	Creates and initializes a printer. To be usable, the printer will have to be registered to a MasterPrinter.
VIRTUAL int	PrinterBase_print_node (PrinterBase_ptr self, node_ptr n, int priority)
	Prints the given node.

---

Detailed Description

Private and protected interface of class 'PrinterBase'.

Public interface of class 'PrinterBase'.

Author:

Roberto Cavada This file can be included only by derived and friend classes

PrinterBase class definition derived from class NodeWalker

See also:

Base class Object

Author:

Roberto Cavada

Todo:

: Missing description

Definition of the public accessor for class PrinterBase

---

Member Function Documentation

PrinterBase::INHERITS_FROM

(

NodeWalker

)

---

Friends And Related Function Documentation

void printer_base_deinit

(

PrinterBase_ptr

self

)

[related]

The PrinterBase class private deinitializer.

The PrinterBase class private deinitializer

See also:

PrinterBase_destroy

void printer_base_init	(	PrinterBase_ptr	self,
		const NuSMVEnv_ptr	env,
		const char *	name,
		int	low,
		size_t	num,
		boolean	can_handle_null
	)			[related]

The PrinterBase class private initializer.

The PrinterBase class private initializer

See also:

PrinterBase_create

int printer_base_print_string	(	PrinterBase_ptr	self,
		const char *	str
	)			[related]

Use this method to print a string to the stream currently set.

int printer_base_throw_print_node	(	PrinterBase_ptr	self,
		node_ptr	n,
		int	priority
	)			[related]

This method must be called by the virtual method print_node to recursively print sub nodes.

PrinterBase_ptr PrinterBase_create	(	const NuSMVEnv_ptr	env,
		const char *	name,
		int	low,
		size_t	num
	)			[related]

Creates and initializes a printer. To be usable, the printer will have to be registered to a MasterPrinter.

To each printer is associated a partition of consecutive indices over the symbols set. The lowest index of the partition is given through the parameter low, while num is the partition size. Name is used to easily identify printer instances.

This constructor is private, as this class is virtual

See also:

PrinterBase_destroy

VIRTUAL int PrinterBase_print_node	(	PrinterBase_ptr	self,
		node_ptr	n,
		int	priority
	)			[related]

Prints the given node.

This is virtual method. BEfore calling, please ensure the given node can be handled by self, by calling PrinterBase_can_handle.

Note: This method will be never called by the user

See also:

PrinterBase_can_handle

---

Field Documentation

int(* PrinterBase::print_node)(PrinterBase_ptr self, node_ptr n, int priority)

---

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

• NuSMV/code/nusmv/core/node/printers/PrinterBase_private.h
• NuSMV/code/nusmv/core/node/printers/PrinterBase.h