/* Generated By:JavaCC: Do not edit this line. TheParser.java */
package gen;

import edu.neu.ccs.demeterf.lib.*;
import edu.neu.ccs.demeterf.*;
import edu.neu.ccs.demeterf.Fields;
import edu.neu.ccs.demeterf.lib.ident;
import edu.neu.ccs.demeterf.lib.verbatim;

  public class TheParser implements TheParserConstants {

   public static String unescape(String str){
      String retval = "";
      int index = 0;
      char ch, ch1;
      int ordinal = 0;
      while (index < str.length()) {
         if(str.charAt(index) != '\\') { retval += str.charAt(index++); continue; }
         ch = str.charAt(++index);
         if(ch == 'b') { retval += '\b'; index++; continue; }
         if(ch == 't') { retval += '\t'; index++; continue; }
         if(ch == 'n') { retval += '\n'; index++; continue; }
         if(ch == 'f') { retval += '\f'; index++; continue; }
         if(ch == 'r') { retval += '\r'; index++; continue; }
         if(ch == '"') { retval += '\"'; index++; continue; }
         if(ch == '\'') { retval += '\''; index++; continue; }
         if(ch == '\\') { retval += '\\'; index++; continue; }
         if(ch >= '0' && ch <= '7'){
            ordinal = ((int)ch) - ((int)'0'); index++;
            ch1 = str.charAt(index);
            if(ch1 >= '0' && ch1 <= '7'){
               ordinal = ordinal*8 + ((int)ch1) - ((int)'0'); index++;
               ch1 = str.charAt(index);
               if(ch <= '3' && ch1 >= '0' && ch1 <= '7'){
                  ordinal = ordinal*8 + ((int)ch1) - ((int)'0'); index++;
               }
            }
            retval += (char)ordinal;
            continue;
         }
         if(ch == 'u'){
            ordinal = 0;
            for(int i = 0; i < 4; i++){
               index++; ch = str.charAt(index);
               ordinal = ordinal*16+hexval(ch);
            }
            index++;
            retval += (char)ordinal;
            continue;
         }
      }
      return retval;
   }
   static int hexval(char c){
      int r = "0123456789ABCDEF".indexOf(Character.toUpperCase(c));
      if(r >= 0)return r;
      throw new RuntimeException(" ** Bad Escaped Character");
   }

  final public byte parse_byte() throws ParseException {
                    int i;
    i = parse_int();
                      {if (true) return (byte)i;}
    throw new Error("Missing return statement in function");
  }

  final public Byte parse_Byte() throws ParseException {
                    byte b;
    b = parse_byte();
                       {if (true) return b;}
    throw new Error("Missing return statement in function");
  }

  final public short parse_short() throws ParseException {
                      int i;
    i = parse_int();
                      {if (true) return (short)i;}
    throw new Error("Missing return statement in function");
  }

  final public Short parse_Short() throws ParseException {
                      short s;
    s = parse_short();
                        {if (true) return s;}
    throw new Error("Missing return statement in function");
  }

  final public int parse_int() throws ParseException {
                  Token t;
    t = jj_consume_token(INT);
      if(t.image.length() > 1 && Character.toLowerCase(t.image.charAt(1)) == 'x')
          {if (true) return Integer.parseInt(t.image.substring(2), 16);}
      {if (true) return Integer.parseInt(t.image);}
    throw new Error("Missing return statement in function");
  }

  final public Integer parse_Integer() throws ParseException {
                          int i;
    i = parse_int();
                      {if (true) return i;}
    throw new Error("Missing return statement in function");
  }

  final public long parse_long() throws ParseException {
                    Token t;
    t = jj_consume_token(INT);
      if(t.image.length() > 1 && Character.toLowerCase(t.image.charAt(1)) == 'x')
          {if (true) return Long.parseLong(t.image.substring(2), 16);}
    {if (true) return Long.parseLong(t.image);}
    throw new Error("Missing return statement in function");
  }

  final public Long parse_Long() throws ParseException {
                    long l;
    l = parse_long();
                       {if (true) return l;}
    throw new Error("Missing return statement in function");
  }

  final public double parse_double() throws ParseException {
                        Token t;
    t = jj_consume_token(DOUBLE);
      {if (true) return Double.parseDouble(t.image);}
    throw new Error("Missing return statement in function");
  }

  final public Double parse_Double() throws ParseException {
                        double d;
    d = parse_double();
                         {if (true) return d;}
    throw new Error("Missing return statement in function");
  }

  final public float parse_float() throws ParseException {
                      Token t;
    t = jj_consume_token(DOUBLE);
      {if (true) return Float.parseFloat(t.image);}
    throw new Error("Missing return statement in function");
  }

  final public Float parse_Float() throws ParseException {
                      float f;
    f = parse_float();
                        {if (true) return f;}
    throw new Error("Missing return statement in function");
  }

  final public String parse_String() throws ParseException {
                        Token t;
    t = jj_consume_token(STRING);
      {if (true) return unescape(t.image.substring(1,t.image.length()-1));}
    throw new Error("Missing return statement in function");
  }

  final public boolean parse_boolean() throws ParseException {
                          Token t;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case TRUE:
      t = jj_consume_token(TRUE);
                 {if (true) return true;}
      break;
    case FALSE:
      t = jj_consume_token(FALSE);
                  {if (true) return false;}
      break;
    default:
      jj_la1[0] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
    throw new Error("Missing return statement in function");
  }

  final public Boolean parse_Boolean() throws ParseException {
                          boolean b;
    b = parse_boolean();
                          {if (true) return b;}
    throw new Error("Missing return statement in function");
  }

  final public char parse_char() throws ParseException {
                    Token t;
    t = jj_consume_token(CHAR);
      {if (true) return unescape(t.image.substring(1,t.image.length()-1)).charAt(0);}
    throw new Error("Missing return statement in function");
  }

  final public Character parse_Character() throws ParseException {
                              char c;
    c = parse_char();
                       {if (true) return c;}
    throw new Error("Missing return statement in function");
  }

  final public ident parse_ident() throws ParseException {
                      Token t;
    t = jj_consume_token(IDENT);
      {if (true) return new ident(t.image);}
    throw new Error("Missing return statement in function");
  }

  final public verbatim parse_verbatim() throws ParseException {
                            Token t;
    t = jj_consume_token(TEXT);
      {if (true) return new verbatim(t.image.substring(2,t.image.length()-2));}
    throw new Error("Missing return statement in function");
  }

  final public Domain parse_Domain() throws ParseException {
     Instance p;
     Solution s;
     ValidPredicate valid;
     QualityFunction quality;
    p = parse_Instance();
    s = parse_Solution();
    valid = parse_ValidPredicate();
    quality = parse_QualityFunction();
      {if (true) return new Domain(p,s,valid,quality);}
    throw new Error("Missing return statement in function");
  }

  final public Instance parse_Instance() throws ParseException {
     ClassDictionary cd;
    cd = parse_ClassDictionary();
      {if (true) return new Instance(cd);}
    throw new Error("Missing return statement in function");
  }

  final public Solution parse_Solution() throws ParseException {
     ClassDictionary cd;
    cd = parse_ClassDictionary();
      {if (true) return new Solution(cd);}
    throw new Error("Missing return statement in function");
  }

  final public ValidPredicate parse_ValidPredicate() throws ParseException {
     ValidBody body;
    body = parse_ValidBody();
      {if (true) return new ValidPredicate(body);}
    throw new Error("Missing return statement in function");
  }

  final public QualityFunction parse_QualityFunction() throws ParseException {
     QualityBody body;
    body = parse_QualityBody();
      {if (true) return new QualityFunction(body);}
    throw new Error("Missing return statement in function");
  }

  final public Claim parse_Claim() throws ParseException {
     Domain d;
     ClassDictionary cd;
     InstancePredicate setOfInstances;
     ProtocolDefinition protocol;
    d = parse_Domain();
    cd = parse_ClassDictionary();
    setOfInstances = parse_InstancePredicate();
    protocol = parse_ProtocolDefinition();
      {if (true) return new Claim(d,cd,setOfInstances,protocol);}
    throw new Error("Missing return statement in function");
  }

  final public InstancePredicate parse_InstancePredicate() throws ParseException {
     PredicateBody body;
    body = parse_PredicateBody();
      {if (true) return new InstancePredicate(body);}
    throw new Error("Missing return statement in function");
  }

  final public ValidBody parse_ValidBody() throws ParseException {
     JavaCode v;
    v = parse_JavaCode();
      {if (true) return new ValidBody(v);}
    throw new Error("Missing return statement in function");
  }

  final public QualityBody parse_QualityBody() throws ParseException {
     JavaCode v;
    v = parse_JavaCode();
      {if (true) return new QualityBody(v);}
    throw new Error("Missing return statement in function");
  }

  final public PredicateBody parse_PredicateBody() throws ParseException {
     JavaCode v;
    v = parse_JavaCode();
      {if (true) return new PredicateBody(v);}
    throw new Error("Missing return statement in function");
  }

  final public InstanceId parse_InstanceId() throws ParseException {
     ident v;
    v = parse_ident();
      {if (true) return new InstanceId(v);}
    throw new Error("Missing return statement in function");
  }

  final public InstanceStructure parse_InstanceStructure() throws ParseException {
      {if (true) return new InstanceStructure();}
    throw new Error("Missing return statement in function");
  }

  final public SolutionStructure parse_SolutionStructure() throws ParseException {
      {if (true) return new SolutionStructure();}
    throw new Error("Missing return statement in function");
  }

  final public ClassDictionary parse_ClassDictionary() throws ParseException {
     verbatim v;
    v = parse_verbatim();
      {if (true) return new ClassDictionary(v);}
    throw new Error("Missing return statement in function");
  }

  final public ProtocolTest parse_ProtocolTest() throws ParseException {
     List<ProtocolDefinition> ps;
    ps = parse_List$ProtocolDefinition$();
    jj_consume_token(0);
      {if (true) return new ProtocolTest(ps);}
    throw new Error("Missing return statement in function");
  }

  final public ProtocolDefinition parse_ProtocolDefinition() throws ParseException {
     ProtocolName pn;
     Option<ClaimSetName> claimSetName;
     List<VariableDeclaration> variableDeclarations;
     List<ProtocolStep> protocolSteps;
     Predicate predicate;
    jj_consume_token(1);
    pn = parse_ProtocolName();
    claimSetName = parse_Option$ClaimSetName$();
    jj_consume_token(2);
    variableDeclarations = parse_List$VariableDeclaration$();
    protocolSteps = parse_List$ProtocolStep$();
    jj_consume_token(3);
    predicate = parse_Predicate();
      {if (true) return new ProtocolDefinition(pn,claimSetName,variableDeclarations,protocolSteps,predicate);}
    throw new Error("Missing return statement in function");
  }

  final public ProtocolStep parse_ProtocolStep() throws ParseException {
     StepName stepName;
     ScholarName scholar;
     List<VariableBinding> variableBindings;
    jj_consume_token(4);
    stepName = parse_StepName();
    scholar = parse_ScholarName();
    variableBindings = parse_List$VariableBinding$();
      {if (true) return new ProtocolStep(stepName,scholar,variableBindings);}
    throw new Error("Missing return statement in function");
  }

  final public VariableBinding parse_VariableBinding() throws ParseException {
    VariableBinding sup = null;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 5:
      sup = parse_SecretBinding();
                                  {if (true) return sup;}
      break;
    case IDENT:
      sup = parse_RegularBinding();
                                   {if (true) return sup;}
      break;
    default:
      jj_la1[1] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
    throw new Error("Missing return statement in function");
  }

  final public VariableDeclaration parse_VariableDeclaration() throws ParseException {
     VariableType variableType;
     VariableName variableName;
    variableType = parse_VariableType();
    variableName = parse_VariableName();
      {if (true) return new VariableDeclaration(variableType,variableName);}
    throw new Error("Missing return statement in function");
  }

  final public Predicate parse_Predicate() throws ParseException {
     List<VariableName> args;
     JavaCode code;
    args = parse_List$VariableName$();
    code = parse_JavaCode();
      {if (true) return new Predicate(args,code);}
    throw new Error("Missing return statement in function");
  }

  final public SecretBinding parse_SecretBinding() throws ParseException {
     StepName sn;
     VariableName varName;
    jj_consume_token(5);
    jj_consume_token(6);
    sn = parse_StepName();
    varName = parse_VariableName();
      {if (true) return new SecretBinding(sn,varName);}
    throw new Error("Missing return statement in function");
  }

  final public RegularBinding parse_RegularBinding() throws ParseException {
     VariableName varName;
    varName = parse_VariableName();
      {if (true) return new RegularBinding(varName);}
    throw new Error("Missing return statement in function");
  }

  final public ProtocolName parse_ProtocolName() throws ParseException {
     ident v;
    v = parse_ident();
      {if (true) return new ProtocolName(v);}
    throw new Error("Missing return statement in function");
  }

  final public StepName parse_StepName() throws ParseException {
     ident v;
    v = parse_ident();
      {if (true) return new StepName(v);}
    throw new Error("Missing return statement in function");
  }

  final public VariableName parse_VariableName() throws ParseException {
     ident v;
    v = parse_ident();
      {if (true) return new VariableName(v);}
    throw new Error("Missing return statement in function");
  }

  final public VariableType parse_VariableType() throws ParseException {
     ident v;
    v = parse_ident();
      {if (true) return new VariableType(v);}
    throw new Error("Missing return statement in function");
  }

  final public JavaCode parse_JavaCode() throws ParseException {
     verbatim v;
    v = parse_verbatim();
      {if (true) return new JavaCode(v);}
    throw new Error("Missing return statement in function");
  }

  final public ScholarName parse_ScholarName() throws ParseException {
     ident v;
    v = parse_ident();
      {if (true) return new ScholarName(v);}
    throw new Error("Missing return statement in function");
  }

  final public ClaimSetName parse_ClaimSetName() throws ParseException {
     ident v;
    jj_consume_token(7);
    jj_consume_token(8);
    jj_consume_token(9);
    v = parse_ident();
      {if (true) return new ClaimSetName(v);}
    throw new Error("Missing return statement in function");
  }

  final public List<VariableName> parse_List$VariableName$() throws ParseException {
    List<VariableName> sup = null;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IDENT:
      sup = parse_Cons$VariableName$();
                                       {if (true) return sup;}
      break;
    default:
      jj_la1[2] = jj_gen;
      sup = parse_Empty$VariableName$();
                                        {if (true) return sup;}
    }
    throw new Error("Missing return statement in function");
  }

  final public Empty<VariableName> parse_Empty$VariableName$() throws ParseException {
      {if (true) return new Empty<VariableName>();}
    throw new Error("Missing return statement in function");
  }

  final public Cons<VariableName> parse_Cons$VariableName$() throws ParseException {
     VariableName first;
     List<VariableName> rest;
    first = parse_VariableName();
    rest = parse_List$VariableName$();
      {if (true) return new Cons<VariableName>(first,rest);}
    throw new Error("Missing return statement in function");
  }

  final public List<VariableBinding> parse_List$VariableBinding$() throws ParseException {
    List<VariableBinding> sup = null;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 5:
    case IDENT:
      sup = parse_Cons$VariableBinding$();
                                          {if (true) return sup;}
      break;
    default:
      jj_la1[3] = jj_gen;
      sup = parse_Empty$VariableBinding$();
                                           {if (true) return sup;}
    }
    throw new Error("Missing return statement in function");
  }

  final public Empty<VariableBinding> parse_Empty$VariableBinding$() throws ParseException {
      {if (true) return new Empty<VariableBinding>();}
    throw new Error("Missing return statement in function");
  }

  final public Cons<VariableBinding> parse_Cons$VariableBinding$() throws ParseException {
     VariableBinding first;
     List<VariableBinding> rest;
    first = parse_VariableBinding();
    rest = parse_List$VariableBinding$();
      {if (true) return new Cons<VariableBinding>(first,rest);}
    throw new Error("Missing return statement in function");
  }

  final public List<ProtocolStep> parse_List$ProtocolStep$() throws ParseException {
    List<ProtocolStep> sup = null;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 4:
      sup = parse_Cons$ProtocolStep$();
                                       {if (true) return sup;}
      break;
    default:
      jj_la1[4] = jj_gen;
      sup = parse_Empty$ProtocolStep$();
                                        {if (true) return sup;}
    }
    throw new Error("Missing return statement in function");
  }

  final public Empty<ProtocolStep> parse_Empty$ProtocolStep$() throws ParseException {
      {if (true) return new Empty<ProtocolStep>();}
    throw new Error("Missing return statement in function");
  }

  final public Cons<ProtocolStep> parse_Cons$ProtocolStep$() throws ParseException {
     ProtocolStep first;
     List<ProtocolStep> rest;
    first = parse_ProtocolStep();
    rest = parse_List$ProtocolStep$();
      {if (true) return new Cons<ProtocolStep>(first,rest);}
    throw new Error("Missing return statement in function");
  }

  final public List<VariableDeclaration> parse_List$VariableDeclaration$() throws ParseException {
    List<VariableDeclaration> sup = null;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case IDENT:
      sup = parse_Cons$VariableDeclaration$();
                                              {if (true) return sup;}
      break;
    default:
      jj_la1[5] = jj_gen;
      sup = parse_Empty$VariableDeclaration$();
                                               {if (true) return sup;}
    }
    throw new Error("Missing return statement in function");
  }

  final public Empty<VariableDeclaration> parse_Empty$VariableDeclaration$() throws ParseException {
      {if (true) return new Empty<VariableDeclaration>();}
    throw new Error("Missing return statement in function");
  }

  final public Cons<VariableDeclaration> parse_Cons$VariableDeclaration$() throws ParseException {
     VariableDeclaration first;
     List<VariableDeclaration> rest;
    first = parse_VariableDeclaration();
    rest = parse_List$VariableDeclaration$();
      {if (true) return new Cons<VariableDeclaration>(first,rest);}
    throw new Error("Missing return statement in function");
  }

  final public Option<ClaimSetName> parse_Option$ClaimSetName$() throws ParseException {
    Option<ClaimSetName> sup = null;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 7:
      sup = parse_Some$ClaimSetName$();
                                       {if (true) return sup;}
      break;
    default:
      jj_la1[6] = jj_gen;
      sup = parse_None$ClaimSetName$();
                                       {if (true) return sup;}
    }
    throw new Error("Missing return statement in function");
  }

  final public None<ClaimSetName> parse_None$ClaimSetName$() throws ParseException {
      {if (true) return new None<ClaimSetName>();}
    throw new Error("Missing return statement in function");
  }

  final public Some<ClaimSetName> parse_Some$ClaimSetName$() throws ParseException {
     ClaimSetName just;
    just = parse_ClaimSetName();
      {if (true) return new Some<ClaimSetName>(just);}
    throw new Error("Missing return statement in function");
  }

  final public List<ProtocolDefinition> parse_List$ProtocolDefinition$() throws ParseException {
    List<ProtocolDefinition> sup = null;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 1:
      sup = parse_Cons$ProtocolDefinition$();
                                             {if (true) return sup;}
      break;
    default:
      jj_la1[7] = jj_gen;
      sup = parse_Empty$ProtocolDefinition$();
                                              {if (true) return sup;}
    }
    throw new Error("Missing return statement in function");
  }

  final public Empty<ProtocolDefinition> parse_Empty$ProtocolDefinition$() throws ParseException {
      {if (true) return new Empty<ProtocolDefinition>();}
    throw new Error("Missing return statement in function");
  }

  final public Cons<ProtocolDefinition> parse_Cons$ProtocolDefinition$() throws ParseException {
     ProtocolDefinition first;
     List<ProtocolDefinition> rest;
    first = parse_ProtocolDefinition();
    rest = parse_List$ProtocolDefinition$();
      {if (true) return new Cons<ProtocolDefinition>(first,rest);}
    throw new Error("Missing return statement in function");
  }

  /** Generated Token Manager. */
  public TheParserTokenManager token_source;
  SimpleCharStream jj_input_stream;
  /** Current token. */
  public Token token;
  /** Next token. */
  public Token jj_nt;
  private int jj_ntk;
  private int jj_gen;
  final private int[] jj_la1 = new int[8];
  static private int[] jj_la1_0;
  static {
      jj_la1_init_0();
   }
   private static void jj_la1_init_0() {
      jj_la1_0 = new int[] {0x300000,0x2000020,0x2000000,0x2000020,0x10,0x2000000,0x80,0x2,};
   }

  /** Constructor with InputStream. */
  public TheParser(java.io.InputStream stream) {
     this(stream, null);
  }
  /** Constructor with InputStream and supplied encoding */
  public TheParser(java.io.InputStream stream, String encoding) {
    try { jj_input_stream = new SimpleCharStream(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }
    token_source = new TheParserTokenManager(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 8; i++) jj_la1[i] = -1;
  }

  /** Reinitialise. */
  public void ReInit(java.io.InputStream stream) {
     ReInit(stream, null);
  }
  /** Reinitialise. */
  public void ReInit(java.io.InputStream stream, String encoding) {
    try { jj_input_stream.ReInit(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }
    token_source.ReInit(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 8; i++) jj_la1[i] = -1;
  }

  /** Constructor. */
  public TheParser(java.io.Reader stream) {
    jj_input_stream = new SimpleCharStream(stream, 1, 1);
    token_source = new TheParserTokenManager(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 8; i++) jj_la1[i] = -1;
  }

  /** Reinitialise. */
  public void ReInit(java.io.Reader stream) {
    jj_input_stream.ReInit(stream, 1, 1);
    token_source.ReInit(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 8; i++) jj_la1[i] = -1;
  }

  /** Constructor with generated Token Manager. */
  public TheParser(TheParserTokenManager tm) {
    token_source = tm;
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 8; i++) jj_la1[i] = -1;
  }

  /** Reinitialise. */
  public void ReInit(TheParserTokenManager tm) {
    token_source = tm;
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 8; i++) jj_la1[i] = -1;
  }

  private Token jj_consume_token(int kind) throws ParseException {
    Token oldToken;
    if ((oldToken = token).next != null) token = token.next;
    else token = token.next = token_source.getNextToken();
    jj_ntk = -1;
    if (token.kind == kind) {
      jj_gen++;
      return token;
    }
    token = oldToken;
    jj_kind = kind;
    throw generateParseException();
  }


