NuSMV/code/nusmv/core/parser/idlist/idlist_int.h
Go to the documentation of this file.00001 00002 #ifndef __NUSMV_CORE_PARSER_IDLIST_IDLIST_INT_H__ 00003 #define __NUSMV_CORE_PARSER_IDLIST_IDLIST_INT_H__ 00004 00005 #include "nusmv/core/parser/idlist/ParserIdList.h" 00006 #include "nusmv/core/utils/utils.h" 00007 #include "nusmv/core/opt/opt.h" 00008 00009 00010 /*---------------------------------------------------------------------------*/ 00011 /* Type declarations */ 00012 /*---------------------------------------------------------------------------*/ 00013 #ifndef YY_TYPEDEF_YY_BUFFER_STATE 00014 #define YY_TYPEDEF_YY_BUFFER_STATE 00015 typedef struct yy_buffer_state* YY_BUFFER_STATE; 00016 #endif 00017 00018 00019 /*---------------------------------------------------------------------------*/ 00020 /* Variable declarations */ 00021 /*---------------------------------------------------------------------------*/ 00022 00023 extern int parser_idlist_lineno; 00024 extern FILE* parser_idlist_in; 00025 00026 00027 /*---------------------------------------------------------------------------*/ 00028 /* Function prototypes */ 00029 /*---------------------------------------------------------------------------*/ 00030 00036 void parser_idlist_set_global_parser(ParserIdList_ptr parser); 00037 00043 void parser_idlist_reset_global_parser(ParserIdList_ptr parser); 00044 00050 ParserIdList_ptr parser_idlist_get_global_parser(void); 00051 00052 00053 /* from generated code: */ 00054 00060 int parser_idlist_lex(void); 00061 00067 int parser_idlist_parse(void); 00068 00074 void parser_idlist_restart(FILE* input_file); 00075 00081 void 00082 parser_idlist__switch_to_buffer(YY_BUFFER_STATE new_buffer); 00083 00089 YY_BUFFER_STATE 00090 parser_idlist__create_buffer(FILE* file, int size); 00091 00097 void parser_idlist__delete_buffer(YY_BUFFER_STATE buf); 00098 00104 YY_BUFFER_STATE 00105 parser_idlist__scan_string(const char* str); 00106 00107 00108 #endif /* __NUSMV_CORE_PARSER_IDLIST_IDLIST_INT_H__ */
