NuSMV/code/nusmv/core/parser/parserInt.h File Reference

#include <stdlib.h>
#include <stdio.h>
#include "nusmv/core/parser/parser.h"
#include "cudd/util.h"
#include "nusmv/core/utils/utils.h"
#include "nusmv/core/node/node.h"
#include "nusmv/core/dd/dd.h"
#include "nusmv/core/set/set.h"
#include "nusmv/core/rbc/rbc.h"
#include "nusmv/core/compile/compile.h"
#include "nusmv/core/opt/opt.h"

Go to the source code of this file.

Enumerations

enum  PARSE_MODE { PARSE_MODULES, PARSE_COMMAND, PARSE_LTL_EXPR }

Functions

YY_BUFFER_STATE nusmv_yy_create_buffer (FILE *file, int size)
void nusmv_yy_delete_buffer (YY_BUFFER_STATE b)
YY_BUFFER_STATE nusmv_yy_scan_buffer (char *base, size_t size)
YY_BUFFER_STATE nusmv_yy_scan_string (const char *yy_str)
void nusmv_yy_switch_to_buffer (YY_BUFFER_STATE new_buffer)
int nusmv_yylex (void)
int nusmv_yyparse (void)
void nusmv_yyrestart (FILE *input_file)
void parser_add_syntax_error (const NuSMVEnv_ptr env, const char *fname, int lineno, const char *token, const char *err_msg)
 Add a new syntax error to the list.
void parser_free_parsed_syntax_errors (const NuSMVEnv_ptr env)
 Frees the list of structures containing the syntax errors built by the parser.
void Parser_switch_to_psl (void)

Variables

cmp_struct_ptr cmps
FILE * nusmv_yyin
int nusmv_yylineno
enum PARSE_MODE parse_mode_flag
node_ptr parsed_tree
node_ptr psl_parsed_tree
node_ptr psl_property_name
FILE * psl_yyin
int psl_yylineno

Enumeration Type Documentation

enum PARSE_MODE
Enumerator:
PARSE_MODULES 
PARSE_COMMAND 
PARSE_LTL_EXPR 

Function Documentation

YY_BUFFER_STATE nusmv_yy_create_buffer ( FILE *  file,
int  size 
)
Todo:
Missing synopsis
Todo:
Missing description
void nusmv_yy_delete_buffer ( YY_BUFFER_STATE  b  ) 
Todo:
Missing synopsis
Todo:
Missing description
YY_BUFFER_STATE nusmv_yy_scan_buffer ( char *  base,
size_t  size 
)
Todo:
Missing synopsis
Todo:
Missing description
YY_BUFFER_STATE nusmv_yy_scan_string ( const char *  yy_str  ) 
Todo:
Missing synopsis
Todo:
Missing description
void nusmv_yy_switch_to_buffer ( YY_BUFFER_STATE  new_buffer  ) 
Todo:
Missing synopsis
Todo:
Missing description
int nusmv_yylex ( void   ) 
Todo:
Missing synopsis
Todo:
Missing description
int nusmv_yyparse ( void   ) 
Todo:
Missing synopsis
Todo:
Missing description
void nusmv_yyrestart ( FILE *  input_file  ) 
Todo:
Missing synopsis
Todo:
Missing description
void parser_add_syntax_error ( const NuSMVEnv_ptr  env,
const char *  fname,
int  lineno,
const char *  token,
const char *  err_msg 
)

Add a new syntax error to the list.

This is called by the parser when needed

void parser_free_parsed_syntax_errors ( const NuSMVEnv_ptr  env  ) 

Frees the list of structures containing the syntax errors built by the parser.

void Parser_switch_to_psl ( void   ) 
Todo:
Missing synopsis
Todo:
Missing description

Variable Documentation

cmp_struct_ptr cmps
FILE* nusmv_yyin
node_ptr parsed_tree
node_ptr psl_parsed_tree
FILE* psl_yyin
 All Data Structures Files Functions Variables Typedefs Enumerations Enumerator Defines

Generated on 14 Oct 2015 for NuSMV Developers Manual by  doxygen 1.6.1