cmd.h
External header file
cmdInt.h
Internal header file
cmdCmd.c
Command table and command execution.
cmdFile.c
File open, and file completion.
cmdMisc.c
Variable table; miscellaneous commands related to the general system.

cmd.h

External header file

By: Adapted to NuSMV by Marco Roveri


cmdInt.h

Internal header file

By: Adapted to NuSMV by Marco Roveri


cmdCmd.c

Command table and command execution.

By: Adapted to NuSMV by Marco Roveri

Cmd_CommandAdd()
Adds a command to the command table.
Cmd_CommandExecute()
Executes a command line.
Cmd_SecureCommandExecute()
Secure layer for Cmd_CommandExecute
CmdCommandFree()
required
com_dispatch()
required
apply_alias()
Applies alias.
variableInterpolation()
Allows interpolation of variables
variableInterpolationRecur()
Recursive procedure that expands the interpolation variables
split_line()
required
check_shell_escape()
required
sigterm()
Signal handler.
arm_signal_andler()
Enable signal trapping depending on the interactive/batch mode.
disarm_signal_andler()
Enable signal trapping depending on the interactive/batch mode.

cmdFile.c

File open, and file completion.

By: Adapted to NuSMV by Marco Roveri

Cmd_FileOpen()
Opens the file with the given mode.
CmdFgetsFilec()
Duplicates the function of fgets, but also provides file completion in the same style as csh
CmdFgetsFilec()
required
cmp()
required
match()
required
CmdHistorySubstitution()
Simple history substitution routine.
getnum()
required
getarg()
required
bad_event()
required
do_subst()
required
print_prompt()
required
removeWhiteSpaces()
Removes tabs and spaces from the beginning and end of string.

cmdMisc.c

Variable table; miscellaneous commands related to the general system.

By: Adapted to NuSMV by Marco Roveri

Cmd_FlagReadByName()
Looks up value of flag in table of named values.
Cmd_Init()
Initializes the command package.
Cmd_End()
Ends the command package.
CmdOpenPipe()
Opens a pipe with a pager
CmdClosePipe()
Closes a previously opened pipe
CmdOpenFile()
Open a file whose name is given
CmdCloseFile()
Closes a previously opened file
CmdFreeArgv()
required
CmdAliasFree()
required
CommandTime()
Implements the time command.
CommandEcho()
Implements the echo command.
CommandMemoryProfile()
Implements the _memory_profile command.
CommandQuit()
Implements the quit command.
CommandUsage()
Implements the usage command.
CommandWhich()
Implements the which command.
CommandHistory()
Implements the history command.
CommandAlias()
Implements the alias command.
CommandUnalias()
Implements the unalias command.
CommandHelp()
Implements the help command.
CommandSource()
Implements the source command.
print_alias()
required
()
Generate completion matches for readline.
command_completion()
Sets up command or filename completion on reading user input.
command_alias_help()
required
FlushBuffers()
Function to flush nusmv_stdout and nusmv_stderr.

Last updated on 2009/01/30 15h:04