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_ReadFromString(
int argc,
char ** argv,
char * head,
char * tail,
node_ptr * pc
)
- Creates a string, 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