NuSMV/code/nusmv/shell/trace/traceCmd.h
Go to the documentation of this file.00001 /* --------------------------------------------------------------------------- 00002 00003 00004 This file is part of the ``trace'' package. 00005 %COPYRIGHT% 00006 00007 00008 -----------------------------------------------------------------------------*/ 00009 00019 #ifndef __NUSMV_SHELL_TRACE_TRACE_CMD_H__ 00020 #define __NUSMV_SHELL_TRACE_TRACE_CMD_H__ 00021 00022 #include "nusmv/core/cinit/NuSMVEnv.h" 00023 /*---------------------------------------------------------------------------*/ 00024 /* Constant declarations */ 00025 /*---------------------------------------------------------------------------*/ 00026 00027 00028 /*---------------------------------------------------------------------------*/ 00029 /* Type declarations */ 00030 /*---------------------------------------------------------------------------*/ 00031 00032 00033 /*---------------------------------------------------------------------------*/ 00034 /* Structure declarations */ 00035 /*---------------------------------------------------------------------------*/ 00036 00037 00038 /*---------------------------------------------------------------------------*/ 00039 /* Variable declarations */ 00040 /*---------------------------------------------------------------------------*/ 00041 00042 00043 /*---------------------------------------------------------------------------*/ 00044 /* Macro declarations */ 00045 /*---------------------------------------------------------------------------*/ 00046 00047 00050 /*---------------------------------------------------------------------------*/ 00051 /* Function prototypes */ 00052 /*---------------------------------------------------------------------------*/ 00053 /* commands */ 00054 00060 void traceCmd_init(NuSMVEnv_ptr env); 00061 00106 int CommandShowTraces(NuSMVEnv_ptr env, int argc, char** argv); 00107 00143 int CommandShowPlugins(NuSMVEnv_ptr env, int argc, char** argv); 00144 00170 int CommandReadTrace(NuSMVEnv_ptr env, int argc, char** argv); 00171 00203 int CommandExecuteTraces(NuSMVEnv_ptr env, int argc, char** argv); 00204 00241 int CommandExecutePartialTraces(NuSMVEnv_ptr env, int argc, char** argv); 00242 00252 int traceCmd_parse_slice(const NuSMVEnv_ptr env, const char* s, 00253 int* trace, int* from, int* to); 00254 00257 #endif /* __NUSMV_SHELL_TRACE_TRACE_CMD_H__ */
