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

#include "nusmv/shell/cmd/cmdInt.h"
#include "nusmv/shell/cmd/cmdCmd.h"
#include "nusmv/shell/cmd/cmdCmdInt.h"
#include "nusmv/core/utils/OStream.h"
#include "nusmv/core/utils/StreamMgr.h"
#include "nusmv/core/utils/ErrorMgr.h"
#include "nusmv/core/utils/error.h"
#include "nusmv/core/cinit/cinit.h"
#include <stdio.h>

Defines
#define	MAX_STR   65536
Functions
int	Cmd_command_not_available (NuSMVEnv_ptr env, int argc, char **argv)
void	Cmd_init_cmd (NuSMVEnv_ptr env)
void	Cmd_quit_cmd (NuSMVEnv_ptr env)
char *	strdup (const char *)

---

Define Documentation

#define MAX_STR   65536

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_init_cmd

(

NuSMVEnv_ptr

env

)

AutomaticEnd

void Cmd_quit_cmd

(

NuSMVEnv_ptr

env

)

char* strdup

(

const char *

)

Author:

Michele Dorigatti

Todo:

: Missing synopsis

Todo:

: Missing description