NuSMV/code/nusmv/shell/utils/utilsCmd.c File Reference

#include "nusmv/shell/cmd/cmd.h"
#include "nusmv/shell/utils/utilsCmd.h"
#include "nusmv/core/utils/StreamMgr.h"
#include "nusmv/core/utils/Sset.h"
#include "nusmv/core/utils/NodeList.h"

Functions

int CommandUtilsTestSset (NuSMVEnv_ptr env, int argc, char **argv)
int Utils_check_non_option_args (NuSMVEnv_ptr env, int argc, unsigned int expected_args, int(*usage)(void *arg), void *arg)
 Checks if the number of non option arguments is correct.
void Utils_init_cmd (NuSMVEnv_ptr env)
 Shell interface for the utils package.
void Utils_quit_cmd (NuSMVEnv_ptr env)
 Removes the commands provided by the hrc package.

Function Documentation

int CommandUtilsTestSset ( NuSMVEnv_ptr  env,
int  argc,
char **  argv 
)
Command:
optional: optional

Command arguments: optional

optional

int Utils_check_non_option_args ( NuSMVEnv_ptr  env,
int  argc,
unsigned int  expected_args,
int(*)(void *arg)  usage,
void *  arg 
)

Checks if the number of non option arguments is correct.

In the check fails, an error message is printed and the usage is called. usage can be NULL

void Utils_init_cmd ( NuSMVEnv_ptr  env  ) 

Shell interface for the utils package.

AutomaticEnd

void Utils_quit_cmd ( NuSMVEnv_ptr  env  ) 

Removes the commands provided by the hrc package.

All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1