int
CommandReadModel(
int argc,
char ** argv
)
- Reads a NuSMV file into NuSMV.
- Defined in
parserCmd.c
void
Parser_CloseInput(
)
- Closes the input file and corresponding buffer used
by the parser to read tokens.
NB: This function should be invoked only after successive invocation
of parser_open_input_pp.
- See Also
Parser_OpenInput
- Defined in
parserUtil.c
void
Parser_Init(
)
- Initializes the parser
- Defined in
parserCmd.c
void
Parser_Quit(
)
- Deinitializes the parser
- Defined in
parserCmd.c
int
Parser_ReadCmdFromFile(
const char * filename,
node_ptr* res
)
- The resulting parse tree is returned through res. If a
parsing error occurs then return 1, else return 0.
- Defined in
parserUtil.c
int
Parser_ReadCmdFromString(
int argc,
const char** argv,
const char* head,
const 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_ReadIdentifierExprFromString(
const char* str_expr,
node_ptr* res
)
- The resulting parse tree is returned through res. If a
parsing error occurs then return 1, else return 0.
- Defined in
parserUtil.c
int
Parser_ReadLtlExprFromFile(
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 parsed_tree to be used from the caller.
- Defined in
parserUtil.c
int
Parser_ReadNextExprFromFile(
const char * filename,
node_ptr* res
)
- The resulting parse tree is returned through res. If a
parsing error occurs then return 1, else return 0.
- Defined in
parserUtil.c
int
Parser_ReadNextExprFromString(
const char* str_expr,
node_ptr* res
)
- The resulting parse tree is returned through res. If a
parsing error occurs then return 1, else return 0.
- 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 parsed_tree to be used from the caller.
- Defined in
parserUtil.c
int
Parser_ReadSimpExprFromString(
const char* str_expr,
node_ptr* res
)
- The resulting parse tree is returned through res. If a
parsing error occurs then return 1, else return 0.
- Defined in
parserUtil.c
node_ptr
Parser_get_syntax_errors_list(
)
- Each node of the list can be passed to
Parser_get_syntax_error to get information out of it. The
returned lists must be NOT modified or freed by the caller.
- See Also
Parser_get_syntax_error
- Defined in
parserUtil.c
void
Parser_get_syntax_error(
node_ptr node,
const char** out_filename,
int* out_lineno,
const char** out_token,
const char** out_message
)
- Each node contains information which will be set in
output params filename, lineno and message. Those information
must be NOT modified or freed by the caller. If not interested in
an information, pass NULL with the respective parameter.
- See Also
Parser_get_syntax_errors_list
- Defined in
parserUtil.c
void
Parser_print_syntax_error(
node_ptr error,
FILE* fout
)
- The syntax error information contained in the given
node is printed to the given output file.
- See Also
Parser_get_syntax_errors_list
- Defined in
parserUtil.c
int
Parser_read_psl_from_file(
const char* filename,
node_ptr* res
)
- The PSL parser is directly called. The resulting
parse tree is returned through res. 1 is returned if an error occurred.
- Defined in
parserUtil.c
int
Parser_read_psl_from_string(
int argc,
const char** argv,
node_ptr* res
)
- The PSL parser is directly called. The resulting
parse tree is returned through res. 1 is returned if an error occurred.
- Defined in
parserUtil.c
void
parser_add_syntax_error(
const char* fname,
int lineno,
const char* token,
const char* err_msg
)
- This is called by the parser when needed
- 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_free_parsed_syntax_errors(
)
- Frees the list of structures containing the syntax
errors built by the parser.
- 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
(
)
- 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.
Invoke Parser_CloseInput to close the file and associated buffer.
- See Also
Parser_CloseInput
- Defined in
parserUtil.c