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.
Enumeration Type Documentation
- Enumerator:
PARSE_MODULES |
|
PARSE_COMMAND |
|
PARSE_LTL_EXPR |
|
Function Documentation
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_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.
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 |
|
) |
|
Variable Documentation