src/xbt/automaton/parserPromela.tab.hacc

   1 /* A Bison parser, made by GNU Bison 2.5.  */
   2
   3 /* Bison interface for Yacc-like parsers in C
   4
   5       Copyright (C) 1984, 1989-1990, 2000-2011 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
  34 /* Tokens.  */
  35 #ifndef YYTOKENTYPE
  36 # define YYTOKENTYPE
  37    /* Put the tokens into the symbol table, so that GDB and other debuggers
  38       know about them.  */
  39    enum yytokentype {
  40      NEVER = 258,
  41      IF = 259,
  42      FI = 260,
  43      IMPLIES = 261,
  44      GOTO = 262,
  45      AND = 263,
  46      OR = 264,
  47      NOT = 265,
  48      LEFT_PAR = 266,
  49      RIGHT_PAR = 267,
  50      CASE = 268,
  51      COLON = 269,
  52      SEMI_COLON = 270,
  53      CASE_TRUE = 271,
  54      LEFT_BRACE = 272,
  55      RIGHT_BRACE = 273,
  56      LITT_ENT = 274,
  57      LITT_CHAINE = 275,
  58      LITT_REEL = 276,
  59      ID = 277
  60    };
  61 #endif
  62
  63
  64
  65 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
  66 typedef union YYSTYPE
  67 {
  68
  69 /* Line 2068 of yacc.c  */
  70 #line 10 "parserPromela.yacc"
  71
  72   double real;
  73   int integer;
  74   char* string;
  75   xbt_exp_label_t label;
  76
  77
  78
  79 /* Line 2068 of yacc.c  */
  80 #line 81 "parserPromela.tab.hacc"
  81 } YYSTYPE;
  82 # define YYSTYPE_IS_TRIVIAL 1
  83 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
  84 # define YYSTYPE_IS_DECLARED 1
  85 #endif
  86
  87 extern YYSTYPE xbt_automaton_parser_lval;
  88
  89