cprover
xml_y.tab.h
Go to the documentation of this file.
1 /* A Bison parser, made by GNU Bison 3.5. */
2 
3 /* Bison interface for Yacc-like parsers in C
4 
5  Copyright (C) 1984, 1989-1990, 2000-2015, 2018-2019 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 /* Undocumented macros, especially those whose name start with YY_,
35  are private implementation details. Do not rely on them. */
36 
37 #ifndef YY_YYXML_XML_Y_TAB_HPP_INCLUDED
38 # define YY_YYXML_XML_Y_TAB_HPP_INCLUDED
39 /* Debug traces. */
40 #ifndef YYDEBUG
41 # define YYDEBUG 0
42 #endif
43 #if YYDEBUG
44 extern int yyxmldebug;
45 #endif
46 
47 /* Token type. */
48 #ifndef YYTOKENTYPE
49 # define YYTOKENTYPE
51  {
52  STARTXMLDECL = 258,
53  VERSION = 259,
54  STARTPI = 260,
55  ENDPI = 261,
56  EQ = 262,
57  SLASH = 263,
58  CLOSE = 264,
59  END = 265,
60  ENCODING = 266,
61  NAME = 267,
62  VALUE = 268,
63  DATA = 269,
64  COMMENT = 270,
65  START = 271
66  };
67 #endif
68 /* Tokens. */
69 #define STARTXMLDECL 258
70 #define VERSION 259
71 #define STARTPI 260
72 #define ENDPI 261
73 #define EQ 262
74 #define SLASH 263
75 #define CLOSE 264
76 #define END 265
77 #define ENCODING 266
78 #define NAME 267
79 #define VALUE 268
80 #define DATA 269
81 #define COMMENT 270
82 #define START 271
83 
84 /* Value type. */
85 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
86 union YYSTYPE
87 {
88 #line 19 "parser.y"
89 char *s;
90 
91 #line 92 "xml_y.tab.hpp"
92 
93 };
94 typedef union YYSTYPE YYSTYPE;
95 # define YYSTYPE_IS_TRIVIAL 1
96 # define YYSTYPE_IS_DECLARED 1
97 #endif
98 
99 
100 extern YYSTYPE yyxmllval;
101 
102 int yyxmlparse (void);
103 
104 #endif /* !YY_YYXML_XML_Y_TAB_HPP_INCLUDED */
DATA
#define DATA
Definition: xml_y.tab.h:80
YYSTYPE::s
char * s
Definition: xml_y.tab.cpp:177
START
#define START
Definition: xml_y.tab.h:82
CLOSE
#define CLOSE
Definition: xml_y.tab.h:75
yyxmlparse
int yyxmlparse(void)
Definition: xml_y.tab.cpp:1128
VALUE
#define VALUE
Definition: xml_y.tab.h:79
END
#define END
Definition: xml_y.tab.h:76
SLASH
#define SLASH
Definition: xml_y.tab.h:74
NAME
#define NAME
Definition: xml_y.tab.h:78
STARTXMLDECL
#define STARTXMLDECL
Definition: xml_y.tab.h:69
YYSTYPE
Definition: xml_y.tab.cpp:174
EQ
#define EQ
Definition: xml_y.tab.h:73
ENCODING
#define ENCODING
Definition: xml_y.tab.h:77
STARTPI
#define STARTPI
Definition: xml_y.tab.h:71
COMMENT
#define COMMENT
Definition: xml_y.tab.h:81
yytokentype
yytokentype
Definition: ansi_c_y.tab.h:50
VERSION
#define VERSION
Definition: xml_y.tab.h:70
ENDPI
#define ENDPI
Definition: xml_y.tab.h:72
yyxmllval
YYSTYPE yyxmllval
Definition: xml_y.tab.cpp:1118