Internal header of the parser package.

int 
CommandReadModel(
  int  argc, 
  char ** argv 
)
Reads a NuSMV file into NuSMV.

Defined in parserCmd.c

void 
Parser_CloseInputCpp(
    
)
Closes the input file used from parser to read tokens.

Defined in parserUtil.c

void 
Parser_CloseInput(
    
)
Closes the input file used from parser to read tokens.

Defined in parserUtil.c

void 
Parser_Init(
    
)
Initializes the parser

Defined in parserCmd.c

void 
Parser_OpenInputCpp(
  const char * filename 
)
Open a file, pre-process it using CPP, and inform the parser to startreading tokens from this file. If no input file is provided, then it inform the parser to start reading tokens from the standard input.

Defined in parserUtil.c

void 
Parser_OpenInput(
  const char * filename 
)
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.

Defined in parserUtil.c

int 
Parser_ReadCmdFromString(
  int  argc, 
  char ** argv, 
  char * head, 
  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_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 parse_tree to be used from the caller.

Defined in parserUtil.c

Last updated on 1011105 17h14