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

#include "nusmv/core/utils/object.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Defines
#define	ENV_OBJECT(self)   ((EnvObject_ptr) self)
	To cast and check instances of class EnvObject.
#define	ENV_OBJECT_CHECK_INSTANCE(self)   (nusmv_assert(ENV_OBJECT(self) != ENV_OBJECT(NULL)))
#define	ENV_OBJECT_GET_ENV(self)   EnvObject_get_environment(ENV_OBJECT(self))
	Macro that returns the environment from an env object.
#define	EnvObject_env   EnvObject_get_environment
	Handy shortcut for EnvObject_get_environment.
Typedefs
typedef struct EnvObject_TAG *	EnvObject_ptr

---

Define Documentation

#define ENV_OBJECT

(

self

)

((EnvObject_ptr) self)

To cast and check instances of class EnvObject.

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

#define ENV_OBJECT_CHECK_INSTANCE

(

self

)

(nusmv_assert(ENV_OBJECT(self) != ENV_OBJECT(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

#define ENV_OBJECT_GET_ENV

(

self

)

EnvObject_get_environment(ENV_OBJECT(self))

Macro that returns the environment from an env object.

Todo:

Missing description

none

#define EnvObject_env   EnvObject_get_environment

Handy shortcut for EnvObject_get_environment.

See also:

EnvObject_get_environment

---

Typedef Documentation

typedef struct EnvObject_TAG* EnvObject_ptr