parser.h

External header file

parserInt.h

Internal header file

parserCmd.c

Interface of the parser package with the shell.

parserUtil.c

Parser utilities

By: Marco Roveri

By: Marco Roveri

By: Marco Roveri

Provides command for reading the NuSMV input file and build an internal representation of it.

Parser_Init()

Initializes the parser

Parser_Quit()

Deinitializes the parser

CommandReadModel()

Reads a NuSMV file into NuSMV.

By: Marco Roveri

This file contains some parser utilities that allows for example to parse from a string, instead that from a file.

()

Open a file and inform the parser to read from it

Parser_CloseInput()

Close the input file

Parser_ReadSMVFromFile()

Parse SMV code from a given file.

Parser_ReadCmdFromString()

Parse a comand from a given string.

Parser_ReadCmdFromFile()

Parse a command expression from file

Parser_ReadNextExprFromFile()

Parse a next expression from file

Parser_ReadSimpExprFromString()

Parse a simple expression from string

Parser_ReadNextExprFromString()

Parse a next expression from string

Parser_ReadLtlExprFromFile()

Parse LTL expression from a given file.

Parser_read_psl_from_string()

Parses a PSL expression from the given string.

Parser_read_psl_from_file()

Parses a PSL expression from the given file.

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_add_syntax_error()

Add a new syntax error to the list

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

parser_close_input_pp()

Close the input file