NuSMV/code/nusmv/shell/cmd/cmdCmd.h File Reference

#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Data Structures
struct	command_item
Defines
#define	ENV_CMD_HELP   "CMD_HELP"
Functions
int	Cmd_command_not_available (NuSMVEnv_ptr env, int argc, char **argv)
void	cmd_help_add (NuSMVEnv_ptr env, const char *command_name, const char *command_description)
char *	cmd_help_get (NuSMVEnv_ptr env, char *command_name)
void	cmd_help_remove (NuSMVEnv_ptr env, char *command_name)
void	Cmd_init_cmd (NuSMVEnv_ptr env)
void	Cmd_quit_cmd (NuSMVEnv_ptr env)
Variables
command_item	command_help []
int	command_number

---

Define Documentation

#define ENV_CMD_HELP   "CMD_HELP"

Todo:

Missing synopsis

Todo:

Missing description

---

Function Documentation

int Cmd_command_not_available	(	NuSMVEnv_ptr	env,
		int	argc,
		char **	argv
	)

{} Stub command useful to disable a command

{}

Prints a message and returns error

void cmd_help_add	(	NuSMVEnv_ptr	env,
		const char *	command_name,
		const char *	command_description
	)

char* cmd_help_get	(	NuSMVEnv_ptr	env,
		char *	command_name
	)

AutomaticStart

void cmd_help_remove	(	NuSMVEnv_ptr	env,
		char *	command_name
	)

void Cmd_init_cmd

(

NuSMVEnv_ptr

env

)

AutomaticEnd

void Cmd_quit_cmd

(

NuSMVEnv_ptr

env

)

---

Variable Documentation

command_item command_help[]

int command_number