NuSMV/code/nusmv/core/trace/plugins/TraceEmpty_private.h
Go to the documentation of this file.00001 /* --------------------------------------------------------------------------- 00002 00003 00004 %COPYRIGHT% 00005 00006 -----------------------------------------------------------------------------*/ 00007 00018 #ifndef __NUSMV_CORE_TRACE_PLUGINS_TRACE_EMPTY_PRIVATE_H__ 00019 #define __NUSMV_CORE_TRACE_PLUGINS_TRACE_EMPTY_PRIVATE_H__ 00020 00021 00022 #include "nusmv/core/trace/plugins/TraceEmpty.h" 00023 #include "nusmv/core/trace/plugins/TracePlugin.h" 00024 #include "nusmv/core/trace/plugins/TracePlugin_private.h" 00025 #include "nusmv/core/utils/defs.h" 00026 00027 00037 typedef struct TraceEmpty_TAG 00038 { 00039 /* this MUST stay on the top */ 00040 INHERITS_FROM(TracePlugin); 00041 00042 /* -------------------------------------------------- */ 00043 /* Private members */ 00044 /* -------------------------------------------------- */ 00045 00046 00047 /* -------------------------------------------------- */ 00048 /* Virtual methods */ 00049 /* -------------------------------------------------- */ 00050 00051 } TraceEmpty; 00052 00053 00054 00055 /* ---------------------------------------------------------------------- */ 00056 /* Private methods to be used by derivated and friend classes only */ 00057 /* ---------------------------------------------------------------------- */ 00058 00067 void trace_empty_init(TraceEmpty_ptr self); 00068 00077 void trace_empty_deinit(TraceEmpty_ptr self); 00078 00087 int trace_empty_action(const TracePlugin_ptr self); 00088 00089 00090 #endif /* __NUSMV_CORE_TRACE_PLUGINS_TRACE_EMPTY_PRIVATE_H__ */
