cprover
json_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_YYJSON_JSON_Y_TAB_H_INCLUDED
39 # define YY_YYJSON_JSON_Y_TAB_H_INCLUDED
40 /* Debug traces. */
41 #ifndef YYDEBUG
42 # define YYDEBUG 0
43 #endif
44 #if YYDEBUG
45 extern int yyjsondebug;
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  TOK_STRING = 258, /* TOK_STRING */
58  TOK_NUMBER = 259, /* TOK_NUMBER */
59  TOK_TRUE = 260, /* TOK_TRUE */
60  TOK_FALSE = 261, /* TOK_FALSE */
61  TOK_NULL = 262 /* TOK_NULL */
62  };
63  typedef enum yytokentype yytoken_kind_t;
64 #endif
65 
66 /* Value type. */
67 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
68 typedef int YYSTYPE;
69 # define YYSTYPE_IS_TRIVIAL 1
70 # define YYSTYPE_IS_DECLARED 1
71 #endif
72 
73 
74 extern YYSTYPE yyjsonlval;
75 
76 int yyjsonparse (void);
77 
78 #endif /* !YY_YYJSON_JSON_Y_TAB_H_INCLUDED */
TOK_STRING
@ TOK_STRING
Definition: json_y.tab.h:57
YYEOF
@ YYEOF
Definition: json_y.tab.h:54
YYSTYPE
Definition: xml_y.tab.cpp:170
yyjsonparse
int yyjsonparse(void)
Definition: json_y.tab.cpp:981
yytokentype
yytokentype
Definition: ansi_c_y.tab.h:52
yytoken_kind_t
enum yytokentype yytoken_kind_t
Definition: json_y.tab.h:63
YYerror
@ YYerror
Definition: json_y.tab.h:55
TOK_NULL
@ TOK_NULL
Definition: json_y.tab.h:61
YYUNDEF
@ YYUNDEF
Definition: json_y.tab.h:56
YYEMPTY
@ YYEMPTY
Definition: json_y.tab.h:53
TOK_FALSE
@ TOK_FALSE
Definition: json_y.tab.h:60
TOK_NUMBER
@ TOK_NUMBER
Definition: json_y.tab.h:58
yyjsonlval
YYSTYPE yyjsonlval
Definition: json_y.tab.cpp:969
YYSTYPE
int YYSTYPE
Definition: json_y.tab.h:68
TOK_TRUE
@ TOK_TRUE
Definition: json_y.tab.h:59