cprover
xml_y.tab.h
Go to the documentation of this file.
1 /* A Bison parser, made by GNU Bison 3.6.4. */
2 
3 /* Bison interface for Yacc-like parsers in C
4 
5  Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2020 Free Software Foundation,
6  Inc.
7 
8  This program is free software: you can redistribute it and/or modify
9  it under the terms of the GNU General Public License as published by
10  the Free Software Foundation, either version 3 of the License, or
11  (at your option) any later version.
12 
13  This program is distributed in the hope that it will be useful,
14  but WITHOUT ANY WARRANTY; without even the implied warranty of
15  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16  GNU General Public License for more details.
17 
18  You should have received a copy of the GNU General Public License
19  along with this program. If not, see <http://www.gnu.org/licenses/>. */
20 
21 /* As a special exception, you may create a larger work that contains
22  part or all of the Bison parser skeleton and distribute that work
23  under terms of your choice, so long as that work isn't itself a
24  parser generator using the skeleton or a modified version thereof
25  as a parser skeleton. Alternatively, if you modify or redistribute
26  the parser skeleton itself, you may (at your option) remove this
27  special exception, which will cause the skeleton and the resulting
28  Bison output files to be licensed under the GNU General Public
29  License without this special exception.
30 
31  This special exception was added by the Free Software Foundation in
32  version 2.2 of Bison. */
33 
34 /* DO NOT RELY ON FEATURES THAT ARE NOT DOCUMENTED in the manual,
35  especially those whose name start with YY_ or yy_. They are
36  private implementation details that can be changed or removed. */
37 
38 #ifndef YY_YYXML_XML_Y_TAB_H_INCLUDED
39 # define YY_YYXML_XML_Y_TAB_H_INCLUDED
40 /* Debug traces. */
41 #ifndef YYDEBUG
42 # define YYDEBUG 0
43 #endif
44 #if YYDEBUG
45 extern int yyxmldebug;
46 #endif
47 
48 /* Token kinds. */
49 #ifndef YYTOKENTYPE
50 # define YYTOKENTYPE
52  {
53  YYEMPTY = -2,
54  YYEOF = 0, /* "end of file" */
55  YYerror = 256, /* error */
56  YYUNDEF = 257, /* "invalid token" */
57  STARTXMLDECL = 258, /* STARTXMLDECL */
58  VERSION = 259, /* VERSION */
59  STARTPI = 260, /* STARTPI */
60  ENDPI = 261, /* ENDPI */
61  EQ = 262, /* EQ */
62  SLASH = 263, /* SLASH */
63  CLOSE = 264, /* CLOSE */
64  END = 265, /* END */
65  ENCODING = 266, /* ENCODING */
66  NAME = 267, /* NAME */
67  VALUE = 268, /* VALUE */
68  DATA = 269, /* DATA */
69  COMMENT = 270, /* COMMENT */
70  START = 271 /* START */
71  };
72  typedef enum yytokentype yytoken_kind_t;
73 #endif
74 
75 /* Value type. */
76 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
77 union YYSTYPE
78 {
79 #line 29 "parser.y"
80 char *s;
81 
82 #line 83 "xml_y.tab.h"
83 
84 };
85 typedef union YYSTYPE YYSTYPE;
86 # define YYSTYPE_IS_TRIVIAL 1
87 # define YYSTYPE_IS_DECLARED 1
88 #endif
89 
90 
91 extern YYSTYPE yyxmllval;
92 
93 int yyxmlparse (void);
94 
95 #endif /* !YY_YYXML_XML_Y_TAB_H_INCLUDED */
YYSTYPE::s
char * s
Definition: xml_y.tab.cpp:172
YYUNDEF
@ YYUNDEF
Definition: xml_y.tab.h:56
yytoken_kind_t
enum yytokentype yytoken_kind_t
Definition: xml_y.tab.h:72
COMMENT
@ COMMENT
Definition: xml_y.tab.h:69
YYEMPTY
@ YYEMPTY
Definition: xml_y.tab.h:53
CLOSE
@ CLOSE
Definition: xml_y.tab.h:63
yyxmlparse
int yyxmlparse(void)
Definition: xml_y.tab.cpp:956
YYEOF
@ YYEOF
Definition: xml_y.tab.h:54
STARTXMLDECL
@ STARTXMLDECL
Definition: xml_y.tab.h:57
VERSION
@ VERSION
Definition: xml_y.tab.h:58
YYSTYPE
Definition: xml_y.tab.cpp:170
yytokentype
yytokentype
Definition: ansi_c_y.tab.h:52
END
@ END
Definition: xml_y.tab.h:64
START
@ START
Definition: xml_y.tab.h:70
NAME
@ NAME
Definition: xml_y.tab.h:66
SLASH
@ SLASH
Definition: xml_y.tab.h:62
DATA
@ DATA
Definition: xml_y.tab.h:68
ENCODING
@ ENCODING
Definition: xml_y.tab.h:65
ENDPI
@ ENDPI
Definition: xml_y.tab.h:60
yyxmllval
YYSTYPE yyxmllval
Definition: xml_y.tab.cpp:944
YYerror
@ YYerror
Definition: xml_y.tab.h:55
EQ
@ EQ
Definition: xml_y.tab.h:61
VALUE
@ VALUE
Definition: xml_y.tab.h:67
STARTPI
@ STARTPI
Definition: xml_y.tab.h:59