CompSym.java

//----------------------------------------------------
// The following code was generated by CUP v0.11a beta 20060608
// Tue Nov 08 16:09:13 EST 2011
//----------------------------------------------------

package edu.mit.csail.sdg.alloy4compiler.parser;

/** CUP generated class containing symbol constants. */
public class CompSym {
  /* terminals */
  public static final int AT = 34;
  public static final int AS = 32;
  public static final int ANY_ARROW_SOME = 3;
  public static final int GT = 54;
  public static final int ARROW = 2;
  public static final int NOTLTE = 81;
  public static final int INTSUB = 19;
  public static final int ONE_ARROW_ANY = 10;
  public static final int ONE2 = 82;
  public static final int ENUM = 45;
  public static final int IDEN = 57;
  public static final int SIG = 101;
  public static final int EXH = 48;
  public static final int INTMIN = 23;
  public static final int COMMA = 40;
  public static final int SUM = 109;
  public static final int RBRACE = 92;
  public static final int RPAREN = 94;
  public static final int LONE_ARROW_LONE = 17;
  public static final int RUN = 95;
  public static final int NOTGTE = 78;
  public static final int ALL = 28;
  public static final int LT = 68;
  public static final int INTMUL = 20;
  public static final int LBRACE = 62;
  public static final int SOME_ARROW_ANY = 6;
  public static final int LPAREN = 67;
  public static final int SHR = 99;
  public static final int NOT = 75;
  public static final int TILDE = 111;
  public static final int PART = 86;
  public static final int SHL = 98;
  public static final int NOTEQUALS = 76;
  public static final int STR = 115;
  public static final int SHA = 100;
  public static final int LONE_ARROW_ONE = 16;
  public static final int SOME_ARROW_LONE = 9;
  public static final int INTADD = 18;
  public static final int INTDIV = 21;
  public static final int INTMAX = 24;
  public static final int NUMBER = 114;
  public static final int ABSTRACT = 27;
  public static final int INTNEXT = 25;
  public static final int SLASH = 103;
  public static final int NO2 = 72;
  public static final int TOTALORDER = 26;
  public static final int ONE_ARROW_LONE = 13;
  public static final int NOTIN = 79;
  public static final int UNIV = 112;
  public static final int PLUS = 87;
  public static final int FACT = 51;
  public static final int LONE = 66;
  public static final int ONE = 83;
  public static final int MODULE = 71;
  public static final int EXTENDS = 50;
  public static final int DOMAIN = 42;
  public static final int EXACTLY = 47;
  public static final int NONE = 74;
  public static final int SOME2 = 104;
  public static final int FOR = 52;
  public static final int STAR = 106;
  public static final int LONE_ARROW_SOME = 15;
  public static final int ELSE = 44;
  public static final int FUN = 53;
  public static final int DOT = 43;
  public static final int AMPERSAND = 30;
  public static final int INT = 61;
  public static final int LTE = 69;
  public static final int SIGINT = 102;
  public static final int DISJ = 41;
  public static final int EOF = 0;
  public static final int THIS = 110;
  public static final int INTREM = 22;
  public static final int ANY_ARROW_LONE = 5;
  public static final int BUT = 36;
  public static final int LONE_ARROW_ANY = 14;
  public static final int ALL2 = 29;
  public static final int MINUS = 70;
  public static final int SOME_ARROW_SOME = 7;
  public static final int SUM2 = 108;
  public static final int IN = 60;
  public static final int OR = 85;
  public static final int SET = 97;
  public static final int error = 1;
  public static final int NOTGT = 77;
  public static final int SEQ = 96;
  public static final int GTE = 55;
  public static final int ID = 113;
  public static final int ONE_ARROW_SOME = 11;
  public static final int ONE_ARROW_ONE = 12;
  public static final int COLON = 39;
  public static final int CHECK = 38;
  public static final int ASSERT = 33;
  public static final int SOME = 105;
  public static final int LONE2 = 65;
  public static final int RBRACKET = 93;
  public static final int CARET = 37;
  public static final int EXPECT = 49;
  public static final int PLUSPLUS = 88;
  public static final int STRING = 107;
  public static final int RANGE = 91;
  public static final int NO = 73;
  public static final int SOME_ARROW_ONE = 8;
  public static final int AND = 31;
  public static final int ANY_ARROW_ONE = 4;
  public static final int PRIVATE = 90;
  public static final int OPEN = 84;
  public static final int BAR = 35;
  public static final int NOTLT = 80;
  public static final int IMPLIES = 59;
  public static final int LBRACKET = 63;
  public static final int PRED = 89;
  public static final int LET = 64;
  public static final int IFF = 58;
  public static final int EQUALS = 46;
  public static final int HASH = 56;
}