Parser.java

/* Parser.java */
/* Generated By:JavaCC: Do not edit this line. Parser.java */
import java.util.*;

public class Parser implements ParserConstants {

  static final public ASTNode Start() throws ParseException, InterpreterError {ASTNode t;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case 0:{
      jj_consume_token(0);
{if ("" != null) return null;}
      break;
      }
    case LET:
    case TYPE:
    case TRUE:
    case FALSE:
    case MINUS:
    case LPAR:
    case LBRA:
    case BAR:
    case OR:
    case NOT:
    case NONE:
    case CELL:
    case DEREF:
    case MATCH:
    case IF:
    case WHILE:
    case PRINT:
    case PRINTLN:
    case TAG:
    case AMPERSAND:
    case String:
    case Id:
    case Num:{
      t = Let();
      jj_consume_token(TERM);
{if ("" != null) return t;}
      break;
      }
    default:
      jj_la1[0] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
    throw new Error("Missing return statement in function");
}

  static final public ASTNode Let() throws ParseException, InterpreterError {Token n;
  ASTNode t=null, e1, e2;
  ASTType t1, typ=null;
  int mode = 0;
  List<Bind> decls  = new ArrayList<Bind>();
  HashMap<String,ASTType> lbl = new HashMap<String,ASTType>();
  ASTNode last=null;
  boolean mut = false;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case TRUE:
    case FALSE:
    case MINUS:
    case LPAR:
    case LBRA:
    case BAR:
    case OR:
    case NOT:
    case NONE:
    case CELL:
    case DEREF:
    case MATCH:
    case IF:
    case WHILE:
    case PRINT:
    case PRINTLN:
    case TAG:
    case AMPERSAND:
    case String:
    case Id:
    case Num:{
      t = Seq();
      break;
      }
    case LET:
    case TYPE:{
      label_1:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case LET:{
          jj_consume_token(LET);
mut = false;
          switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
          case MUT:{
            jj_consume_token(MUT);
mut=true;
            break;
            }
          default:
            jj_la1[1] = jj_gen;
            ;
          }
          n = jj_consume_token(Id);
typ = null;
          switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
          case COLON:{
            jj_consume_token(COLON);
            typ = Type();
            break;
            }
          default:
            jj_la1[2] = jj_gen;
            ;
          }
          jj_consume_token(EQUAL);
          e1 = BA();
          jj_consume_token(SEMIC);
if (mode == 1) {
            ASTTypeDef lasttdef = (ASTTypeDef)last;
            lasttdef.body = new ASTLet(decls,null);
            last = lasttdef.body;
            lbl = new HashMap<String,ASTType>();
        } else if (t==null) {
          t = new ASTLet(decls,null);
          last = t;
        }
        Bind b = new Bind(n.image,typ,e1);
        b.mut = mut;
        decls.add(b);
        mode = 2;
          break;
          }
        case TYPE:{
          jj_consume_token(TYPE);
          n = jj_consume_token(Id);
          jj_consume_token(EQUAL);
          t1 = Type();
          jj_consume_token(SEMIC);
if (mode == 2) {
            ASTLet lastlet =  (ASTLet)last;
            lastlet.body = new ASTTypeDef(lbl,null);
            last = lastlet.body;
            decls = new ArrayList<Bind>();
        } else if (t==null) {
            t = new ASTTypeDef(lbl,null);
            last = t;
        }
        lbl.put(n.image, t1);
        mode = 1;
          break;
          }
        default:
          jj_la1[3] = jj_gen;
          jj_consume_token(-1);
          throw new ParseException();
        }
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case LET:
        case TYPE:{
          ;
          break;
          }
        default:
          jj_la1[4] = jj_gen;
          break label_1;
        }
      }
      e2 = Seq();
