-
parser.h
- External header file
-
parserInt.h
- Internal header file
-
parserCmd.c
- Interface of the parser package with the shell.
-
parserUtil.c
- Parser utilities
parser.h
External header file
By: Marco Roveri
parserInt.h
Internal header file
By: Marco Roveri
parserCmd.c
Interface of the parser package with the shell.
By: Marco Roveri
Provides command for reading the NuSMV input file and
build an internal representation of it.
-
Parser_Init()
- Initializes the parser
-
CommandReadModel()
- Reads a NuSMV file into NuSMV.
parserUtil.c
Parser utilities
By: Marco Roveri
This file contains some parser utilities that allows
for example to parse from a string, instead that from a file.
-
Parser_OpenInput()
- 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_ReadLtlExprFromFile()
- Parse LTL expression from a given file.
-
Parser_read_psl_from_string()
- Parses a PSL expression from the given string.
-
parser_open_input_pp()
- Open a file and inform the parser to read from it
-
parser_close_input_pp()
- Close the input file
Last updated on 2009/03/04 13h:34