NuSMV/code/nusmv/core/utils/Logger.h File Reference

#include "nusmv/core/cinit/NuSMVEnv.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/node/printers/MasterPrinter.h"
#include "nusmv/core/utils/OStream.h"
#include "nusmv/core/opt/OptsHandler.h"

Go to the source code of this file.

Defines
#define	LOGGER(self)   ((Logger_ptr) self)
	To cast and check instances of class Logger.
#define	LOGGER_CHECK_INSTANCE(self)   (nusmv_assert(LOGGER(self) != LOGGER(NULL)))
#define	LOGGER_DEBUG_VL   3
#define	LOGGER_ERROR_VL   0
#define	LOGGER_INFO_VL   2
#define	LOGGER_TRACE_VL   100
#define	Logger_vlog_debug(self, opts, format,...)   Logger_vlog(self, opts, LOGGER_DEBUG_VL, format, __VA_ARGS__)
#define	Logger_vlog_error(self, opts, format,...)   Logger_vlog(self, opts, LOGGER_ERROR_VL, format, __VA_ARGS__)
#define	Logger_vlog_info(self, opts, format,...)   Logger_vlog(self, opts, LOGGER_INFO_VL, format, __VA_ARGS__)
#define	Logger_vlog_trace(self, opts, format,...)   Logger_vlog(self, opts, LOGGER_TRACE_VL, format, __VA_ARGS__)
#define	Logger_vlog_warn(self, opts, format,...)   Logger_vlog(self, opts, LOGGER_WARN_VL, format, __VA_ARGS__)
#define	Logger_vnlog_debug(self, wffprint, opts, format,...)
#define	Logger_vnlog_error(self, wffprint, opts, format,...)
#define	Logger_vnlog_info(self, wffprint, opts, format,...)
#define	Logger_vnlog_trace(self, wffprint, opts, format,...)
#define	Logger_vnlog_warn(self, wffprint, opts, format,...)
#define	LOGGER_WARN_VL   1
Typedefs
typedef struct Logger_TAG *	Logger_ptr
Functions
void	Logger_init (NuSMVEnv_ptr env)
void	Logger_quit (NuSMVEnv_ptr env)

---

Define Documentation

#define LOGGER

(

self

)

((Logger_ptr) self)

To cast and check instances of class Logger.

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

#define LOGGER_CHECK_INSTANCE

(

self

)

(nusmv_assert(LOGGER(self) != LOGGER(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define LOGGER_DEBUG_VL   3

Todo:

Missing synopsis

Todo:

Missing description

#define LOGGER_ERROR_VL   0

Todo:

Missing synopsis

Todo:

Missing description

#define LOGGER_INFO_VL   2

Todo:

Missing synopsis

Todo:

Missing description

#define LOGGER_TRACE_VL   100

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vlog_debug	(	self,
		opts,
		format,
		...		)	Logger_vlog(self, opts, LOGGER_DEBUG_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vlog_error	(	self,
		opts,
		format,
		...		)	Logger_vlog(self, opts, LOGGER_ERROR_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vlog_info	(	self,
		opts,
		format,
		...		)	Logger_vlog(self, opts, LOGGER_INFO_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vlog_trace	(	self,
		opts,
		format,
		...		)	Logger_vlog(self, opts, LOGGER_TRACE_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vlog_warn	(	self,
		opts,
		format,
		...		)	Logger_vlog(self, opts, LOGGER_WARN_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vnlog_debug	(	self,
		wffprint,
		opts,
		format,
		...		)

Value:

Logger_vlog(self, opts, LOGGER_DEBUG_VL, "%s: ", __func__);               \
  Logger_vnlog(self, wffprint, opts, LOGGER_DEBUG_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vnlog_error	(	self,
		wffprint,
		opts,
		format,
		...		)

Value:

Logger_vlog(self, opts, LOGGER_ERROR_VL, "%s: ", __func__);               \
  Logger_vnlog(self, wffprint, opts, LOGGER_ERROR_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vnlog_info	(	self,
		wffprint,
		opts,
		format,
		...		)

Value:

Logger_vlog(self, opts, LOGGER_INFO_VL, "%s: ", __func__);               \
  Logger_vnlog(self, wffprint, opts, LOGGER_INFO_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vnlog_trace	(	self,
		wffprint,
		opts,
		format,
		...		)

Value:

Logger_vlog(self, opts, LOGGER_TRACE_VL, "%s: ", __func__);               \
  Logger_vnlog(self, wffprint, opts, LOGGER_TRACE_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define Logger_vnlog_warn	(	self,
		wffprint,
		opts,
		format,
		...		)

Value:

Logger_vlog(self, opts, LOGGER_WARN_VL, "%s: ", __func__);               \
  Logger_vnlog(self, wffprint, opts, LOGGER_WARN_VL, format, __VA_ARGS__)

Todo:

Missing synopsis

Todo:

Missing description

#define LOGGER_WARN_VL   1

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct Logger_TAG* Logger_ptr

---

Function Documentation

void Logger_init

(

NuSMVEnv_ptr

env

)

AutomaticStart

Todo:

Missing synopsis

Todo:

Missing description

void Logger_quit

(

NuSMVEnv_ptr

env

)

Todo:

Missing synopsis

Todo:

Missing description