CmdAliasFree()
required
CmdCloseFile()
Closes a previously opened file
CmdClosePipe()
Closes a previously opened pipe
CmdCommandFree()
required
CmdFgetsFilec()
Duplicates the function of fgets, but also provides file completion in the same style as csh
CmdFgetsFilec()
required
CmdFreeArgv()
required
CmdHistorySubstitution()
Simple history substitution routine.
CmdOpenFile()
Open a file whose name is given
CmdOpenPipe()
Opens a pipe with a pager
Cmd_CommandAdd()
Adds a command to the command table.
Cmd_CommandExecute()
Executes a command line.
Cmd_End()
Ends the command package.
Cmd_FileOpen()
Opens the file with the given mode.
Cmd_FlagReadByName()
Looks up value of flag in table of named values.
Cmd_Init()
Initializes the command package.
Cmd_SecureCommandExecute()
Secure layer for Cmd_CommandExecute
CommandAlias()
Implements the alias command.
CommandEcho()
Implements the echo command.
CommandHelp()
Implements the help command.
CommandHistory()
Implements the history command.
CommandMemoryProfile()
Implements the _memory_profile command.
CommandQuit()
Implements the quit command.
CommandSource()
Implements the source command.
CommandTime()
Implements the time command.
CommandUnalias()
Implements the unalias command.
CommandUsage()
Implements the usage command.
CommandWhich()
Implements the which command.
FlushBuffers()
Function to flush nusmv_stdout and nusmv_stderr.
apply_alias()
Applies alias.
arm_signal_andler()
Enable signal trapping depending on the interactive/batch mode.
bad_event()
required
check_shell_escape()
required
cmp()
required
com_dispatch()
required
command_alias_help()
required
command_completion()
Sets up command or filename completion on reading user input.
disarm_signal_andler()
Enable signal trapping depending on the interactive/batch mode.
do_subst()
required
getarg()
required
getnum()
required
match()
required
print_alias()
required
print_prompt()
required
removeWhiteSpaces()
Removes tabs and spaces from the beginning and end of string.
sigterm()
Signal handler.
split_line()
required
variableInterpolationRecur()
Recursive procedure that expands the interpolation variables
variableInterpolation()
Allows interpolation of variables
()
Generate completion matches for readline.

Last updated on 2009/01/30 14h:53