NuSMV Developers Manual: NuSMV/code/nusmv/core/trace/plugins/TraceEmpty.h Source File

00001 /* ---------------------------------------------------------------------------
00002 
00003 
00004   %COPYRIGHT%
00005 
00006 -----------------------------------------------------------------------------*/
00007 
00018 #ifndef __NUSMV_CORE_TRACE_PLUGINS_TRACE_EMPTY_H__
00019 #define __NUSMV_CORE_TRACE_PLUGINS_TRACE_EMPTY_H__
00020 
00021 
00022 #include "nusmv/core/trace/plugins/TracePlugin.h"
00023 #include "nusmv/core/utils/defs.h"
00024 
00031 typedef struct TraceEmpty_TAG*  TraceEmpty_ptr;
00032 
00039 #define TRACE_EMPTY(self) \
00040          ((TraceEmpty_ptr) self)
00041 
00047 #define TRACE_EMPTY_CHECK_INSTANCE(self) \
00048          (nusmv_assert(TRACE_EMPTY(self) != TRACE_EMPTY(NULL)))
00049 
00050 
00051 
00054 /*---------------------------------------------------------------------------*/
00055 /* Function prototypes                                                       */
00056 /*---------------------------------------------------------------------------*/
00057 
00066 TraceEmpty_ptr TraceEmpty_create(void);
00067 
00076 void TraceEmpty_destroy(TraceEmpty_ptr self);
00077 
00078 
00083 #endif /* __NUSMV_CORE_TRACE_PLUGINS_TRACE_EMPTY_H__ */