BaseTraceExecutor Struct Reference

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

#include <BaseTraceExecutor_private.h>

Public Member Functions
	INHERITS_FROM (EnvObject)
Data Fields
FILE *	error_stream
FILE *	output_stream
int	verbosity
Related Functions
(Note that these are not member functions.)
VIRTUAL void	BaseTraceExecutor_destroy (BaseTraceExecutor_ptr self)
FILE *	BaseTraceExecutor_get_error_stream (BaseTraceExecutor_ptr self)
	Getter for the error_stream field.
FILE *	BaseTraceExecutor_get_output_stream (BaseTraceExecutor_ptr self)
	Getter for the output_stream field.
int	BaseTraceExecutor_get_verbosity (BaseTraceExecutor_ptr self)
	Getter for the verbosity field.
void	BaseTraceExecutor_set_error_stream (BaseTraceExecutor_ptr self, FILE *error_stream)
	Setter for the error_stream field.
void	BaseTraceExecutor_set_output_stream (BaseTraceExecutor_ptr self, FILE *error_stream)
	Setter for the output_stream field.
void	BaseTraceExecutor_set_verbosity (BaseTraceExecutor_ptr self, int verbosity)
	Setter for the verbosity field.
boolean	trace_executor_check_defines (const BaseTraceExecutor_ptr self, Trace_ptr trace)
	Private service for defines checking.
void	trace_executor_deinit (BaseTraceExecutor_ptr self)
	The BaseTraceExecutor class private deinitializer.
void	trace_executor_init (BaseTraceExecutor_ptr self, const NuSMVEnv_ptr env)
	The BaseTraceExecutor class private initializer.

Detailed Description

Private and protected interface of class 'BaseTraceExecutor'.

Public interface of class 'BaseTraceExecutor'.

Author:: Marco Pensallorto This file can be included only by derived and friend classes

BaseTraceExecutor class definition derived from class Object

See also:: Base class Object

Author:: Marco Pensallorto

Todo:: : Missing description

Definition of the public accessor for class BaseTraceExecutor

Member Function Documentation

BaseTraceExecutor::INHERITS_FROM ( EnvObject )

Friends And Related Function Documentation

VIRTUAL void BaseTraceExecutor_destroy ( BaseTraceExecutor_ptr self ) [related]

Todo:

FILE * BaseTraceExecutor_get_error_stream ( BaseTraceExecutor_ptr self ) [related]

Getter for the error_stream field.

FILE * BaseTraceExecutor_get_output_stream ( BaseTraceExecutor_ptr self ) [related]

Getter for the output_stream field.

int BaseTraceExecutor_get_verbosity ( BaseTraceExecutor_ptr self ) [related]

Getter for the verbosity field.

AutomaticStart

void BaseTraceExecutor_set_error_stream	(	BaseTraceExecutor_ptr	self,
		FILE *	error_stream
	)			`[related]`

Setter for the error_stream field.

void BaseTraceExecutor_set_output_stream	(	BaseTraceExecutor_ptr	self,
		FILE *	error_stream
	)			`[related]`

Setter for the output_stream field.

void BaseTraceExecutor_set_verbosity	(	BaseTraceExecutor_ptr	self,
		int	verbosity
	)			`[related]`

Setter for the verbosity field.

boolean trace_executor_check_defines	(	const BaseTraceExecutor_ptr	self,
		Trace_ptr	trace
	)			`[related]`

Private service for defines checking.

Returns true iff values registered in the trace for defines actually match evaluated values. If either a value for a define is not present in the trace or could not be evaluated (due to missing dependencies) it is silently ignored.

none

void trace_executor_deinit ( BaseTraceExecutor_ptr self ) [related]

The BaseTraceExecutor class private deinitializer.

The BaseTraceExecutor class private deinitializer