/** Get the next Token. */
  final public Token getNextToken() {
    if (token.next != null) token = token.next;
    else token = token.next = token_source.getNextToken();
    jj_ntk = -1;
    jj_gen++;
    return token;
  }

/** Get the specific Token. */
  final public Token getToken(int index) {
    Token t = token;
    for (int i = 0; i < index; i++) {
      if (t.next != null) t = t.next;
      else t = t.next = token_source.getNextToken();
    }
    return t;
  }

  private int jj_ntk() {
    if ((jj_nt=token.next) == null)
      return (jj_ntk = (token.next=token_source.getNextToken()).kind);
    else
      return (jj_ntk = jj_nt.kind);
  }

  private java.util.List jj_expentries = new java.util.ArrayList();
  private int[] jj_expentry;
  private int jj_kind = -1;

  /** Generate ParseException. */
  public ParseException generateParseException() {
    jj_expentries.clear();
    boolean[] la1tokens = new boolean[26];
    if (jj_kind >= 0) {
      la1tokens[jj_kind] = true;
      jj_kind = -1;
    }
    for (int i = 0; i < 8; i++) {
      if (jj_la1[i] == jj_gen) {
        for (int j = 0; j < 32; j++) {
          if ((jj_la1_0[i] & (1<<j)) != 0) {
            la1tokens[j] = true;
          }
        }
      }
    }
    for (int i = 0; i < 26; i++) {
      if (la1tokens[i]) {
        jj_expentry = new int[1];
        jj_expentry[0] = i;
        jj_expentries.add(jj_expentry);
      }
    }
    int[][] exptokseq = new int[jj_expentries.size()][];
    for (int i = 0; i < jj_expentries.size(); i++) {
      exptokseq[i] = (int[])jj_expentries.get(i);
    }
    return new ParseException(token, exptokseq, tokenImage);
  }

  /** Enable tracing. */
  final public void enable_tracing() {
  }

  /** Disable tracing. */
  final public void disable_tracing() {
  }

  }