src/xbt/automaton/parserPromela.tab.hacc

   1 /* A Bison parser, made by GNU Bison 3.0.2.  */
   2
   3 /* Bison interface for Yacc-like parsers in C
   4
   5    Copyright (C) 1984, 1989-1990, 2000-2013 Free Software Foundation, Inc.
   6
   7    This program is free software: you can redistribute it and/or modify
   8    it under the terms of the GNU General Public License as published by
   9    the Free Software Foundation, either version 3 of the License, or
  10    (at your option) any later version.
  11
  12    This program is distributed in the hope that it will be useful,
  13    but WITHOUT ANY WARRANTY; without even the implied warranty of
  14    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15    GNU General Public License for more details.
  16
  17    You should have received a copy of the GNU General Public License
  18    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
  19
  20 /* As a special exception, you may create a larger work that contains
  21    part or all of the Bison parser skeleton and distribute that work
  22    under terms of your choice, so long as that work isn't itself a
  23    parser generator using the skeleton or a modified version thereof
  24    as a parser skeleton.  Alternatively, if you modify or redistribute
  25    the parser skeleton itself, you may (at your option) remove this
  26    special exception, which will cause the skeleton and the resulting
  27    Bison output files to be licensed under the GNU General Public
  28    License without this special exception.
  29
  30    This special exception was added by the Free Software Foundation in
  31    version 2.2 of Bison.  */
  32
  33 #ifndef YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED
  34 # define YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED
  35 /* Debug traces.  */
  36 #ifndef YYDEBUG
  37 # define YYDEBUG 0
  38 #endif
  39 #if YYDEBUG
  40 extern int xbt_automaton_parser_debug;
  41 #endif
  42
  43 /* Token type.  */
  44 #ifndef YYTOKENTYPE
  45 # define YYTOKENTYPE
  46   enum yytokentype
  47   {
  48     NEVER = 258,
  49     IF = 259,
  50     FI = 260,
  51     IMPLIES = 261,
  52     GOTO = 262,
  53     AND = 263,
  54     OR = 264,
  55     NOT = 265,
  56     LEFT_PAR = 266,
  57     RIGHT_PAR = 267,
  58     CASE = 268,
  59     COLON = 269,
  60     SEMI_COLON = 270,
  61     CASE_TRUE = 271,
  62     LEFT_BRACE = 272,
  63     RIGHT_BRACE = 273,
  64     LITT_ENT = 274,
  65     LITT_CHAINE = 275,
  66     LITT_REEL = 276,
  67     ID = 277
  68   };
  69 #endif
  70
  71 /* Value type.  */
  72 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
  73 typedef union YYSTYPE YYSTYPE;
  74 union YYSTYPE
  75 {
  76 #line 16 "parserPromela.yacc" /* yacc.c:1909  */
  77
  78   double real;
  79   int integer;
  80   char* string;
  81   xbt_automaton_exp_label_t label;
  82
  83 #line 84 "parserPromela.tab.hacc" /* yacc.c:1909  */
  84 };
  85 # define YYSTYPE_IS_TRIVIAL 1
  86 # define YYSTYPE_IS_DECLARED 1
  87 #endif
  88
  89
  90 extern YYSTYPE xbt_automaton_parser_lval;
  91
  92 int xbt_automaton_parser_parse (void);
  93
  94 #endif /* !YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED  */