if (mode == 1) {
            ASTTypeDef lasttdef = (ASTTypeDef)last;
            lasttdef.body = e2;
        }
        else if (mode == 2) {
            ASTLet lastlet =  (ASTLet)last;
            lastlet.body = e2;
        }
      break;
      }
    default:
      jj_la1[5] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
{if ("" != null) return t;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode Seq() throws ParseException, InterpreterError {Token op;
  ASTNode t1, t2;
    t1 = SeqExp();
    label_2:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case SEMIC:{
        ;
        break;
        }
      default:
        jj_la1[6] = jj_gen;
        break label_2;
      }
      op = jj_consume_token(SEMIC);
      t2 = SeqExp();
t1 = new ASTSeq(t1,t2);
    }
{if ("" != null) return t1;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode SeqExp() throws ParseException, InterpreterError {Token op;
  ASTNode t1, t2;
    t1 = BA();
    label_3:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case ASSIGN:
      case CASSIGN:{
        ;
        break;
        }
      default:
        jj_la1[7] = jj_gen;
        break label_3;
      }
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case ASSIGN:{
        op = jj_consume_token(ASSIGN);
        t2 = BA();
t1 = new ASTAssign(t1,t2);
        break;
        }
      case CASSIGN:{
        op = jj_consume_token(CASSIGN);
        t2 = BA();
t1 = new ASTCAssign(t1,t2);
        break;
        }
      default:
        jj_la1[8] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
    }
{if ("" != null) return t1;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode BA() throws ParseException, InterpreterError {Token op;
  ASTNode t1, t2;
    t1 = BM();
    label_4:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case OR:{
        ;
        break;
        }
      default:
        jj_la1[9] = jj_gen;
        break label_4;
      }
      op = jj_consume_token(OR);
      t2 = BM();
t1 = new ASTOr(t1, t2);
    }
{if ("" != null) return t1;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode BM() throws ParseException, InterpreterError {Token op;
  ASTNode t1, t2;
    t1 = Rel();
    label_5:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case AND:{
        ;
        break;
        }
      default:
        jj_la1[10] = jj_gen;
        break label_5;
      }
      op = jj_consume_token(AND);
      t2 = Rel();
t1 = new ASTAnd(t1, t2);
    }
{if ("" != null) return t1;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode Rel() throws ParseException, InterpreterError {Token op;
  ASTNode t1, t2;
    t1 = Exp();
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case EQ:
    case GT:
    case GE:
    case LT:
    case LE:
    case NEQ:{
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case EQ:{
        op = jj_consume_token(EQ);
        break;
        }
      case GT:{
        op = jj_consume_token(GT);
        break;
        }
      case LT:{
        op = jj_consume_token(LT);
        break;
        }
      case GE:{
        op = jj_consume_token(GE);
        break;
        }
      case LE:{
        op = jj_consume_token(LE);
        break;
        }
      case NEQ:{
        op = jj_consume_token(NEQ);
        break;
        }
      default:
        jj_la1[11] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
      t2 = Exp();
if (op.kind == EQ)        t1 = new ASTEq(t1, t2);
            else if (op.kind == GT)   t1 = new ASTGt(t1, t2);
            else if (op.kind == LT)   t1 = new ASTLt(t1, t2);
            else if (op.kind == GE)   t1 = new ASTGe(t1, t2);
            else if (op.kind == LE)   t1 = new ASTLe(t1, t2);
            else if (op.kind == NEQ)  t1 = new ASTNeq(t1, t2);
      break;
      }
    default:
      jj_la1[12] = jj_gen;
      ;
    }
{if ("" != null) return t1;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode Exp() throws ParseException, InterpreterError {Token op;
  ASTNode t1, t2;
    t1 = Term();
    label_6:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case PLUS:
      case MINUS:{
        ;
        break;
        }
      default:
        jj_la1[13] = jj_gen;
        break label_6;
      }
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case PLUS:{
        op = jj_consume_token(PLUS);
        break;
        }
      case MINUS:{
        op = jj_consume_token(MINUS);
        break;
        }
      default:
        jj_la1[14] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
      t2 = Term();
if (op.kind == PLUS)
                         t1 = new ASTPlus(t1,t2);
                   else  t1 = new ASTSub(t1,t2);
    }
{if ("" != null) return t1;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode Term() throws ParseException, InterpreterError {Token op;
  ASTNode t1, t2;
    t1 = Fact();
    label_7:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case MUL:
      case DIV:{
        ;
        break;
        }
      default:
        jj_la1[15] = jj_gen;
        break label_7;
      }
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case MUL:{
        op = jj_consume_token(MUL);
        t2 = Fact();
t1 = new ASTMult(t1,t2);
        break;
        }
      case DIV:{
        op = jj_consume_token(DIV);
        t2 = Fact();
t1 = new ASTDiv(t1,t2);
        break;
        }
      default:
        jj_la1[16] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
    }
{if ("" != null) return t1;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode StructTuple() throws ParseException, InterpreterError {Token tag;
  ASTNode t;
  List<ASTNode> pv = new ArrayList<ASTNode>();
    tag = jj_consume_token(TAG);
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case LPAR:{
      jj_consume_token(LPAR);
      t = Let();
pv.add(t);
      label_8:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case COMMA:{
          ;
          break;
          }
        default:
          jj_la1[17] = jj_gen;
          break label_8;
        }
        jj_consume_token(COMMA);
        t = Let();
pv.add(t);
      }
      jj_consume_token(RPAR);
      break;
      }
    case NONE:{
      jj_consume_token(NONE);
pv.add(new ASTUnit());
      break;
      }
    default:
      jj_la1[18] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
{if ("" != null) return new ASTStructTuple(tag.image,pv);}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode Function() throws ParseException, InterpreterError {Token n;
  ASTNode t, e1=null, e2;
  ASTType typ = null;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case BAR:{
      jj_consume_token(BAR);
      n = jj_consume_token(Id);
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case COLON:{
        jj_consume_token(COLON);
        typ = Type();
        break;
        }
      default:
        jj_la1[19] = jj_gen;
        ;
      }
t = new ASTFun(n.image,  typ, null); e1 = t;
      label_9:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case COMMA:{
          ;
          break;
          }
        default:
          jj_la1[20] = jj_gen;
          break label_9;
        }
        jj_consume_token(COMMA);
        n = jj_consume_token(Id);
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case COLON:{
          jj_consume_token(COLON);
          typ = Type();
          break;
          }
        default:
          jj_la1[21] = jj_gen;
          ;
        }
