//----------------------------------------------------
// The following code was generated by CUP v0.10f
// Wed Feb 25 15:37:53 CST 2004
//----------------------------------------------------

/** Cup generated class containing symbol constants. */
public class Symbol {
  /* terminals */
  static final int COLON = 4;
  static final int EOF = 0;
  static final int METANOTION = 13;
  static final int DOT = 6;
  static final int PROTONOTION = 12;
  static final int error = 1;
  static final int COMMA = 5;
  static final int EXTENDS = 11;
  static final int RPAREN = 8;
  static final int SEMICOLON = 2;
  static final int DOUCOLON = 3;
  static final int END = 10;
  static final int LPAREN = 7;
  static final int CLASS = 9;
}