|
cprover
|
Go to the source code of this file.
Classes | |
| union | YYSTYPE |
| union | yyalloc |
Macros | |
| #define | YYBISON 1 |
| #define | YYBISON_VERSION "3.0.4" |
| #define | YYSKELETON_NAME "yacc.c" |
| #define | YYPURE 0 |
| #define | YYPUSH 0 |
| #define | YYPULL 1 |
| #define | yyparse yyxmlparse |
| #define | yylex yyxmllex |
| #define | yyerror yyxmlerror |
| #define | yydebug yyxmldebug |
| #define | yynerrs yyxmlnerrs |
| #define | yylval yyxmllval |
| #define | yychar yyxmlchar |
| #define | YY_NULLPTR 0 |
| #define | YYERROR_VERBOSE 1 |
| #define | YY_YYXML_XML_Y_TAB_HPP_INCLUDED |
| #define | YYDEBUG 0 |
| #define | YYTOKENTYPE |
| #define | STARTXMLDECL 258 |
| #define | VERSION 259 |
| #define | STARTPI 260 |
| #define | ENDPI 261 |
| #define | EQ 262 |
| #define | SLASH 263 |
| #define | CLOSE 264 |
| #define | END 265 |
| #define | ENCODING 266 |
| #define | NAME 267 |
| #define | VALUE 268 |
| #define | DATA 269 |
| #define | COMMENT 270 |
| #define | START 271 |
| #define | YYSTYPE_IS_TRIVIAL 1 |
| #define | YYSTYPE_IS_DECLARED 1 |
| #define | YYSIZE_T size_t |
| #define | YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
| #define | YY_(Msgid) Msgid |
| #define | YY_ATTRIBUTE(Spec) /* empty */ |
| #define | YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) |
| #define | YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) |
| #define | _Noreturn YY_ATTRIBUTE ((__noreturn__)) |
| #define | YYUSE(E) ((void) (E)) |
| #define | YY_INITIAL_VALUE(Value) Value |
| #define | YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
| #define | YY_IGNORE_MAYBE_UNINITIALIZED_END |
| #define | YYSTACK_ALLOC YYMALLOC |
| #define | YYSTACK_FREE YYFREE |
| #define | YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
| #define | YYMALLOC malloc |
| #define | YYFREE free |
| #define | YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) |
| #define | YYSTACK_BYTES(N) |
| #define | YYCOPY_NEEDED 1 |
| #define | YYSTACK_RELOCATE(Stack_alloc, Stack) |
| #define | YYCOPY(Dst, Src, Count) |
| #define | YYFINAL 6 |
| #define | YYLAST 25 |
| #define | YYNTOKENS 17 |
| #define | YYNNTS 20 |
| #define | YYNRULES 29 |
| #define | YYNSTATES 43 |
| #define | YYUNDEFTOK 2 |
| #define | YYMAXUTOK 271 |
| #define | YYTRANSLATE(YYX) ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
| #define | YYPACT_NINF -13 |
| #define | yypact_value_is_default(Yystate) (!!((Yystate) == (-13))) |
| #define | YYTABLE_NINF -1 |
| #define | yytable_value_is_error(Yytable_value) 0 |
| #define | yyerrok (yyerrstatus = 0) |
| #define | yyclearin (yychar = YYEMPTY) |
| #define | YYEMPTY (-2) |
| #define | YYEOF 0 |
| #define | YYACCEPT goto yyacceptlab |
| #define | YYABORT goto yyabortlab |
| #define | YYERROR goto yyerrorlab |
| #define | YYRECOVERING() (!!yyerrstatus) |
| #define | YYBACKUP(Token, Value) |
| #define | YYTERROR 1 |
| #define | YYERRCODE 256 |
| #define | YYDPRINTF(Args) |
| #define | YY_SYMBOL_PRINT(Title, Type, Value, Location) |
| #define | YY_STACK_PRINT(Bottom, Top) |
| #define | YY_REDUCE_PRINT(Rule) |
| #define | YYINITDEPTH 200 |
| #define | YYMAXDEPTH 10000 |
| #define | YYCASE_(N, S) |
| #define | YYPOPSTACK(N) (yyvsp -= (N), yyssp -= (N)) |
| #define | YYSYNTAX_ERROR |
Typedefs | |
| typedef union YYSTYPE | YYSTYPE |
| typedef unsigned char | yytype_uint8 |
| typedef signed char | yytype_int8 |
| typedef unsigned short int | yytype_uint16 |
| typedef short int | yytype_int16 |
Functions | |
| int | yyxmllex () |
| The main scanner function which does all the work. More... | |
| int | yyxmlerror (const std::string &error) |
| int | yyxmlparse (void) |
| void * | malloc (size_t) |
| void | free (void *) |
| static size_t | yystrlen (const char *yystr) |
| static char * | yystpcpy (char *yydest, const char *yysrc) |
| static size_t | yytnamerr (char *yyres, const char *yystr) |
| static int | yysyntax_error (size_t *yymsg_alloc, char **yymsg, yytype_int16 *yyssp, int yytoken) |
| static void | yydestruct (const char *yymsg, int yytype, YYSTYPE *yyvaluep) |
Variables | |
| char * | yyxmltext |
| YYSTYPE | yyxmllval |
| static const yytype_uint8 | yytranslate [] |
| static const char *const | yytname [] |
| static const yytype_int8 | yypact [] |
| static const yytype_uint8 | yydefact [] |
| static const yytype_int8 | yypgoto [] |
| static const yytype_int8 | yydefgoto [] |
| static const yytype_uint8 | yytable [] |
| static const yytype_uint8 | yycheck [] |
| static const yytype_uint8 | yystos [] |
| static const yytype_uint8 | yyr1 [] |
| static const yytype_uint8 | yyr2 [] |
| int | yyxmlchar |
| int | yyxmlnerrs |
| #define _Noreturn YY_ATTRIBUTE ((__noreturn__)) |
Definition at line 261 of file xml_y.tab.cpp.
| #define CLOSE 264 |
Definition at line 147 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define COMMENT 270 |
Definition at line 153 of file xml_y.tab.cpp.
| #define DATA 269 |
Definition at line 152 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define ENCODING 266 |
Definition at line 149 of file xml_y.tab.cpp.
| #define END 265 |
Definition at line 148 of file xml_y.tab.cpp.
Referenced by smt2_convt::convert_byte_update(), and yyxmllex().
| #define ENDPI 261 |
Definition at line 144 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define EQ 262 |
Definition at line 145 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define NAME 267 |
Definition at line 150 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define SLASH 263 |
Definition at line 146 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define START 271 |
Definition at line 154 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define STARTPI 260 |
Definition at line 143 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define STARTXMLDECL 258 |
Definition at line 141 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| #define VALUE 268 |
Definition at line 151 of file xml_y.tab.cpp.
Referenced by boolbvt::convert_case(), and yyxmllex().
| #define VERSION 259 |
Definition at line 142 of file xml_y.tab.cpp.
| #define YY_ | ( | Msgid | ) | Msgid |
Definition at line 234 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
| #define YY_ATTRIBUTE | ( | Spec | ) | /* empty */ |
Definition at line 244 of file xml_y.tab.cpp.
| #define YY_ATTRIBUTE_PURE YY_ATTRIBUTE ((__pure__)) |
Definition at line 249 of file xml_y.tab.cpp.
| #define YY_ATTRIBUTE_UNUSED YY_ATTRIBUTE ((__unused__)) |
Definition at line 253 of file xml_y.tab.cpp.
| #define YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN |
Definition at line 284 of file xml_y.tab.cpp.
Referenced by yydestruct(), and yyxmlparse().
| #define YY_IGNORE_MAYBE_UNINITIALIZED_END |
Definition at line 285 of file xml_y.tab.cpp.
Referenced by yydestruct(), and yyxmlparse().
| #define YY_INITIAL_VALUE | ( | Value | ) | Value |
Definition at line 281 of file xml_y.tab.cpp.
| #define YY_NULLPTR 0 |
Definition at line 95 of file xml_y.tab.cpp.
Referenced by yysyntax_error().
| #define YY_REDUCE_PRINT | ( | Rule | ) |
Definition at line 763 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YY_STACK_PRINT | ( | Bottom, | |
| Top | |||
| ) |
Definition at line 762 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YY_SYMBOL_PRINT | ( | Title, | |
| Type, | |||
| Value, | |||
| Location | |||
| ) |
Definition at line 761 of file xml_y.tab.cpp.
Referenced by yydestruct(), and yyxmlparse().
| #define YY_YYXML_XML_Y_TAB_HPP_INCLUDED |
Definition at line 110 of file xml_y.tab.cpp.
| #define YYABORT goto yyabortlab |
Definition at line 608 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYACCEPT goto yyacceptlab |
Definition at line 607 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYBACKUP | ( | Token, | |
| Value | |||
| ) |
Definition at line 614 of file xml_y.tab.cpp.
| #define YYBISON 1 |
Definition at line 44 of file xml_y.tab.cpp.
| #define YYBISON_VERSION "3.0.4" |
Definition at line 47 of file xml_y.tab.cpp.
| #define YYCASE_ | ( | N, | |
| S | |||
| ) |
Referenced by yysyntax_error().
| #define yychar yyxmlchar |
Definition at line 70 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
Definition at line 603 of file xml_y.tab.cpp.
| #define YYCOPY | ( | Dst, | |
| Src, | |||
| Count | |||
| ) |
Definition at line 408 of file xml_y.tab.cpp.
| #define YYCOPY_NEEDED 1 |
Definition at line 380 of file xml_y.tab.cpp.
| #define yydebug yyxmldebug |
Definition at line 66 of file xml_y.tab.cpp.
| #define YYDEBUG 0 |
Definition at line 113 of file xml_y.tab.cpp.
| #define YYDPRINTF | ( | Args | ) |
Definition at line 760 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYEMPTY (-2) |
Definition at line 604 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
| #define YYEOF 0 |
Definition at line 605 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYERRCODE 256 |
Definition at line 633 of file xml_y.tab.cpp.
| #define yyerrok (yyerrstatus = 0) |
Definition at line 602 of file xml_y.tab.cpp.
| #define yyerror yyxmlerror |
Definition at line 65 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYERROR goto yyerrorlab |
Definition at line 609 of file xml_y.tab.cpp.
| #define YYERROR_VERBOSE 1 |
Definition at line 104 of file xml_y.tab.cpp.
| #define YYFINAL 6 |
Definition at line 421 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYFREE free |
Definition at line 351 of file xml_y.tab.cpp.
| #define YYINITDEPTH 200 |
Definition at line 769 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYLAST 25 |
Definition at line 423 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
| #define yylex yyxmllex |
Definition at line 64 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define yylval yyxmllval |
Definition at line 69 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYMALLOC malloc |
Definition at line 345 of file xml_y.tab.cpp.
| #define YYMAXDEPTH 10000 |
Definition at line 780 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYMAXUTOK 271 |
Definition at line 437 of file xml_y.tab.cpp.
| #define yynerrs yyxmlnerrs |
Definition at line 67 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYNNTS 20 |
Definition at line 428 of file xml_y.tab.cpp.
| #define YYNRULES 29 |
Definition at line 430 of file xml_y.tab.cpp.
| #define YYNSTATES 43 |
Definition at line 432 of file xml_y.tab.cpp.
| #define YYNTOKENS 17 |
Definition at line 426 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
| #define YYPACT_NINF -13 |
Definition at line 510 of file xml_y.tab.cpp.
| #define yypact_value_is_default | ( | Yystate | ) | (!!((Yystate) == (-13))) |
Definition at line 512 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
| #define yyparse yyxmlparse |
Definition at line 63 of file xml_y.tab.cpp.
| #define YYPOPSTACK | ( | N | ) | (yyvsp -= (N), yyssp -= (N)) |
Referenced by yyxmlparse().
| #define YYPULL 1 |
Definition at line 59 of file xml_y.tab.cpp.
| #define YYPURE 0 |
Definition at line 53 of file xml_y.tab.cpp.
| #define YYPUSH 0 |
Definition at line 56 of file xml_y.tab.cpp.
| #define YYRECOVERING | ( | ) | (!!yyerrstatus) |
Definition at line 612 of file xml_y.tab.cpp.
| #define YYSIZE_MAXIMUM ((YYSIZE_T) -1) |
Definition at line 224 of file xml_y.tab.cpp.
| #define YYSIZE_T size_t |
Definition at line 218 of file xml_y.tab.cpp.
Referenced by yystrlen(), yysyntax_error(), yytnamerr(), and yyxmlparse().
| #define YYSKELETON_NAME "yacc.c" |
Definition at line 50 of file xml_y.tab.cpp.
| #define YYSTACK_ALLOC YYMALLOC |
Definition at line 331 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYSTACK_ALLOC_MAXIMUM YYSIZE_MAXIMUM |
Definition at line 334 of file xml_y.tab.cpp.
Referenced by yysyntax_error().
| #define YYSTACK_BYTES | ( | N | ) |
| #define YYSTACK_FREE YYFREE |
Definition at line 332 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYSTACK_GAP_MAXIMUM (sizeof (union yyalloc) - 1) |
Definition at line 372 of file xml_y.tab.cpp.
| #define YYSTACK_RELOCATE | ( | Stack_alloc, | |
| Stack | |||
| ) |
Definition at line 387 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYSTYPE_IS_DECLARED 1 |
Definition at line 169 of file xml_y.tab.cpp.
| #define YYSTYPE_IS_TRIVIAL 1 |
Definition at line 168 of file xml_y.tab.cpp.
| #define YYSYNTAX_ERROR |
Referenced by yyxmlparse().
| #define YYTABLE_NINF -1 |
Definition at line 515 of file xml_y.tab.cpp.
| #define yytable_value_is_error | ( | Yytable_value | ) | 0 |
Definition at line 517 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
| #define YYTERROR 1 |
Definition at line 632 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
| #define YYTOKENTYPE |
Definition at line 121 of file xml_y.tab.cpp.
| #define YYTRANSLATE | ( | YYX | ) | ((unsigned int) (YYX) <= YYMAXUTOK ? yytranslate[YYX] : YYUNDEFTOK) |
Definition at line 439 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
| #define YYUNDEFTOK 2 |
Definition at line 436 of file xml_y.tab.cpp.
| #define YYUSE | ( | E | ) | ((void) (E)) |
Definition at line 267 of file xml_y.tab.cpp.
Referenced by yydestruct().
Definition at line 167 of file xml_y.tab.cpp.
| typedef short int yytype_int16 |
Definition at line 208 of file xml_y.tab.cpp.
| typedef signed char yytype_int8 |
Definition at line 196 of file xml_y.tab.cpp.
| typedef unsigned short int yytype_uint16 |
Definition at line 202 of file xml_y.tab.cpp.
| typedef unsigned char yytype_uint8 |
Definition at line 190 of file xml_y.tab.cpp.
| enum yytokentype |
Definition at line 122 of file xml_y.tab.cpp.
| void free | ( | void * | ) |
Referenced by yyxmlparse().
| void* malloc | ( | size_t | ) |
|
static |
Definition at line 1011 of file xml_y.tab.cpp.
References YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_SYMBOL_PRINT, and YYUSE.
Referenced by yyxmlparse().
|
static |
Definition at line 809 of file xml_y.tab.cpp.
Referenced by yytnamerr().
|
static |
Definition at line 792 of file xml_y.tab.cpp.
References YYSIZE_T.
Referenced by yysyntax_error(), and yytnamerr().
|
static |
Definition at line 879 of file xml_y.tab.cpp.
References YY_, YY_NULLPTR, YYCASE_, yycheck, YYEMPTY, YYLAST, YYNTOKENS, yypact, yypact_value_is_default, YYSIZE_T, YYSTACK_ALLOC_MAXIMUM, yystrlen(), yytable, yytable_value_is_error, YYTERROR, yytname, and yytnamerr().
|
static |
Definition at line 831 of file xml_y.tab.cpp.
References YYSIZE_T, yystpcpy(), and yystrlen().
Referenced by yysyntax_error().
| int yyxmlerror | ( | const std::string & | error | ) |
Definition at line 82 of file xml_y.tab.cpp.
References parsert::parse_error(), xml_parser, and yyxmltext.
Referenced by yyxmllex().
| int yyxmllex | ( | ) |
The main scanner function which does all the work.
Definition at line 816 of file xml_lex.yy.cpp.
References BEGIN, CLOSE, COMMENT, CONTENT, DATA, DTD, END, ENDPI, EOB_ACT_CONTINUE_SCAN, EOB_ACT_END_OF_FILE, EOB_ACT_LAST_MATCH, EQ, INITIAL, NAME, PI, YYSTYPE::s, SLASH, START, STARTPI, STARTXMLDECL, VALUE, word(), yy_accept, yy_base, YY_BREAK, YY_BUF_SIZE, YY_BUFFER_NEW, YY_BUFFER_NORMAL, yy_c_buf_p, yy_chk, YY_CURRENT_BUFFER, YY_CURRENT_BUFFER_LVALUE, yy_def, yy_did_buffer_switch_on_eof, YY_DO_BEFORE_ACTION, yy_ec, YY_END_OF_BUFFER, YY_FATAL_ERROR, yy_get_next_buffer(), yy_get_previous_state(), yy_hold_char, yy_init, yy_last_accepting_cpos, yy_last_accepting_state, yy_meta, YY_MORE_ADJ, yy_n_chars, YY_NEW_FILE, yy_nxt, YY_RESTORE_YY_MORE_OFFSET, YY_RULE_SETUP, YY_SC_TO_UI, YY_START, yy_start, YY_STATE_EOF, yy_try_NUL_trans(), yyterminate, yytext_ptr, yyxml_create_buffer(), yyxml_load_buffer_state(), yyxmlensure_buffer_stack(), yyxmlerror(), yyxmlin, yyxmllval, yyxmlout, yyxmltext, and yyxmlwrap().
| int yyxmlparse | ( | void | ) |
Definition at line 1040 of file xml_y.tab.cpp.
References xml_parsert::current(), xmlt::data, free(), xmlt::name, xml_parsert::new_level(), xml_parsert::parse_tree, YYSTYPE::s, xmlt::set_attribute(), xml_parsert::stack, xmlt::unescape(), xml_parse_treet::xml, xml_parser, YY_, YY_IGNORE_MAYBE_UNINITIALIZED_BEGIN, YY_IGNORE_MAYBE_UNINITIALIZED_END, YY_REDUCE_PRINT, YY_STACK_PRINT, YY_SYMBOL_PRINT, YYABORT, YYACCEPT, yychar, yycheck, yydefact, yydefgoto, yydestruct(), YYDPRINTF, YYEMPTY, YYEOF, yyerror, YYFINAL, YYINITDEPTH, YYLAST, yylex, yylval, YYMAXDEPTH, yynerrs, YYNTOKENS, yypact, yypact_value_is_default, yypgoto, YYPOPSTACK, yyr1, yyr2, YYSIZE_T, yyalloc::yyss_alloc, YYSTACK_ALLOC, YYSTACK_BYTES, YYSTACK_FREE, YYSTACK_RELOCATE, yystos, YYSYNTAX_ERROR, yytable, yytable_value_is_error, YYTERROR, YYTRANSLATE, and yyalloc::yyvs_alloc.
Referenced by xml_parsert::parse(), and parse_xml().
|
static |
Definition at line 567 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
|
static |
Definition at line 534 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
|
static |
Definition at line 551 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
|
static |
Definition at line 522 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
|
static |
Definition at line 544 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
|
static |
Definition at line 586 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
|
static |
Definition at line 594 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
|
static |
Definition at line 576 of file xml_y.tab.cpp.
Referenced by yyxmlparse().
|
static |
Definition at line 560 of file xml_y.tab.cpp.
Referenced by yysyntax_error(), and yyxmlparse().
|
static |
Definition at line 489 of file xml_y.tab.cpp.
Referenced by yysyntax_error().
|
static |
Definition at line 444 of file xml_y.tab.cpp.
| int yyxmlchar |
Definition at line 1027 of file xml_y.tab.cpp.
| YYSTYPE yyxmllval |
Definition at line 1030 of file xml_y.tab.cpp.
Referenced by yyxmllex().
| int yyxmlnerrs |
Definition at line 1032 of file xml_y.tab.cpp.
| char* yyxmltext |
Referenced by yyxmlerror().