sym.java Source File

00001 package edu.ksu.cis.bandera.abstraction.pvs;
00002 
00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00004  * Bandera, a Java(TM) analysis and transformation toolkit           *
00005  * Copyright (C) 1998-2001 SAnToS Laboratories (santos@cis.ksu.edu)  *
00006 
00007  * All rights reserved.                                              *
00008  *                                                                   *
00009  * This work was done as a project in the SAnToS Laboratory,         *
00010  * Department of Computing and Information Sciences, Kansas State    *
00011  * University, USA (http://www.cis.ksu.edu/santos).                  *
00012  * It is understood that any modification not identified as such is  *
00013  * not covered by the preceding statement.                           *
00014  *                                                                   *
00015  * This work is free software; you can redistribute it and/or        *
00016  * modify it under the terms of the GNU Library General Public       *
00017  * License as published by the Free Software Foundation; either      *
00018  * version 2 of the License, or (at your option) any later version.  *
00019  *                                                                   *
00020  * This work is distributed in the hope that it will be useful,      *
00021  * but WITHOUT ANY WARRANTY; without even the implied warranty of    *
00022  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU *
00023  * Library General Public License for more details.                  *
00024  *                                                                   *
00025  * You should have received a copy of the GNU Library General Public *
00026  * License along with this toolkit; if not, write to the             *
00027  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
00028  * Boston, MA  02111-1307, USA.                                      *
00029  *                                                                   *
00030  * Java is a trademark of Sun Microsystems, Inc.                     *
00031  *                                                                   *
00032  * To submit a bug report, send a comment, or get the latest news on *
00033  * this project and other SAnToS projects, please visit the web-site *
00034  *                http://www.cis.ksu.edu/santos                      *
00035  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00036 //----------------------------------------------------
00037 // The following code was generated by CUP v0.10k
00038 // Fri Sep 29 14:44:06 CDT 2000
00039 //----------------------------------------------------
00040 
00041 /** CUP generated class containing symbol constants. */
00042 public class sym {
00043   /* terminals */
00044   public static final int EQ = 11;
00045   public static final int BEGIN = 21;
00046   public static final int EXTENDS = 25;
00047   public static final int PLUS = 3;
00048   public static final int MINUS = 4;
00049   public static final int GT = 15;
00050   public static final int NE = 10;
00051   public static final int TIMES = 5;
00052   public static final int NUMBER = 33;
00053   public static final int SEMI = 2;
00054   public static final int LBRACE = 31;
00055   public static final int ABSTRACTION = 24;
00056   public static final int MOD = 7;
00057   public static final int EQUAL = 29;
00058   public static final int COMMA = 32;
00059   public static final int LPAREN = 18;
00060   public static final int FLOAT = 27;
00061   public static final int GE = 13;
00062   public static final int EOF = 0;
00063   public static final int ABSTRACT = 23;
00064   public static final int error = 1;
00065   public static final int INT = 26;
00066   public static final int ARROW = 17;
00067   public static final int DIV = 6;
00068   public static final int UMINUS = 20;
00069   public static final int NOT = 16;
00070   public static final int RBRACE = 30;
00071   public static final int RPAREN = 19;
00072   public static final int LT = 14;
00073   public static final int END = 22;
00074   public static final int ID = 34;
00075   public static final int AND = 8;
00076   public static final int OR = 9;
00077   public static final int LE = 12;
00078   public static final int TOKENS = 28;
00079 }