NuSMV/code/nusmv/addons_core/compass/parser/ap/apInt.h
Go to the documentation of this file.00001 00038 #ifndef __NUSMV_ADDONS_CORE_COMPASS_PARSER_AP_AP_INT_H__ 00039 #define __NUSMV_ADDONS_CORE_COMPASS_PARSER_AP_AP_INT_H__ 00040 00041 #include "nusmv/addons_core/compass/parser/ap/ParserAp.h" 00042 #include "nusmv/core/utils/utils.h" 00043 #include "nusmv/core/opt/opt.h" 00044 00045 00046 /*---------------------------------------------------------------------------*/ 00047 /* Type declarations */ 00048 /*---------------------------------------------------------------------------*/ 00049 #ifndef YY_TYPEDEF_YY_BUFFER_STATE 00050 #define YY_TYPEDEF_YY_BUFFER_STATE 00051 typedef struct yy_buffer_state* YY_BUFFER_STATE; 00052 #endif 00053 00054 00055 /*---------------------------------------------------------------------------*/ 00056 /* Variable declarations */ 00057 /*---------------------------------------------------------------------------*/ 00058 00059 extern int parser_ap_lineno; 00060 extern FILE* parser_ap_in; 00061 00062 00063 /*---------------------------------------------------------------------------*/ 00064 /* Function prototypes */ 00065 /*---------------------------------------------------------------------------*/ 00066 00067 void parser_ap_set_global_parser(ParserAp_ptr parser); 00068 void parser_ap_reset_global_parser(ParserAp_ptr parser); 00069 ParserAp_ptr parser_ap_get_global_parser(void); 00070 00071 00072 /* from generated code: */ 00073 int parser_ap_lex(void); 00074 int parser_ap_parse(void); 00075 void parser_ap_restart(FILE* input_file); 00076 00077 void 00078 parser_ap__switch_to_buffer(YY_BUFFER_STATE new_buffer); 00079 00080 YY_BUFFER_STATE 00081 parser_ap__create_buffer(FILE* file, int size); 00082 00083 void parser_ap__delete_buffer(YY_BUFFER_STATE buf); 00084 00085 YY_BUFFER_STATE 00086 parser_ap__scan_string(const char* str); 00087 00088 00089 #endif /* __NUSMV_ADDONS_CORE_COMPASS_PARSER_AP_AP_INT_H__ */
