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

#include "nusmv/core/utils/defs.h"
#include "nusmv/core/utils/EnvObject.h"

Go to the source code of this file.

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
	)

Todo:

Missing synopsis

Todo:

Missing description

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.

Author:

Michele Dorigatti

Todo:

: Missing description

AutomaticStart

Initializes the commands of the hrc package.

AutomaticEnd

void Utils_quit_cmd

(

NuSMVEnv_ptr

env

)

Removes the commands provided by the hrc package.