NuSMV/code/nusmv/core/node/printers/MasterPrinter.h File Reference

#include "nusmv/core/node/NodeMgr.h"
#include "nusmv/core/node/MasterNodeWalker.h"

Go to the source code of this file.

Data Structures
union	StreamTypeArg
	Definition of enumeration StreamType. More...
Defines
#define	MASTER_PRINTER(self)   ((MasterPrinter_ptr) self)
	To cast and check instances of class MasterPrinter.
#define	MASTER_PRINTER_CHECK_INSTANCE(self)   (nusmv_assert(MASTER_PRINTER(self) != MASTER_PRINTER(NULL)))
#define	STREAM_TYPE_ARG_UNUSED   NULL
Typedefs
typedef struct MasterPrinter_TAG *	MasterPrinter_ptr
typedef int(*	StreamTypeFunction_ptr )(const char *str, void *arg)
	Function pointer for STREAM_TYPE_FUNCTION type.
Enumerations
enum	StreamType {   STREAM_TYPE_DEFAULT, STREAM_TYPE_STDOUT, STREAM_TYPE_STDERR, STREAM_TYPE_STRING,   STREAM_TYPE_FILE, STREAM_TYPE_FUNCTION }
	Definition of enumeration StreamType. More...
Functions
void	debug_print_node (NuSMVEnv_ptr env, node_ptr node)
void	debug_print_sexp (NuSMVEnv_ptr env, node_ptr node)
int	print_node (MasterPrinter_ptr wffprinter, FILE *, node_ptr)
	Pretty print a formula on a file.
int	print_node_indent (MasterPrinter_ptr iwffprinter, FILE *stream, node_ptr n)
	Pretty print a formula on a file (indenting).
int	print_node_indent_at (MasterPrinter_ptr iwffprinter, FILE *stream, node_ptr n, int ofs)
	Pretty print a formula on a file (indenting).
char *	sprint_node (MasterPrinter_ptr wffprinter, node_ptr)
	Pretty print a formula into a string.
char *	sprint_node_indent (MasterPrinter_ptr iwffprinter, node_ptr n)
	Pretty print a formula into a string (indenting).
char *	sprint_node_indent_at (MasterPrinter_ptr iwffprinter, node_ptr n, int ofs)
	Pretty print a formula into a string (indenting).

---

Define Documentation

#define MASTER_PRINTER

(

self

)

((MasterPrinter_ptr) self)

To cast and check instances of class MasterPrinter.

These macros must be used respectively to cast and to check instances of class MasterPrinter

#define MASTER_PRINTER_CHECK_INSTANCE

(

self

)

(nusmv_assert(MASTER_PRINTER(self) != MASTER_PRINTER(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define STREAM_TYPE_ARG_UNUSED   NULL

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct MasterPrinter_TAG* MasterPrinter_ptr

typedef int(* StreamTypeFunction_ptr)(const char *str, void *arg)

Function pointer for STREAM_TYPE_FUNCTION type.

When STREAM_TYPE_FUNCTION is set as stream type, the argument must be a function pointer whose prototype is defined by StreamTypeFunction_ptr

NOTE: The argument 'arg' is a generic argument useful for passing information in a reentrant way

---

Enumeration Type Documentation

enum StreamType

Definition of enumeration StreamType.

Values taken from this enum are used to set the stream type to be used by the MasterPrinter when producing a printing output

Enumerator:

STREAM_TYPE_DEFAULT
STREAM_TYPE_STDOUT
STREAM_TYPE_STDERR
STREAM_TYPE_STRING
STREAM_TYPE_FILE
STREAM_TYPE_FUNCTION

---

Function Documentation

void debug_print_node	(	NuSMVEnv_ptr	env,
		node_ptr	node
	)

void debug_print_sexp	(	NuSMVEnv_ptr	env,
		node_ptr	node
	)

int print_node	(	MasterPrinter_ptr	wffprinter,
		FILE *	,
		node_ptr
	)

Pretty print a formula on a file.

AutomaticStart

Pretty print a formula on a file

int print_node_indent	(	MasterPrinter_ptr	iwffprinter,
		FILE *	stream,
		node_ptr	n
	)

Pretty print a formula on a file (indenting).

Pretty print a formula on a file (indenting), starting at column 0.

int print_node_indent_at	(	MasterPrinter_ptr	iwffprinter,
		FILE *	stream,
		node_ptr	n,
		int	ofs
	)

Pretty print a formula on a file (indenting).

Pretty print a formula on a file (indenting), starting at given offset.

char* sprint_node	(	MasterPrinter_ptr	wffprinter,
		node_ptr
	)

Pretty print a formula into a string.

Pretty print a formula into a string. The returned string must be freed after using it. Returns NULL in case of failure.

char* sprint_node_indent	(	MasterPrinter_ptr	iwffprinter,
		node_ptr	n
	)

Pretty print a formula into a string (indenting).

Pretty print a formula into a string (indenting), starting at column 0. The returned string must be freed after using it. Returns NULL in case of failure.

char* sprint_node_indent_at	(	MasterPrinter_ptr	iwffprinter,
		node_ptr	n,
		int	ofs
	)

Pretty print a formula into a string (indenting).

Pretty print a formula into a string (indenting), starting at given offset. The returned string must be freed after using it. Returns NULL in case of failure.