e2 = new ASTFun(n.image, typ, null);
                      ((ASTFun)e1).setBody(e2); e1 = e2;
      }
      jj_consume_token(BAR);
      e2 = Fact();
((ASTFun)e1).setBody(e2);
      break;
      }
    case OR:{
      jj_consume_token(OR);
      e2 = Fact();
t = new ASTFun("_", ASTTUnit.tunit,e2);
      break;
      }
    default:
      jj_la1[22] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
{if ("" != null) return t;}
    throw new Error("Missing return statement in function");
}

  static final public ASTPattern Pattern() throws ParseException {Token tag,id;
  List<String> pv = new ArrayList<String>();
    tag = jj_consume_token(TAG);
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case LPAR:{
      jj_consume_token(LPAR);
      id = jj_consume_token(Id);
pv.add(id.image);
      label_10:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case COMMA:{
          ;
          break;
          }
        default:
          jj_la1[23] = jj_gen;
          break label_10;
        }
        jj_consume_token(COMMA);
        id = jj_consume_token(Id);
pv.add(id.image);
      }
      jj_consume_token(RPAR);
      break;
      }
    case NONE:{
      jj_consume_token(NONE);
pv.add("_");
      break;
      }
    default:
      jj_la1[24] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
{if ("" != null) return new ASTPattern(tag.image,pv);}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode Match() throws ParseException, InterpreterError {ASTNode t, t1;
  ASTPattern p;
  List<ASTPattern> patterns = new ArrayList<ASTPattern>();
  List<ASTNode> bodies = new ArrayList<ASTNode>();
    jj_consume_token(MATCH);
    t = Let();
    jj_consume_token(LBRA);
    p = Pattern();
    jj_consume_token(ARROW);
    t1 = Let();
patterns.add(p); bodies.add(t1);
    label_11:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case BAR:{
        ;
        break;
        }
      default:
        jj_la1[25] = jj_gen;
        break label_11;
      }
      jj_consume_token(BAR);
      p = Pattern();
      jj_consume_token(ARROW);
      t1 = Let();
