Anubis / Anubis

/* A Bison parser, made by GNU Bison 1.875d.  */

/* Skeleton parser for Yacc-like parsing with Bison,
   Copyright (C) 1984, 1989, 1990, 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.

   This program is free software; you can redistribute it and/or modify
   it under the terms of the GNU General Public License as published by
   the Free Software Foundation; either version 2, or (at your option)
   any later version.

   This program is distributed in the hope that it will be useful,
   but WITHOUT ANY WARRANTY; without even the implied warranty of
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
   GNU General Public License for more details.

   You should have received a copy of the GNU General Public License
   along with this program; if not, write to the Free Software
   Foundation, Inc., 59 Temple Place - Suite 330,
   Boston, MA 02111-1307, USA.  */

/* As a special exception, when this file is copied by Bison into a
   Bison output file, you may use that output file without restriction.
   This special exception was added by the Free Software Foundation
   in version 1.24 of Bison.  */

/* Tokens.  */
#ifndef YYTOKENTYPE
# define YYTOKENTYPE
   /* Put the tokens into the symbol table, so that GDB and other debuggers
      know about them.  */
   enum yytokentype {
     yy__if = 258,
     yy__is = 259,
     yy__then = 260,
     yy__type = 261,
     yy__operation = 262,
     yy__variable = 263,
     yy__utvar = 264,
     yy__float = 265,
     yy__alert = 266,
     yy__theorem = 267,
     yy__p_theorem = 268,
     yy__proof = 269,
     yy__read = 270,
     yy__exchange = 271,
     yy__symbol = 272,
     yy__Symbol = 273,
     yy__lpar = 274,
     yy__lbracket = 275,
     yy__dot = 276,
     yy__rbracket = 277,
     yy__comma = 278,
     yy__bit_width = 279,
     yy__semicolon = 280,
     yy__plus = 281,
     yy__minus = 282,
     yy__star = 283,
     yy__carret = 284,
     yy__ampersand = 285,
     yy__vbar = 286,
     yy__equals = 287,
     yy__write = 288,
     yy__percent = 289,
     yy__rbrace = 290,
     yy__lbrace = 291,
     yy__rpar = 292,
     yy__colon = 293,
     yy__implies = 294,
     yy__forall = 295,
     yy__exists = 296,
     yy__exists_unique = 297,
     yy__decimal_digit = 298,
     yy__anb_string = 299,
     yy__type_String = 300,
     yy__type_ByteArray = 301,
     yy__description = 302,
     yy__arrow = 303,
     yy__ndarrow = 304,
     yy__with = 305,
     yy__type_Int32 = 306,
     yy__type_Float = 307,
     yy__type_Listener = 308,
     yy__indirect = 309,
     yy__serialize = 310,
     yy__unserialize = 311,
     yy__vcopy = 312,
     yy__non_equal = 313,
     yy__load_module = 314,
     yy__wait_for = 315,
     yy__delegate = 316,
     yy__tilde = 317,
     yy__type_Omega = 318,
     yy__type_Proof = 319,
     yy__checking_every = 320,
     yy__rpar_arrow = 321,
     yy__rpar_ndarrow = 322,
     yy__dots = 323,
     yy__g_operation = 324,
     yy__less = 325,
     yy__greater = 326,
     yy__lessoreq = 327,
     yy__greateroreq = 328,
     yy__mod = 329,
     yy__slash = 330,
     yy__else = 331,
     yy__RAddr = 332,
     yy__WAddr = 333,
     yy__RWAddr = 334,
     yy__succeeds = 335,
     yy__succeeds_as = 336,
     yy__connect_to_file = 337,
     yy__C_constr_for = 338,
     yy__connect_to_IP = 339,
     yy__GAddr = 340,
     yy__Var = 341,
     yy__MVar = 342,
     yy__StructPtr = 343,
     yy__debug_avm = 344,
     yy__terminal = 345,
     yy__avm = 346,
     yy__left_shift = 347,
     yy__right_shift = 348,
     yy__since = 349,
     yy__p_operation = 350,
     yy__p_type = 351,
     yy__p_variable = 352,
     yy__protect = 353,
     yy__lock = 354,
     yy__alt_number = 355,
     yy__config_file = 356,
     yy__verbose = 357,
     yy__stop_after = 358,
     yy__mapsto = 359,
     yy__rec_mapsto = 360,
     yy__language = 361,
     yy__mapstoo = 362,
     yy__rec_mapstoo = 363,
     yy__arroww = 364,
     yy__djed = 365,
     yy__conf_int = 366,
     yy__conf_string = 367,
     yy__conf_symbol = 368,
     yy__we_have = 369,
     yy__enough = 370,
     yy__let = 371,
     yy__assume = 372,
     yy__indeed = 373,
     yy__hence = 374,
     yy__integer = 375,
     yy__char = 376,
     prec_symbol = 377,
     prec_par_term = 378,
     prec_of_type = 379,
     prec_sym_type = 380,
     unaryminus = 381
   };
