trunk/verif/Spin/Src5.1.6/y.tab.h

   1 /* A Bison parser, made by GNU Bison 2.3.  */
   2
   3 /* Skeleton interface for Bison's Yacc-like parsers in C
   4
   5    Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004, 2005, 2006
   6    Free Software Foundation, 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 2, or (at your option)
  11    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, write to the Free Software
  20    Foundation, Inc., 51 Franklin Street, Fifth Floor,
  21    Boston, MA 02110-1301, USA.  */
  22
  23 /* As a special exception, you may create a larger work that contains
  24    part or all of the Bison parser skeleton and distribute that work
  25    under terms of your choice, so long as that work isn't itself a
  26    parser generator using the skeleton or a modified version thereof
  27    as a parser skeleton.  Alternatively, if you modify or redistribute
  28    the parser skeleton itself, you may (at your option) remove this
  29    special exception, which will cause the skeleton and the resulting
  30    Bison output files to be licensed under the GNU General Public
  31    License without this special exception.
  32
  33    This special exception was added by the Free Software Foundation in
  34    version 2.2 of Bison.  */
  35
  36 /* Tokens.  */
  37 #ifndef YYTOKENTYPE
  38 # define YYTOKENTYPE
  39    /* Put the tokens into the symbol table, so that GDB and other debuggers
  40       know about them.  */
  41    enum yytokentype {
  42      ASSERT = 258,
  43      PRINT = 259,
  44      PRINTM = 260,
  45      C_CODE = 261,
  46      C_DECL = 262,
  47      C_EXPR = 263,
  48      C_STATE = 264,
  49      C_TRACK = 265,
  50      RUN = 266,
  51      LEN = 267,
  52      ENABLED = 268,
  53      EVAL = 269,
  54      PC_VAL = 270,
  55      TYPEDEF = 271,
  56      MTYPE = 272,
  57      INLINE = 273,
  58      LABEL = 274,
  59      OF = 275,
  60      GOTO = 276,
  61      BREAK = 277,
  62      ELSE = 278,
  63      SEMI = 279,
  64      IF = 280,
  65      FI = 281,
  66      DO = 282,
  67      OD = 283,
  68      SEP = 284,
  69      ATOMIC = 285,
  70      NON_ATOMIC = 286,
  71      D_STEP = 287,
  72      UNLESS = 288,
  73      TIMEOUT = 289,
  74      NONPROGRESS = 290,
  75      ACTIVE = 291,
  76      PROCTYPE = 292,
  77      D_PROCTYPE = 293,
  78      HIDDEN = 294,
  79      SHOW = 295,
  80      ISLOCAL = 296,
  81      PRIORITY = 297,
  82      PROVIDED = 298,
  83      FULL = 299,
  84      EMPTY = 300,
  85      NFULL = 301,
  86      NEMPTY = 302,
  87      CONST = 303,
  88      TYPE = 304,
  89      XU = 305,
  90      NAME = 306,
  91      UNAME = 307,
  92      PNAME = 308,
  93      INAME = 309,
  94      STRING = 310,
  95      CLAIM = 311,
  96      TRACE = 312,
  97      INIT = 313,
  98      ASGN = 314,
  99      R_RCV = 315,
 100      RCV = 316,
 101      O_SND = 317,
 102      SND = 318,
 103      OR = 319,
 104      AND = 320,
 105      NE = 321,
 106      EQ = 322,
 107      LE = 323,
 108      GE = 324,
 109      LT = 325,
 110      GT = 326,
 111      RSHIFT = 327,
 112      LSHIFT = 328,
 113      DECR = 329,
 114      INCR = 330,
 115      NEG = 331,
 116      UMIN = 332,
 117      DOT = 333
 118    };
 119 #endif
 120 /* Tokens.  */
 121 #define ASSERT 258
 122 #define PRINT 259
 123 #define PRINTM 260
 124 #define C_CODE 261
 125 #define C_DECL 262
 126 #define C_EXPR 263
 127 #define C_STATE 264
 128 #define C_TRACK 265
 129 #define RUN 266
 130 #define LEN 267
 131 #define ENABLED 268
 132 #define EVAL 269
 133 #define PC_VAL 270
 134 #define TYPEDEF 271
 135 #define MTYPE 272
 136 #define INLINE 273
 137 #define LABEL 274
 138 #define OF 275
 139 #define GOTO 276
 140 #define BREAK 277
 141 #define ELSE 278
 142 #define SEMI 279
 143 #define IF 280
 144 #define FI 281
 145 #define DO 282
 146 #define OD 283
 147 #define SEP 284
 148 #define ATOMIC 285
 149 #define NON_ATOMIC 286
 150 #define D_STEP 287
 151 #define UNLESS 288
 152 #define TIMEOUT 289
 153 #define NONPROGRESS 290
 154 #define ACTIVE 291
 155 #define PROCTYPE 292
 156 #define D_PROCTYPE 293
 157 #define HIDDEN 294
 158 #define SHOW 295
 159 #define ISLOCAL 296
 160 #define PRIORITY 297
 161 #define PROVIDED 298
 162 #define FULL 299
 163 #define EMPTY 300
 164 #define NFULL 301
 165 #define NEMPTY 302
 166 #define CONST 303
 167 #define TYPE 304
 168 #define XU 305
 169 #define NAME 306
 170 #define UNAME 307
 171 #define PNAME 308
 172 #define INAME 309
 173 #define STRING 310
 174 #define CLAIM 311
 175 #define TRACE 312
 176 #define INIT 313
 177 #define ASGN 314
 178 #define R_RCV 315
 179 #define RCV 316
 180 #define O_SND 317
 181 #define SND 318
 182 #define OR 319
 183 #define AND 320
 184 #define NE 321
 185 #define EQ 322
 186 #define LE 323
 187 #define GE 324
 188 #define LT 325
 189 #define GT 326
 190 #define RSHIFT 327
 191 #define LSHIFT 328
 192 #define DECR 329
 193 #define INCR 330
 194 #define NEG 331
 195 #define UMIN 332
 196 #define DOT 333
 197
 198
 199
 200
 201 #if ! defined YYSTYPE && ! defined YYSTYPE_IS_DECLARED
 202 typedef int YYSTYPE;
 203 # define yystype YYSTYPE /* obsolescent; will be withdrawn */
 204 # define YYSTYPE_IS_DECLARED 1
 205 # define YYSTYPE_IS_TRIVIAL 1
 206 #endif
 207
 208 extern YYSTYPE yylval;
 209