-
Parser_CloseInput()
- Close the input file
-
Parser_Init()
- Initializes the parser
-
Parser_Quit()
- Deinitializes the parser
-
Parser_ReadCmdFromFile()
- Parse a command expression from file
-
Parser_ReadCmdFromString()
- Parse a comand from a given string.
-
Parser_ReadIdentifierExprFromString()
- Parse an identifier expression from string
-
Parser_ReadLtlExprFromFile()
- Parse LTL expression from a given file.
-
Parser_ReadNextExprFromFile()
- Parse a next expression from file
-
Parser_ReadNextExprFromString()
- Parse a next expression from string
-
Parser_ReadSMVFromFile()
- Parse SMV code from a given file.
-
Parser_ReadSimpExprFromString()
- Parse a simple expression from string
-
Parser_get_syntax_errors_list()
- Returns a list of SYNTAX_ERROR nodes
-
Parser_get_syntax_error()
- Returns information out of nodes contained in list
returned by Parser_get_syntax_errors_list.
-
Parser_print_syntax_error()
- Prints information contained in one node ot the list
returned by Parser_get_syntax_errors_list.
-
Parser_read_psl_from_file()
- Parses a PSL expression from the given file.
-
Parser_read_psl_from_string()
- Parses a PSL expression from the given string.
-
parser_add_syntax_error()
- Add a new syntax error to the list
-
parser_close_input_pp()
- Close the input file
-
parser_free_parsed_syntax_errors()
- Frees the list of structures containing the syntax
errors built by the parser.
-
parser_open_input_pp()
- Open a file and inform the parser to read from it
Last updated on 2012/11/18 14h:16