-
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