TraceOpt Struct Reference

Public interface of class 'TraceOpt'. More...

#include <TraceOpt.h>

Related Functions
(Note that these are not member functions.)
TraceOpt_ptr	TraceOpt_create (StreamMgr_ptr streams)
	The TraceOpt class constructor.
TraceOpt_ptr	TraceOpt_create_from_env (const NuSMVEnv_ptr env)
	The TraceOpt class constructor.
void	TraceOpt_destroy (TraceOpt_ptr self)
	The TraceOpt class destructor.
unsigned	TraceOpt_from_here (TraceOpt_ptr self)
	The TraceOpt from_here field getter.
const char *	TraceOpt_hiding_prefix (TraceOpt_ptr self)
	The TraceOpt hiding_prefix field getter.
boolean	TraceOpt_obfuscate (TraceOpt_ptr self)
	The TraceOpt obfuscate field getter.
OStream_ptr	TraceOpt_output_stream (TraceOpt_ptr self)
	The TraceOpt output_stream field getter.
void	TraceOpt_set_from_here (TraceOpt_ptr self, unsigned index)
	The TraceOpt from_here field setter.
void	TraceOpt_set_hiding_prefix (TraceOpt_ptr self, const char *hiding_prefix)
	The TraceOpt hiding_prefix field setter.
void	TraceOpt_set_obfuscate (TraceOpt_ptr self, boolean obfuscate)
	The TraceOpt obfuscate field setter.
void	TraceOpt_set_output_stream (TraceOpt_ptr self, FILE *out)
	The TraceOpt output_stream field setter.
void	TraceOpt_set_show_defines (TraceOpt_ptr self, boolean show_defines)
	The TraceOpt show_defines field setter.
void	TraceOpt_set_show_defines_with_next (TraceOpt_ptr self, boolean show_next)
	The TraceOpt show_defines_with_next field setter.
void	TraceOpt_set_to_here (TraceOpt_ptr self, unsigned index)
	The TraceOpt to_here field setter.
boolean	TraceOpt_show_defines (TraceOpt_ptr self)
	The TraceOpt show_defines field getter.
boolean	TraceOpt_show_defines_with_next (TraceOpt_ptr self)
	The TraceOpt show_defines_with_next field getter.
unsigned	TraceOpt_to_here (TraceOpt_ptr self)
	The TraceOpt to_here field getter.
void	TraceOpt_update_from_env (TraceOpt_ptr self, const NuSMVEnv_ptr env)
	Updates trace options struct with current values in env.

---

Detailed Description

Public interface of class 'TraceOpt'.

Author:

Alessandro Mariotti

Todo:

: Missing description

Definition of the public accessor for class TraceOpt

---

Friends And Related Function Documentation

TraceOpt_ptr TraceOpt_create

(

StreamMgr_ptr

streams

)

[related]

The TraceOpt class constructor.

AutomaticStart

The TraceOpt class constructor

See also:

TraceOpt_destroy

TraceOpt_ptr TraceOpt_create_from_env

(

const NuSMVEnv_ptr

env

)

[related]

The TraceOpt class constructor.

The TraceOpt class constructor

See also:

TraceOpt_destroy

void TraceOpt_destroy

(

TraceOpt_ptr

self

)

[related]

The TraceOpt class destructor.

The TraceOpt class destructor

See also:

TraceOpt_create

unsigned TraceOpt_from_here

(

TraceOpt_ptr

self

)

[related]

The TraceOpt from_here field getter.

The TraceOpt from_here field getter

See also:

TraceOpt_set_from_here

const char * TraceOpt_hiding_prefix

(

TraceOpt_ptr

self

)

[related]

The TraceOpt hiding_prefix field getter.

The TraceOpt hiding_prefix field getter

See also:

TraceOpt_set_hiding_prefix

boolean TraceOpt_obfuscate

(

TraceOpt_ptr

self

)

[related]

The TraceOpt obfuscate field getter.

The TraceOpt obfuscate field getter

See also:

TraceOpt_set_obfuscate

OStream_ptr TraceOpt_output_stream

(

TraceOpt_ptr

self

)

[related]

The TraceOpt output_stream field getter.

The TraceOpt output_stream field getter

See also:

TraceOpt_set_output_stream

void TraceOpt_set_from_here	(	TraceOpt_ptr	self,
		unsigned	index
	)			[related]

The TraceOpt from_here field setter.

The TraceOpt from_here field setter

See also:

TraceOpt_from_here

void TraceOpt_set_hiding_prefix	(	TraceOpt_ptr	self,
		const char *	hiding_prefix
	)			[related]

The TraceOpt hiding_prefix field setter.

The TraceOpt hiding_prefix field setter

See also:

TraceOpt_hiding_prefix

void TraceOpt_set_obfuscate	(	TraceOpt_ptr	self,
		boolean	obfuscate
	)			[related]

The TraceOpt obfuscate field setter.

The TraceOpt obfuscate field setter

See also:

TraceOpt_obfuscate

void TraceOpt_set_output_stream	(	TraceOpt_ptr	self,
		FILE *	out
	)			[related]

The TraceOpt output_stream field setter.

The TraceOpt output_stream field setter

See also:

TraceOpt_output_stream

void TraceOpt_set_show_defines	(	TraceOpt_ptr	self,
		boolean	show_defines
	)			[related]

The TraceOpt show_defines field setter.

The TraceOpt show_defines field setter

See also:

TraceOpt_show_defines

void TraceOpt_set_show_defines_with_next	(	TraceOpt_ptr	self,
		boolean	show_next
	)			[related]

The TraceOpt show_defines_with_next field setter.

The TraceOpt show_defines_with_next field setter

See also:

TraceOpt_show_defines_with_next

void TraceOpt_set_to_here	(	TraceOpt_ptr	self,
		unsigned	index
	)			[related]

The TraceOpt to_here field setter.

The TraceOpt to_here field setter

See also:

TraceOpt_to_here

boolean TraceOpt_show_defines

(

TraceOpt_ptr

self

)

[related]

The TraceOpt show_defines field getter.

The TraceOpt show_defines field getter

See also:

TraceOpt_set_show_defines

boolean TraceOpt_show_defines_with_next

(

TraceOpt_ptr

self

)

[related]

The TraceOpt show_defines_with_next field getter.

The TraceOpt show_defines_with_next field getter

See also:

TraceOpt_set_show_defines_with_next

unsigned TraceOpt_to_here

(

TraceOpt_ptr

self

)

[related]

The TraceOpt to_here field getter.

The TraceOpt to_here field getter

See also:

TraceOpt_set_to_here

void TraceOpt_update_from_env	(	TraceOpt_ptr	self,
		const NuSMVEnv_ptr	env
	)			[related]

Updates trace options struct with current values in env.

Updates trace options struct with current values in env

See also:

TraceOpt_destroy

---

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

• NuSMV/code/nusmv/core/trace/TraceOpt.h