#endif
#define yy__if 258
#define yy__is 259
#define yy__then 260
#define yy__type 261
#define yy__operation 262
#define yy__variable 263
#define yy__utvar 264
#define yy__float 265
#define yy__alert 266
#define yy__theorem 267
#define yy__p_theorem 268
#define yy__proof 269
#define yy__read 270
#define yy__exchange 271
#define yy__symbol 272
#define yy__Symbol 273
#define yy__lpar 274
#define yy__lbracket 275
#define yy__dot 276
#define yy__rbracket 277
#define yy__comma 278
#define yy__bit_width 279
#define yy__semicolon 280
#define yy__plus 281
#define yy__minus 282
#define yy__star 283
#define yy__carret 284
#define yy__ampersand 285
#define yy__vbar 286
#define yy__equals 287
#define yy__write 288
#define yy__percent 289
#define yy__rbrace 290
#define yy__lbrace 291
#define yy__rpar 292
#define yy__colon 293
#define yy__implies 294
#define yy__forall 295
#define yy__exists 296
#define yy__exists_unique 297
#define yy__decimal_digit 298
#define yy__anb_string 299
#define yy__type_String 300
#define yy__type_ByteArray 301
#define yy__description 302
#define yy__arrow 303
#define yy__ndarrow 304
#define yy__with 305
#define yy__type_Int32 306
#define yy__type_Float 307
#define yy__type_Listener 308
#define yy__indirect 309
#define yy__serialize 310
#define yy__unserialize 311
#define yy__vcopy 312
#define yy__non_equal 313
#define yy__load_module 314
#define yy__wait_for 315
#define yy__delegate 316
#define yy__tilde 317
#define yy__type_Omega 318
#define yy__type_Proof 319
#define yy__checking_every 320
#define yy__rpar_arrow 321
#define yy__rpar_ndarrow 322
#define yy__dots 323
#define yy__g_operation 324
#define yy__less 325
#define yy__greater 326
#define yy__lessoreq 327
#define yy__greateroreq 328
#define yy__mod 329
#define yy__slash 330
#define yy__else 331
#define yy__RAddr 332
#define yy__WAddr 333
#define yy__RWAddr 334
#define yy__succeeds 335
#define yy__succeeds_as 336
#define yy__connect_to_file 337
#define yy__C_constr_for 338
#define yy__connect_to_IP 339
#define yy__GAddr 340
#define yy__Var 341
#define yy__MVar 342
#define yy__StructPtr 343
#define yy__debug_avm 344
#define yy__terminal 345
#define yy__avm 346
#define yy__left_shift 347
#define yy__right_shift 348
#define yy__since 349
#define yy__p_operation 350
#define yy__p_type 351
#define yy__p_variable 352
#define yy__protect 353
#define yy__lock 354
#define yy__alt_number 355
#define yy__config_file 356
#define yy__verbose 357
#define yy__stop_after 358
#define yy__mapsto 359
#define yy__rec_mapsto 360
#define yy__language 361
#define yy__mapstoo 362
#define yy__rec_mapstoo 363
#define yy__arroww 364
#define yy__djed 365
#define yy__conf_int 366
#define yy__conf_string 367
#define yy__conf_symbol 368
#define yy__we_have 369
#define yy__enough 370
#define yy__let 371
#define yy__assume 372
#define yy__indeed 373
#define yy__hence 374
#define yy__integer 375
#define yy__char 376
#define prec_symbol 377
#define prec_par_term 378
#define prec_of_type 379
#define prec_sym_type 380
#define unaryminus 381




#if ! defined (YYSTYPE) && ! defined (YYSTYPE_IS_DECLARED)

typedef union YYSTYPE {
  Expr   expr; 
  int integer; 
       } YYSTYPE;
/* Line 1285 of yacc.c.  */

# define yystype YYSTYPE /* obsolescent; will be withdrawn */
# define YYSTYPE_IS_DECLARED 1
# define YYSTYPE_IS_TRIVIAL 1
#endif

extern YYSTYPE yylval;