int
CommandReadModel(
int argc,
char ** argv
)
- Reads a NuSMV file into NuSMV.
- Defined in
parserCmd.c
void
Parser_CloseInput(
)
- Closes the input file used from parser to read tokens.
- Defined in
parserUtil.c
void
Parser_Init(
)
- Initializes the parser
- Defined in
parserCmd.c
void
Parser_OpenInput(
const char * filename
)
- Open a file and inform the parser to start
reading tokens from this file. If no input file is provided, then it
inform the parser to start reading tokens from the standard input.
- Defined in
parserUtil.c
int
Parser_ReadCmdFromString(
int argc,
char ** argv,
char * head,
char * tail,
node_ptr * pc
)
- Create a string for a command, and then call
yyparse to read from the created string.
If a parsing error occurs than return 1, else return 0.
The result of parsing is stored in pc to be used from the caller.
- Defined in
parserUtil.c
int
Parser_ReadSMVFromFile(
const char * filename
)
- Parse SMV code from a given file. If
no file is provided, parse from stdin. If a parsing error occurs then
return 1, else return 0. The result of parsing is stored in
the global variable parse_tree to be used from the caller.
- Defined in
parserUtil.c
void
parser_close_input_pp(
)
- Closes the input file used from parser to read tokens.
- Side Effects Deletes any temporary files created by
parser_open_input_pp.
- Defined in
parserUtil.c
void
parser_open_input_pp(
const char* filename
)
- Open a file, pre-process it, and inform the parser to
start reading tokens from this file. The directory in which the original file
resides is used to store the temporary files. This is so that any #includes
statements used by the second or later pre-processor work properly.
- Side Effects Creates temporary files which are subsequently deleted.
- Defined in
parserUtil.c