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

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

  class TheParser implements TheParserConstants {

    static char unescapeChar(String s){
        s = s.substring(1,s.length()-1);        char c = s.charAt(0);
        if (c == '\\'){
            switch (s.charAt(1)) {
            case 'n': return '\n';  case 't': return '\t';
            case 'b': return '\b';  case 'r': return '\r';
            case 'f': return '\f';  case '\\': return '\\';
            case '\'': return '\''; case '\"': return '\"';
            default: return (char)Integer.parseInt(s.substring(1, s.length()), 8);
            }
        }
        return c;
    }

  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 (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 (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 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 unescapeChar(t.image);}
    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 RBColor parse_RBColor() throws ParseException {
    RBColor sup = null;
    sup = parse_RED();
                         {if (true) return sup;}
    throw new Error("Missing return statement in function");
  }

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

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

  final public RawMaterial parse_RawMaterial() throws ParseException {
     List<Constraint> constraints;
     Option<List<RelationNr>> pred;
     Option<Option<String>> nested;
     Option<String> not;
     Option<N> number;
    constraints = parse_List$Constraint$();
    jj_consume_token(1);
    pred = parse_Option$List$RelationNr$$();
    jj_consume_token(2);
    nested = parse_Option$Option$String$$();
    jj_consume_token(3);
    jj_consume_token(2);
    not = parse_Option$String$();
    number = parse_Option$N$();
    jj_consume_token(0);
      {if (true) return new RawMaterial(constraints,pred,nested,not,number);}
    throw new Error("Missing return statement in function");
  }

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

  final public Constraint parse_Constraint() throws ParseException {
     Weight w;
     RelationNr r;
     List<Variable> cs;
    w = parse_Weight();
    r = parse_RelationNr();
    cs = parse_List$Variable$();
      {if (true) return new Constraint(w,r,cs);}
    throw new Error("Missing return statement in function");
  }

  final public Weight parse_Weight() throws ParseException {
     int v;
    v = parse_int();
    jj_consume_token(5);
      {if (true) return new Weight(v);}
    throw new Error("Missing return statement in function");
  }

  final public RelationNr parse_RelationNr() throws ParseException {
     int v;
    v = parse_int();
      {if (true) return new RelationNr(v);}
    throw new Error("Missing return statement in function");
  }

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

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

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

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

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

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

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

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

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

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

  final public Option<Option<String>> parse_Option$Option$String$$() throws ParseException {
    Option<Option<String>> sup = null;
    sup = parse_Some$Option$String$$();
                                          {if (true) return sup;}
    throw new Error("Missing return statement in function");
  }

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

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

  final public Option<List<RelationNr>> parse_Option$List$RelationNr$$() throws ParseException {
    Option<List<RelationNr>> sup = null;
    sup = parse_Some$List$RelationNr$$();
                                            {if (true) return sup;}
    throw new Error("Missing return statement in function");
  }

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

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

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

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

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

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

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

  final public Cons<Constraint> parse_Cons$Constraint$() throws ParseException {
     Constraint first;
     List<Constraint> rest;
    first = parse_Constraint();
    rest = parse_List$Constraint$();
      {if (true) return new Cons<Constraint>(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[6];
  static private int[] jj_la1_0;
  static {
      jj_la1_init_0();
   }
   private static void jj_la1_init_0() {
      jj_la1_0 = new int[] {0x18000,0x40000,0x10,0x4000,0x2000,0x2000,};
   }

  /** 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 < 6; 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 < 6; 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 < 6; 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 < 6; 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 < 6; 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 < 6; 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[21];
    if (jj_kind >= 0) {
      la1tokens[jj_kind] = true;
      jj_kind = -1;
    }
    for (int i = 0; i < 6; 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 < 21; 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() {
  }

  }