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_OpenInputPP()
Open a file and inform the parser to read from it
Parser_CloseInput()
Close the input file
Parser_CloseInputPP()
Close the input file
Parser_ReadSMVFromFile()
Parse SMV code from a given file.
Parser_ReadCmdFromString()
Parse a comand from a given string.

Last updated on 2004/06/23 13h:55