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

import edu.neu.ccs.demeterf.demfgen.lib.*;
import edu.neu.ccs.demeterf.demfgen.lib.*;
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 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 RawMaterialInstance parse_RawMaterialInstance() throws ParseException {
     List<Constraint> constraints;
    constraints = parse_List$Constraint$();
      {if (true) return new RawMaterialInstance(constraints);}
    throw new Error("Missing return statement in function");
  }

  final public IntermediateProduct parse_IntermediateProduct() throws ParseException {
     Assignment assignment;
    assignment = parse_Assignment();
      {if (true) return new IntermediateProduct(assignment);}
    throw new Error("Missing return statement in function");
  }

  final public TypeInstance parse_TypeInstance() throws ParseException {
     Relation rel;
    rel = parse_Relation();
      {if (true) return new TypeInstance(rel);}
    throw new Error("Missing return statement in function");
  }

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

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

  final public Price parse_Price() throws ParseException {
     double val;
    val = parse_double();
      {if (true) return new Price(val);}
    throw new Error("Missing return statement in function");
  }

  final public Quality parse_Quality() throws ParseException {
     double val;
    val = parse_double();
      {if (true) return new Quality(val);}
    throw new Error("Missing return statement in function");
  }

  final public PlayerID parse_PlayerID() throws ParseException {
     int id;
    id = parse_int();
      {if (true) return new PlayerID(id);}
    throw new Error("Missing return statement in function");
  }

  final public Relation parse_Relation() throws ParseException {
     int num;
    num = parse_int();
      {if (true) return new Relation(num);}
    throw new Error("Missing return statement in function");
  }

  final public Pos parse_Pos() throws ParseException {
    jj_consume_token(1);
      {if (true) return new Pos();}
    throw new Error("Missing return statement in function");
  }

  final public Neg parse_Neg() throws ParseException {
    jj_consume_token(2);
      {if (true) return new Neg();}
    throw new Error("Missing return statement in function");
  }

  final public Constraint parse_Constraint() throws ParseException {
     Weight weight;
     Relation relation;
     List<Variable> variables;
    weight = parse_Weight();
    relation = parse_Relation();
    variables = parse_List$Variable$();
      {if (true) return new Constraint(weight,relation,variables);}
    throw new Error("Missing return statement in function");
  }

  final public Assignment parse_Assignment() throws ParseException {
     List<Literal> literals;
    jj_consume_token(3);
    jj_consume_token(4);
    literals = parse_List$Literal$();
    jj_consume_token(5);
      {if (true) return new Assignment(literals);}
    throw new Error("Missing return statement in function");
  }

  final public Literal parse_Literal() throws ParseException {
     Sign sign;
     Variable var;
    sign = parse_Sign();
    var = parse_Variable();
      {if (true) return new Literal(sign,var);}
    throw new Error("Missing return statement in function");
  }

  final public Sign parse_Sign() throws ParseException {
    Sign sup;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 1:
      sup = parse_Pos();
                         {if (true) return sup;}
      break;
    case 2:
      sup = parse_Neg();
                         {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 Player parse_Player() throws ParseException {
     PlayerID id;
     String name;
    jj_consume_token(6);
    id = parse_PlayerID();
    name = parse_String();
      {if (true) return new Player(id,name);}
    throw new Error("Missing return statement in function");
  }

  final public Type parse_Type() throws ParseException {
     List<TypeInstance> instances;
    jj_consume_token(7);
    jj_consume_token(4);
    instances = parse_List$TypeInstance$();
    jj_consume_token(5);
      {if (true) return new Type(instances);}
    throw new Error("Missing return statement in function");
  }

  final public Derivative parse_Derivative() throws ParseException {
     String name;
     PlayerID seller;
     Option<PlayerID> optbuyer;
     Price price;
     Type type;
     Option<RawMaterial> optraw;
     Option<FinishedProduct> optfinished;
    jj_consume_token(8);
    jj_consume_token(4);
    name = parse_String();
    seller = parse_PlayerID();
    optbuyer = parse_Option$PlayerID$();
    price = parse_Price();
    type = parse_Type();
    optraw = parse_Option$RawMaterial$();
    optfinished = parse_Option$FinishedProduct$();
    jj_consume_token(5);
      {if (true) return new Derivative(name,seller,optbuyer,price,type,optraw,optfinished);}
    throw new Error("Missing return statement in function");
  }

  final public RawMaterial parse_RawMaterial() throws ParseException {
     RawMaterialInstance instance;
    jj_consume_token(9);
    jj_consume_token(4);
    instance = parse_RawMaterialInstance();
    jj_consume_token(5);
      {if (true) return new RawMaterial(instance);}
    throw new Error("Missing return statement in function");
  }

  final public FinishedProduct parse_FinishedProduct() throws ParseException {
     IntermediateProduct ip;
     Quality quality;
    jj_consume_token(10);
    jj_consume_token(4);
    ip = parse_IntermediateProduct();
    quality = parse_Quality();
    jj_consume_token(5);
      {if (true) return new FinishedProduct(ip,quality);}
    throw new Error("Missing return statement in function");
  }

  final public History parse_History() throws ParseException {
     List<Round> rounds;
    jj_consume_token(11);
    jj_consume_token(4);
    rounds = parse_List$Round$();
    jj_consume_token(5);
      {if (true) return new History(rounds);}
    throw new Error("Missing return statement in function");
  }

  final public Round parse_Round() throws ParseException {
     int num;
     List<PlayerTransaction> ptransactions;
    jj_consume_token(12);
    num = parse_int();
    jj_consume_token(4);
    ptransactions = parse_List$PlayerTransaction$();
    jj_consume_token(5);
      {if (true) return new Round(num,ptransactions);}
    throw new Error("Missing return statement in function");
  }

  final public PlayerTransaction parse_PlayerTransaction() throws ParseException {
     Player player;
     List<Transaction> transactions;
    jj_consume_token(13);
    jj_consume_token(4);
    player = parse_Player();
    transactions = parse_List$Transaction$();
    jj_consume_token(5);
      {if (true) return new PlayerTransaction(player,transactions);}
    throw new Error("Missing return statement in function");
  }

  final public Transaction parse_Transaction() throws ParseException {
     TransactionType ttype;
     Derivative deriv;
    jj_consume_token(14);
    jj_consume_token(4);
    ttype = parse_TransactionType();
    deriv = parse_Derivative();
    jj_consume_token(5);
      {if (true) return new Transaction(ttype,deriv);}
    throw new Error("Missing return statement in function");
  }

  final public TransactionType parse_TransactionType() throws ParseException {
    TransactionType sup;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case 15:
      sup = parse_Buy();
                         {if (true) return sup;}
      break;
    case 16:
      sup = parse_Create();
                            {if (true) return sup;}
      break;
    case 17:
      sup = parse_Reoffer();
                             {if (true) return sup;}
      break;
    case 18:
      sup = parse_Deliver();
                             {if (true) return sup;}
      break;
    case 19:
      sup = parse_Finish();
                            {if (true) return sup;}
      break;
    default:
      jj_la1[2] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
    throw new Error("Missing return statement in function");
  }

  final public Buy parse_Buy() throws ParseException {
    jj_consume_token(15);
      {if (true) return new Buy();}
    throw new Error("Missing return statement in function");
  }

  final public Create parse_Create() throws ParseException {
    jj_consume_token(16);
      {if (true) return new Create();}
    throw new Error("Missing return statement in function");
  }

  final public Reoffer parse_Reoffer() throws ParseException {
    jj_consume_token(17);
      {if (true) return new Reoffer();}
    throw new Error("Missing return statement in function");
  }

  final public Deliver parse_Deliver() throws ParseException {
    jj_consume_token(18);
      {if (true) return new Deliver();}
    throw new Error("Missing return statement in function");
  }

  final public Finish parse_Finish() throws ParseException {
    jj_consume_token(19);
      {if (true) return new Finish();}
    throw new Error("Missing return statement in function");
  }

  final public Players parse_Players() throws ParseException {
     List<Player> players;
    jj_consume_token(20);
    jj_consume_token(4);
    players = parse_List$Player$();
    jj_consume_token(5);
      {if (true) return new Players(players);}
    throw new Error("Missing return statement in function");
  }

  final public Accounts parse_Accounts() throws ParseException {
     List<Pair<PlayerID,Double>> accounts;
    jj_consume_token(21);
    jj_consume_token(4);
    accounts = parse_List$Pair$PlayerID$Double$$();
    jj_consume_token(5);
      {if (true) return new Accounts(accounts);}
    throw new Error("Missing return statement in function");
  }

  final public Store parse_Store() throws ParseException {
     List<Pair<PlayerID,PlayerStore>> stores;
    jj_consume_token(22);
    jj_consume_token(4);
    stores = parse_List$Pair$PlayerID$PlayerStore$$();
    jj_consume_token(5);
      {if (true) return new Store(stores);}
    throw new Error("Missing return statement in function");
  }

  final public PlayerStore parse_PlayerStore() throws ParseException {
     List<Derivative> forSale;
     List<Derivative> bought;
    jj_consume_token(23);
    jj_consume_token(24);
    forSale = parse_List$Derivative$();
    jj_consume_token(25);
    bought = parse_List$Derivative$();
      {if (true) return new PlayerStore(forSale,bought);}
    throw new Error("Missing return statement in function");
  }

  final public Config parse_Config() throws ParseException {
     double init;
     int maxRounds;
     int timeslot;
     double mindec;
    init = parse_double();
    maxRounds = parse_int();
    timeslot = parse_int();
    mindec = parse_double();
      {if (true) return new Config(init,maxRounds,timeslot,mindec);}
    throw new Error("Missing return statement in function");
  }

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

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

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

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

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

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

  final public Pair<PlayerID,PlayerStore> parse_Pair$PlayerID$PlayerStore$() throws ParseException {
     PlayerID a;
     PlayerStore b;
    a = parse_PlayerID();
    b = parse_PlayerStore();
      {if (true) return new Pair<PlayerID,PlayerStore>(a,b);}
    throw new Error("Missing return statement in function");
  }

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

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

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

  final public Pair<PlayerID,Double> parse_Pair$PlayerID$Double$() throws ParseException {
     PlayerID a;
     Double b;
    a = parse_PlayerID();
    b = parse_Double();
      {if (true) return new Pair<PlayerID,Double>(a,b);}
    throw new Error("Missing return statement in function");
  }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  final public List<Variable> parse_List$Variable$() throws ParseException {
    List<Variable> sup;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case STRING:
      sup = parse_Cons$Variable$();
                                    {if (true) return sup;}
      break;
    default:
      jj_la1[15] = 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 List<Constraint> parse_List$Constraint$() throws ParseException {
    List<Constraint> sup;
    switch ((jj_ntk==-1)?jj_ntk():jj_ntk) {
    case INT:
      sup = parse_Cons$Constraint$();
                                      {if (true) return sup;}
      break;
    default:
      jj_la1[16] = 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");
  }

  public TheParserTokenManager token_source;
  SimpleCharStream jj_input_stream;
  public Token token, jj_nt;
  private int jj_ntk;
  private int jj_gen;
  final private int[] jj_la1 = new int[17];
  static private int[] jj_la1_0;
  static private int[] jj_la1_1;
  static {
      jj_la1_0();
      jj_la1_1();
   }
   private static void jj_la1_0() {
      jj_la1_0 = new int[] {0x0,0x6,0xf8000,0x100,0x0,0x0,0x40,0x4000,0x2000,0x1000,0x400,0x200,0x0,0x0,0x6,0x0,0x0,};
   }
   private static void jj_la1_1() {
      jj_la1_1 = new int[] {0x18,0x0,0x0,0x0,0x2,0x2,0x0,0x0,0x0,0x0,0x0,0x0,0x2,0x2,0x0,0x4,0x2,};
   }

  public TheParser(java.io.InputStream stream) {
     this(stream, null);
  }
  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 < 17; i++) jj_la1[i] = -1;
  }

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

  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 < 17; i++) jj_la1[i] = -1;
  }

  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 < 17; i++) jj_la1[i] = -1;
  }

  public TheParser(TheParserTokenManager tm) {
    token_source = tm;
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 17; i++) jj_la1[i] = -1;
  }

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

  final 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();
  }

  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;
  }

  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;
  }

  final 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.Vector jj_expentries = new java.util.Vector();
  private int[] jj_expentry;
  private int jj_kind = -1;

  public ParseException generateParseException() {
    jj_expentries.removeAllElements();
    boolean[] la1tokens = new boolean[41];
    for (int i = 0; i < 41; i++) {
      la1tokens[i] = false;
    }
    if (jj_kind >= 0) {
      la1tokens[jj_kind] = true;
      jj_kind = -1;
    }
    for (int i = 0; i < 17; 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 < 41; i++) {
      if (la1tokens[i]) {
        jj_expentry = new int[1];
        jj_expentry[0] = i;
        jj_expentries.addElement(jj_expentry);
      }
    }
    int[][] exptokseq = new int[jj_expentries.size()][];
    for (int i = 0; i < jj_expentries.size(); i++) {
      exptokseq[i] = (int[])jj_expentries.elementAt(i);
    }
    return new ParseException(token, exptokseq, tokenImage);
  }

  final public void enable_tracing() {
  }

  final public void disable_tracing() {
  }

  }