Internal header of the parser package.

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

Defined in parserCmd.c

void 
Parser_CloseInput(
    
)
Closes the input file and corresponding buffer used by the parser to read tokens. NB: This function should be invoked only after successive invocation of parser_open_input_pp.

See Also Parser_OpenInput
Defined in parserUtil.c

void 
Parser_Init(
    
)
Initializes the parser

Defined in parserCmd.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. Invoke Parser_CloseInput to close the file and associated buffer.

See Also Parser_CloseInput
Defined in parserUtil.c

int 
Parser_ReadCmdFromFile(
  const char * filename, 
  node_ptr* res 
)
The resulting parse tree is returned through res. If a parsing error occurs then return 1, else return 0.

Defined in parserUtil.c

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

Defined in parserUtil.c

int 
Parser_ReadNextExprFromFile(
  const char * filename, 
  node_ptr* res 
)
The resulting parse tree is returned through res. If a parsing error occurs then return 1, else return 0.

Defined in parserUtil.c

int 
Parser_ReadNextExprFromString(
  const char* str_expr, 
  node_ptr* res 
)
The resulting parse tree is returned through res. If a parsing error occurs then return 1, else return 0.

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 parsed_tree to be used from the caller.

Defined in parserUtil.c

int 
Parser_ReadSimpExprFromString(
  const char* str_expr, 
  node_ptr* res 
)
The resulting parse tree is returned through res. If a parsing error occurs then return 1, else return 0.

Defined in parserUtil.c

int 
Parser_read_psl_from_file(
  const char* filename, 
  node_ptr* res 
)
The PSL parser is directly called. The resulting parse tree is returned through res. 1 is returned if an error occurred.

Defined in parserUtil.c

int 
Parser_read_psl_from_string(
  int  argc, 
  const char** argv, 
  node_ptr* res 
)
The PSL parser is directly called. The resulting parse tree is returned through res. 1 is returned if an error occurred.

Defined in parserUtil.c

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

Side Effects Deletes any temporary files created by parser_open_input_pp.

Defined in parserUtil.c

void 
parser_open_input_pp(
  const char* filename 
)
Open a file, pre-process it, and inform the parser to start reading tokens from this file. The directory in which the original file resides is used to store the temporary files. This is so that any #includes statements used by the second or later pre-processor work properly.

Side Effects Creates temporary files which are subsequently deleted.

Defined in parserUtil.c

Last updated on 2010/11/04 13h:34