Logger Struct Reference

Public interface of class 'Logger'. More...

#include <Logger.h>

Related Functions
(Note that these are not member functions.)
Logger_ptr	Logger_create (FILE *stream)
	The Logger class constructor.
void	Logger_dec_indent_size (Logger_ptr self)
	Decrements the indentation of the logger.
void	Logger_destroy (Logger_ptr self)
	The Logger class destructor.
int	Logger_get_indent_size (const Logger_ptr self)
	Returns the indentation of the logger.
OStream_ptr	Logger_get_ostream (const Logger_ptr self)
	Returns the internal OStream instance.
FILE *	Logger_get_stream (const Logger_ptr self)
	Returns the stream used by the given logger instance.
void	Logger_inc_indent_size (Logger_ptr self)
	Increments the indentation of the logger.
void	Logger_log (const Logger_ptr self, const char *format,...)
	Logs the given format string with the given parameters.
void	Logger_nlog (const Logger_ptr self, const MasterPrinter_ptr node_printer, const char *format,...)
	Logs the given format string with the given parameters.
void	Logger_reset_indent_size (Logger_ptr self)
	Resets the indentation of the logger.
void	Logger_set_indent_size (Logger_ptr self, int n)
	Sets the indentation of the logger.
void	Logger_vlog (const Logger_ptr self, OptsHandler_ptr opts, const int verbose_level, const char *format,...)
	Logs the given format string with the given parameters.
void	Logger_vnlog (const Logger_ptr self, const MasterPrinter_ptr node_printer, OptsHandler_ptr opts, const int verbose_level, const char *format,...)
	Logs the given format string with the given parameters.

---

Detailed Description

Public interface of class 'Logger'.

Author:

Alessandro Mariotti

Todo:

: Missing description

Definition of the public accessor for class Logger

---

Friends And Related Function Documentation

Logger_ptr Logger_create

(

FILE *

stream

)

[related]

The Logger class constructor.

The Logger class constructor

See also:

Logger_destroy

void Logger_dec_indent_size

(

Logger_ptr

self

)

[related]

Decrements the indentation of the logger.

Decrements the indentation of the logger

void Logger_destroy

(

Logger_ptr

self

)

[related]

The Logger class destructor.

The Logger class destructor

See also:

Logger_create

int Logger_get_indent_size

(

const Logger_ptr

self

)

[related]

Returns the indentation of the logger.

Returns the indentation of the logger

OStream_ptr Logger_get_ostream

(

const Logger_ptr

self

)

[related]

Returns the internal OStream instance.

Returns the internal OStream instance, which should not be changed by the caller

FILE * Logger_get_stream

(

const Logger_ptr

self

)

[related]

Returns the stream used by the given logger instance.

Returns the stream used by Logger_nlog and Logger_log

See also:

Logger_log, Logger_nlog

void Logger_inc_indent_size

(

Logger_ptr

self

)

[related]

Increments the indentation of the logger.

Increments the indentation of the logger

void Logger_log	(	const Logger_ptr	self,
		const char *	format,
			...
	)			[related]

Logs the given format string with the given parameters.

Logs the given format string with the given parameters

See also:

Logger_nlog

void Logger_nlog	(	const Logger_ptr	self,
		const MasterPrinter_ptr	node_printer,
		const char *	format,
			...
	)			[related]

Logs the given format string with the given parameters.

Logs the given format string with the given parameters. Supports node printing (using 'N')

See also:

Logger_log, UtilsIO_node_vfprintf

void Logger_reset_indent_size

(

Logger_ptr

self

)

[related]

Resets the indentation of the logger.

Resets the indentation of the logger

void Logger_set_indent_size	(	Logger_ptr	self,
		int	n
	)			[related]

Sets the indentation of the logger.

Sets the indentation of the logger

void Logger_vlog	(	const Logger_ptr	self,
		OptsHandler_ptr	opts,
		const int	verbose_level,
		const char *	format,
			...
	)			[related]

Logs the given format string with the given parameters.

Logs the given format string with the given parameters, keeping in account the verbose level

See also:

Logger_nlog

void Logger_vnlog	(	const Logger_ptr	self,
		const MasterPrinter_ptr	node_printer,
		OptsHandler_ptr	opts,
		const int	verbose_level,
		const char *	format,
			...
	)			[related]

Logs the given format string with the given parameters.

Logs the given format string with the given parameters. Supports node printing (using 'N'), keeping in account the verbose level

See also:

Logger_log, UtilsIO_node_vfprintf

---

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

• NuSMV/code/nusmv/core/utils/Logger.h