patterns.add(p); bodies.add(t1);
    }
    jj_consume_token(RBRA);
t = new ASTMatch(t, patterns, bodies);
{if ("" != null) return t;}
    throw new Error("Missing return statement in function");
}

  static final public ASTNode Fact() throws ParseException, InterpreterError {Token n;
  ASTNode t, e1, e2;
  List<Bind> decls;
  ASTNode  body, alt;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case Num:{
      n = jj_consume_token(Num);
t = new ASTInt(Integer.parseInt(n.image));
      break;
      }
    case TRUE:{
      n = jj_consume_token(TRUE);
t = new ASTBool(true);
      break;
      }
    case FALSE:{
      n = jj_consume_token(FALSE);
t = new ASTBool(false);
      break;
      }
    case NONE:{
      n = jj_consume_token(NONE);
t = new ASTUnit();
      break;
      }
    case Id:{
      n = jj_consume_token(Id);
t = new ASTId(n.image);
      label_12:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case LPAR:
        case NONE:{
          ;
          break;
          }
        default:
          jj_la1[26] = jj_gen;
          break label_12;
        }
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case LPAR:{
          jj_consume_token(LPAR);
          e1 = Let();
          switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
          case RPAR:{
            jj_consume_token(RPAR);
t = new ASTApp(t, e1);
            break;
            }
          case COMMA:{
            label_13:
            while (true) {
              jj_consume_token(COMMA);
t = new ASTApp(t, e1);
              e1 = Let();
              switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
              case COMMA:{
                ;
                break;
                }
              default:
                jj_la1[27] = jj_gen;
                break label_13;
              }
            }
            jj_consume_token(RPAR);
t = new ASTApp(t, e1);
            break;
            }
          default:
            jj_la1[28] = jj_gen;
            jj_consume_token(-1);
            throw new ParseException();
          }
          break;
          }
        case NONE:{
          jj_consume_token(NONE);
t = new ASTApp(t, new ASTUnit());
          break;
          }
        default:
          jj_la1[29] = jj_gen;
          jj_consume_token(-1);
          throw new ParseException();
        }
      }
      break;
      }
    case String:{
      n = jj_consume_token(String);
t = new ASTString(n.image.substring(1, n.image.length()-1));
      break;
      }
    case MINUS:{
      jj_consume_token(MINUS);
      t = Fact();
t = new ASTNeg(t);
      break;
      }
    case NOT:{
      jj_consume_token(NOT);
      t = Fact();
t = new ASTNot(t);
      break;
      }
    case BAR:
    case OR:{
      t = Function();
      break;
      }
    case IF:{
      jj_consume_token(IF);
      t = BA();
      jj_consume_token(LBRA);
      e1 = Let();
      jj_consume_token(RBRA);
      jj_consume_token(ELSE);
      jj_consume_token(LBRA);
      e2 = Let();
      jj_consume_token(RBRA);
t = new ASTIf(t, e1, e2);
      break;
      }
    case LPAR:{
      jj_consume_token(LPAR);
      t = Let();
      jj_consume_token(RPAR);
      label_14:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case LPAR:
        case NONE:{
          ;
          break;
          }
        default:
          jj_la1[30] = jj_gen;
          break label_14;
        }
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case LPAR:{
          jj_consume_token(LPAR);
          e1 = Let();
          switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
          case RPAR:{
            jj_consume_token(RPAR);
t = new ASTApp(t, e1);
            break;
            }
          case COMMA:{
            label_15:
            while (true) {
              jj_consume_token(COMMA);
t = new ASTApp(t, e1);
              e1 = Let();
              switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
              case COMMA:{
                ;
                break;
                }
              default:
                jj_la1[31] = jj_gen;
                break label_15;
              }
            }
            jj_consume_token(RPAR);
t = new ASTApp(t, e1);
            break;
            }
          default:
            jj_la1[32] = jj_gen;
            jj_consume_token(-1);
            throw new ParseException();
          }
          break;
          }
        case NONE:{
          jj_consume_token(NONE);
t = new ASTApp(t, new ASTUnit());
          break;
          }
        default:
          jj_la1[33] = jj_gen;
          jj_consume_token(-1);
          throw new ParseException();
        }
      }
      break;
      }
    case LBRA:{
      jj_consume_token(LBRA);
      t = Let();
      jj_consume_token(RBRA);
      break;
      }
    case PRINT:{
      jj_consume_token(PRINT);
      t = Fact();
t = new ASTPrint(t);
      break;
      }
    case PRINTLN:{
      jj_consume_token(PRINTLN);
      t = Fact();
t = new ASTPrintln(t);
      break;
      }
    case WHILE:{
      jj_consume_token(WHILE);
      t = BA();
      jj_consume_token(LBRA);
      body = Let();
      jj_consume_token(RBRA);
t = new ASTWhile(t, body);
      break;
      }
    case CELL:{
      jj_consume_token(CELL);
      t = Fact();
t = new ASTCell(t);
      break;
      }
    case DEREF:{
      jj_consume_token(DEREF);
      t = Fact();
t = new ASTDeref(t);
      break;
      }
    case AMPERSAND:{
      jj_consume_token(AMPERSAND);
      n = jj_consume_token(Id);
t = new ASTAddr(n.image);
      break;
      }
    case TAG:{
      t = StructTuple();
      break;
      }
    case MATCH:{
      t = Match();
      break;
      }
    default:
      jj_la1[34] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
{if ("" != null) return t;}
    throw new Error("Missing return statement in function");
}

  static final public ASTType Type() throws ParseException {ASTType t1, t2;
    t1 = TypeF();
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case SARROW:{
      jj_consume_token(SARROW);
      t2 = Type();
t1 = new ASTTArrow(t1,t2);
      break;
      }
    default:
      jj_la1[35] = jj_gen;
      ;
    }
{if ("" != null) return t1;}
    throw new Error("Missing return statement in function");
}

  static final public ArrayList<ASTType> LabelList() throws ParseException {ASTType t;
  ArrayList<ASTType> ll;
  Token n;
ll = new ArrayList<ASTType>() ;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case NONE:
    case INT:
    case BOOL:
    case STRING:
    case REF:
    case ENUM:
    case AMPERSAND:
    case Id:{
      t = Type();
ll.add(t);
      label_16:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case COMMA:{
          ;
          break;
          }
        default:
          jj_la1[36] = jj_gen;
          break label_16;
        }
        jj_consume_token(COMMA);
        t = Type();
ll.add(t);
      }
      break;
      }
    default:
      jj_la1[37] = jj_gen;
      ;
    }
{if ("" != null) return ll;}
    throw new Error("Missing return statement in function");
}

  static final public ASTType EnumT() throws ParseException {Token n;
  ArrayList<ASTType> ll;
  List<Map.Entry<String, List<ASTType>>> options = new ArrayList<>();
    jj_consume_token(ENUM);
    jj_consume_token(LBRA);
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case TAG:{
      n = jj_consume_token(TAG);
      jj_consume_token(COLON);
      jj_consume_token(LPAR);
      ll = LabelList();
      jj_consume_token(RPAR);
options.add(new AbstractMap.SimpleEntry<>(n.image, new ArrayList<>(ll)));
      label_17:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case COMMA:{
          ;
          break;
          }
        default:
          jj_la1[38] = jj_gen;
          break label_17;
        }
        jj_consume_token(COMMA);
        n = jj_consume_token(TAG);
        jj_consume_token(COLON);
        jj_consume_token(LPAR);
        ll = LabelList();
        jj_consume_token(RPAR);
options.add(new AbstractMap.SimpleEntry<>(n.image, new ArrayList<>(ll)));
      }
      break;
      }
    default:
      jj_la1[39] = jj_gen;
      ;
    }
    jj_consume_token(RBRA);
{if ("" != null) return new ASTTEnum(options);}
    throw new Error("Missing return statement in function");
}

  static final public ASTType TypeF() throws ParseException {ASTType t;
  ArrayList<ASTType> ll;
  Token n;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case INT:{
      jj_consume_token(INT);
t = new ASTTInt();
      break;
      }
    case Id:{
      n = jj_consume_token(Id);
t = new ASTTId(n.image);
      break;
      }
    case BOOL:{
      jj_consume_token(BOOL);
t = new ASTTBool();
      break;
      }
    case NONE:{
      jj_consume_token(NONE);
t = new ASTTUnit();
      break;
      }
    case STRING:{
      jj_consume_token(STRING);
t = new ASTTString();
      break;
      }
    case REF:{
      jj_consume_token(REF);
      jj_consume_token(LPAR);
      t = Type();
      jj_consume_token(RPAR);
t = new ASTTRef(t);
      break;
      }
    case AMPERSAND:{
      jj_consume_token(AMPERSAND);
      jj_consume_token(LPAR);
      t = Type();
      jj_consume_token(RPAR);
t = new ASTTAddr(t, 0);
      break;
      }
    case ENUM:{
      t = EnumT();
      break;
      }
    default:
      jj_la1[40] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
{if ("" != null) return t;}
    throw new Error("Missing return statement in function");
}

  static private boolean jj_initialized_once = false;
  /** Generated Token Manager. */
  static public ParserTokenManager token_source;
  static SimpleCharStream jj_input_stream;
  /** Current token. */
  static public Token token;
  /** Next token. */
  static public Token jj_nt;
  static private int jj_ntk;
  static private int jj_gen;
  static final private int[] jj_la1 = new int[41];
  static private int[] jj_la1_0;
  static private int[] jj_la1_1;
  static {
	   jj_la1_init_0();
	   jj_la1_init_1();
	}
	private static void jj_la1_init_0() {
	   jj_la1_0 = new int[] {0x180a5e01,0x0,0x400000,0x600,0x600,0x180a5e00,0x800000,0x0,0x0,0x10000000,0x4000000,0xe0000000,0xe0000000,0x6000,0x6000,0x18000,0x18000,0x2000000,0x20000,0x400000,0x2000000,0x400000,0x18000000,0x2000000,0x20000,0x8000000,0x20000,0x2000000,0x2040000,0x20000,0x20000,0x2000000,0x2040000,0x20000,0x180a5800,0x0,0x2000000,0x0,0x2000000,0x0,0x0,};
	}
	private static void jj_la1_init_1() {
	   jj_la1_1 = new int[] {0x3c027798,0x1000000,0x0,0x0,0x0,0x3c027798,0x0,0x60,0x60,0x0,0x0,0x7,0x7,0x0,0x0,0x0,0x0,0x0,0x10,0x0,0x0,0x0,0x0,0x0,0x10,0x0,0x10,0x0,0x0,0x10,0x10,0x0,0x0,0x10,0x3c027798,0x10000,0x0,0x147c0010,0x0,0x20000,0x147c0010,};
	}

  /** Constructor with InputStream. */
  public Parser(java.io.InputStream stream) {
	  this(stream, null);
  }
  /** Constructor with InputStream and supplied encoding */
  public Parser(java.io.InputStream stream, String encoding) {
	 if (jj_initialized_once) {
	   System.out.println("ERROR: Second call to constructor of static parser.  ");
	   System.out.println("	   You must either use ReInit() or set the JavaCC option STATIC to false");
	   System.out.println("	   during parser generation.");
	   throw new Error();
	 }
	 jj_initialized_once = true;
	 try { jj_input_stream = new SimpleCharStream(stream, encoding, 1, 1); } catch(java.io.UnsupportedEncodingException e) { throw new RuntimeException(e); }
	 token_source = new ParserTokenManager(jj_input_stream);
	 token = new Token();
	 jj_ntk = -1;
	 jj_gen = 0;
	 for (int i = 0; i < 41; i++) jj_la1[i] = -1;
  }

  /** Reinitialise. */
  static public void ReInit(java.io.InputStream stream) {
	  ReInit(stream, null);
  }
  /** Reinitialise. */
  static 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 < 41; i++) jj_la1[i] = -1;
  }

  /** Constructor. */
  public Parser(java.io.Reader stream) {
	 if (jj_initialized_once) {
	   System.out.println("ERROR: Second call to constructor of static parser. ");
	   System.out.println("	   You must either use ReInit() or set the JavaCC option STATIC to false");
	   System.out.println("	   during parser generation.");
	   throw new Error();
	 }
	 jj_initialized_once = true;
	 jj_input_stream = new SimpleCharStream(stream, 1, 1);
	 token_source = new ParserTokenManager(jj_input_stream);
	 token = new Token();
	 jj_ntk = -1;
	 jj_gen = 0;
	 for (int i = 0; i < 41; i++) jj_la1[i] = -1;
  }

  /** Reinitialise. */
  static public void ReInit(java.io.Reader stream) {
	if (jj_input_stream == null) {
	   jj_input_stream = new SimpleCharStream(stream, 1, 1);
	} else {
	   jj_input_stream.ReInit(stream, 1, 1);
	}
	if (token_source == null) {
 token_source = new ParserTokenManager(jj_input_stream);
	}

	 token_source.ReInit(jj_input_stream);
	 token = new Token();
	 jj_ntk = -1;
	 jj_gen = 0;
	 for (int i = 0; i < 41; i++) jj_la1[i] = -1;
  }

  /** Constructor with generated Token Manager. */
  public Parser(ParserTokenManager tm) {
	 if (jj_initialized_once) {
	   System.out.println("ERROR: Second call to constructor of static parser. ");
	   System.out.println("	   You must either use ReInit() or set the JavaCC option STATIC to false");
	   System.out.println("	   during parser generation.");
	   throw new Error();
	 }
	 jj_initialized_once = true;
	 token_source = tm;
	 token = new Token();
	 jj_ntk = -1;
	 jj_gen = 0;
	 for (int i = 0; i < 41; i++) jj_la1[i] = -1;
  }

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

  static 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. */
  static 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. */
  static 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;
  }

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

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

  /** Generate ParseException. */
  static public ParseException generateParseException() {
	 jj_expentries.clear();
	 boolean[] la1tokens = new boolean[62];
	 if (jj_kind >= 0) {
	   la1tokens[jj_kind] = true;
	   jj_kind = -1;
	 }
	 for (int i = 0; i < 41; 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;
		   }
		   if ((jj_la1_1[i] & (1<<j)) != 0) {
			 la1tokens[32+j] = true;
		   }
		 }
	   }
	 }
	 for (int i = 0; i < 62; 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] = jj_expentries.get(i);
	 }
	 return new ParseException(token, exptokseq, tokenImage);
  }

  static private boolean trace_enabled;

/** Trace enabled. */
  static final public boolean trace_enabled() {
	 return trace_enabled;
  }

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

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

}