src/xbt/automaton/parserPromela.tab.hacc

   1 /* A Bison parser, made by GNU Bison 2.7.12-4996.  */
   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 /* Enabling traces.  */
  36 #ifndef YYDEBUG
  37 # define YYDEBUG 0
  38 #endif
  39 #if YYDEBUG
  40 extern int xbt_automaton_parser_debug;
  41 #endif
  42
  43 /* Tokens.  */
  44 #ifndef YYTOKENTYPE
  45 # define YYTOKENTYPE
  46    /* Put the tokens into the symbol table, so that GDB and other debuggers
  47       know about them.  */
  48    enum yytokentype {
  49      NEVER = 258,
  50      IF = 259,
  51      FI = 260,
  52      IMPLIES = 261,
  53      GOTO = 262,
  54      AND = 263,
  55      OR = 264,
  56      NOT = 265,
  57      LEFT_PAR = 266,
  58      RIGHT_PAR = 267,
  59      CASE = 268,
  60      COLON = 269,
  61      SEMI_COLON = 270,
  62      CASE_TRUE = 271,
  63      LEFT_BRACE = 272,
  64      RIGHT_BRACE = 273,
  65      LITT_ENT = 274,
  66      LITT_CHAINE = 275,
  67      LITT_REEL = 276,
  68      ID = 277
  69    };
  70 #endif
  71
  72
  73 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
  74 typedef union YYSTYPE
  75 {
  76 /* Line 2053 of yacc.c  */
  77 #line 10 "parserPromela.yacc"
  78
  79   double real;
  80   int integer;
  81   char* string;
  82   xbt_automaton_exp_label_t label;
  83
  84
  85 /* Line 2053 of yacc.c  */
  86 #line 87 "parserPromela.tab.hacc"
  87 } YYSTYPE;
  88 # define YYSTYPE_IS_TRIVIAL 1
  89 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
  90 # define YYSTYPE_IS_DECLARED 1
  91 #endif
  92
  93 extern YYSTYPE xbt_automaton_parser_lval;
  94
  95 #ifdef YYPARSE_PARAM
  96 #if defined __STDC__ || defined __cplusplus
  97 int xbt_automaton_parser_parse (void *YYPARSE_PARAM);
  98 #else
  99 int xbt_automaton_parser_parse ();
 100 #endif
 101 #else /* ! YYPARSE_PARAM */
 102 #if defined __STDC__ || defined __cplusplus
 103 int xbt_automaton_parser_parse (void);
 104 #else
 105 int xbt_automaton_parser_parse ();
 106 #endif
 107 #endif /* ! YYPARSE_PARAM */
 108
 109 #endif /* !YY_XBT_AUTOMATON_PARSER_PARSERPROMELA_TAB_HACC_INCLUDED  */