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

#include <memory.h>
#include <assert.h>
#include "nusmv/core/utils/utils.h"

Defines
#define	INHERITS_FROM(x) x __parent__
#define	OBJECT(x) ((Object_ptr) x)
#define	OBJECT_CHECK_INSTANCE(x) (nusmv_assert(OBJECT(x) != OBJECT(NULL)))
#define	OVERRIDE(Class, virtual_method) ((Class*) self)->virtual_method
#define	VIRTUAL
Typedefs
typedef struct Object_TAG *	Object_ptr

Define Documentation

#define INHERITS_FROM ( x ) x __parent__

#define OBJECT ( x ) ((Object_ptr) x)

#define OBJECT_CHECK_INSTANCE ( x ) (nusmv_assert(OBJECT(x) != OBJECT(NULL)))

#define OVERRIDE	(	Class,
		virtual_method		)	((Class*) self)->virtual_method

#define VIRTUAL

typedef struct Object_TAG* Object_ptr