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