-
CmdAliasFree()
- required
-
CmdCloseFile()
- Closes a previously opened file
-
CmdClosePipe()
- Closes a previously opened pipe
-
CmdCommandCopy()
- Copies value.
-
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_CommandDefined()
- True iff a command named 'name' is defined.
-
Cmd_CommandExecute()
- Executes a command line.
-
Cmd_CommandRemove()
- Removes given command from the command table.
-
Cmd_End()
- Ends the command package.
-
Cmd_FileOpen()
- Opens the file with the given mode.
-
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.
-
CommandShowHelp()
- Implements the _show_help 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.
-
()
- Returns the command stored under 'name' in the command table.
Last updated on 2011/04/06 21h:16