/* ExpressionParser.java */
/* Generated By:JavaCC: Do not edit this line. ExpressionParser.java */
package dfatool.parser;

import java.io.ByteArrayInputStream;
import dfatool.expressions.*;
import java.util.ArrayList;
import java.util.HashSet;
import java.util.List;
import java.util.Set;


public class ExpressionParser implements ExpressionParserConstants {
  public static void main(String args []) throws ParseException
  {
     Test t = new Test();
      t.run();
   }

  final public Expression ExpressionRule() throws ParseException {Expression exp;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case LBRAC:
    case LANGLE:
    case LPAR:
    case IF:
    case CONSTANT:
    case IDENTIFIER:{
      //exp=DeclarativeExpressionRule()|
              exp = OperationalExpressionRule();
      break;
      }
    case LBRACBAR:{
      exp = ExtensionExpressionRule();
      break;
      }
    default:
      jj_la1[0] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
{if ("" != null) return exp;}
    throw new Error("Missing return statement in function");
  }

  final public Expression OperationalExpressionRule() throws ParseException {Expression exp;
    exp = UnaryExpressionRule();
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case DOT:{
      exp = TupleExpressionRule(exp);
      break;
      }
    default:
      jj_la1[1] = jj_gen;
      ;
    }
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case EQUAL:
    case DIFF:
    case PLUS:
    case MINUS:
    case MOD:{
      exp = BinaryExpressionRule(exp);
      break;
      }
    default:
      jj_la1[2] = jj_gen;
      ;
    }
{if ("" != null) return exp;}
    throw new Error("Missing return statement in function");
  }

  final public Expression UnaryExpressionRule() throws ParseException {Expression exp;
  Token t;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case CONSTANT:{
      t = jj_consume_token(CONSTANT);
exp = new IntExpression(Integer.parseInt(t.image));
      break;
      }
    case IDENTIFIER:{
      t = jj_consume_token(IDENTIFIER);
exp = new Id(t.image);
      break;
      }
    case LBRAC:{
      exp = SetExpressionRule();
      break;
      }
    case LANGLE:{
      exp = ListExpressionRule();
      break;
      }
    case LPAR:{
      jj_consume_token(LPAR);
      exp = OperationalExpressionRule();
      jj_consume_token(RPAR);
exp = new ParenthesisExpression(exp);
      break;
      }
    case IF:{
      exp = ConditionalExpressionRule();
      break;
      }
    default:
      jj_la1[3] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
{if ("" != null) return exp;}
    throw new Error("Missing return statement in function");
  }

  final public Expression ConditionalExpressionRule() throws ParseException {Expression bExp,exp1,exp2;
    jj_consume_token(IF);
    bExp = OperationalExpressionRule();
    jj_consume_token(THEN);
    exp1 = ExpressionRule();
    jj_consume_token(ELSE);
    exp2 = ExpressionRule();
{if ("" != null) return new ConditionalExpression(bExp,exp1,exp2);}
    throw new Error("Missing return statement in function");
  }

  final public SetExpression SetExpressionRule() throws ParseException {ListExpression list;
    jj_consume_token(LBRAC);
    if (jj_2_1(3)) {
      list = RangeRule();
    } else {
      list = EnumerationRule();
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case VERTBAR:{
        list = ComprehensionRule(list);
        break;
        }
      default:
        jj_la1[4] = jj_gen;
        ;
      }
    }
    jj_consume_token(RBRAC);
{if ("" != null) return new SetExpression(list);}
    throw new Error("Missing return statement in function");
  }

  final public ListExpression ListExpressionRule() throws ParseException {ListExpression list;
    jj_consume_token(LANGLE);
    if (jj_2_2(3)) {
      list = RangeRule();
    } else {
      list = EnumerationRule();
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case VERTBAR:{
        list = ComprehensionRule(list);
        break;
        }
      default:
        jj_la1[5] = jj_gen;
        ;
      }
    }
    jj_consume_token(RANGLE);
{if ("" != null) return list;}
    throw new Error("Missing return statement in function");
  }

  final public ExtensionExpression ExtensionExpressionRule() throws ParseException {ListExpression list;
    jj_consume_token(LBRACBAR);
    list = EnumerationRule();
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case VERTBAR:{
      list = ComprehensionRule(list);
      break;
      }
    default:
      jj_la1[6] = jj_gen;
      ;
    }
    jj_consume_token(RBRACBAR);
{if ("" != null) return new ExtensionExpression(new SetExpression(list));}
    throw new Error("Missing return statement in function");
  }

  final public ListExpression RangeRule() throws ParseException {Token ini;
        Token fin;
    ini = jj_consume_token(CONSTANT);
    jj_consume_token(DOTDOT);
    fin = jj_consume_token(CONSTANT);
{if ("" != null) return new Range(Integer.parseInt( ini.image ),Integer.parseInt( fin.image ));}
    throw new Error("Missing return statement in function");
  }

  final public ListExpression EnumerationRule() throws ParseException {List<Expression> list;
    list = ExpressionListRule();
{if ("" != null) return new EnumExpression(list);}
    throw new Error("Missing return statement in function");
  }

  final public List<Expression> ExpressionListRule() throws ParseException {List<Expression> list = new ArrayList<Expression>();
  Expression exp;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case LBRAC:
    case LANGLE:
    case LPAR:
    case IF:
    case CONSTANT:
    case IDENTIFIER:{
      exp = OperationalExpressionRule();
list.add(exp);
      label_1:
      while (true) {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case COMMA:{
          ;
          break;
          }
        default:
          jj_la1[7] = jj_gen;
          break label_1;
        }
        jj_consume_token(COMMA);
        exp = OperationalExpressionRule();
list.add(exp);
      }
      break;
      }
    default:
      jj_la1[8] = jj_gen;
      ;
    }
{if ("" != null) return list;}
    throw new Error("Missing return statement in function");
  }

  final public ListExpression ComprehensionRule(ListExpression setEnum) throws ParseException {List listMem = new ArrayList();
  SetExtension mExp;
  List listBool = new ArrayList();
  Expression bExp;
    jj_consume_token(VERTBAR);
    if (jj_2_3(3)) {
      mExp = MembershipExpressionRule();
listMem.add(mExp);
    } else {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case LBRAC:
      case LANGLE:
      case LPAR:
      case IF:
      case CONSTANT:
      case IDENTIFIER:{
        bExp = UnaryExpressionRule();
        bExp = BinaryExpressionRule(bExp);
listBool.add(bExp);
        break;
        }
      default:
        jj_la1[9] = jj_gen;
        jj_consume_token(-1);
        throw new ParseException();
      }
    }
    label_2:
    while (true) {
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case COMMA:{
        ;
        break;
        }
      default:
        jj_la1[10] = jj_gen;
        break label_2;
      }
      jj_consume_token(COMMA);
      if (jj_2_4(3)) {
        mExp = MembershipExpressionRule();
listMem.add(mExp);
      } else {
        switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
        case LBRAC:
        case LANGLE:
        case LPAR:
        case IF:
        case CONSTANT:
        case IDENTIFIER:{
          bExp = UnaryExpressionRule();
          bExp = BinaryExpressionRule(bExp);
listBool.add(bExp);
          break;
          }
        default:
          jj_la1[11] = jj_gen;
          jj_consume_token(-1);
          throw new ParseException();
        }
      }
    }
{if ("" != null) return new ComprehensionExpression(setEnum,listMem,listBool);}
    throw new Error("Missing return statement in function");
  }

  final public BinaryExpression BinaryExpressionRule(Expression uExp) throws ParseException {Token t;
  Expression rExp;
  Expression lExp = uExp;
    switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
    case EQUAL:{
      jj_consume_token(EQUAL);
      rExp = OperationalExpressionRule();
{if ("" != null) return new EqualExpression(lExp,rExp);}
      break;
      }
    case DIFF:{
      jj_consume_token(DIFF);
      rExp = OperationalExpressionRule();
{if ("" != null) return new DifferentExpression(lExp,rExp);}
      break;
      }
    case PLUS:{
      jj_consume_token(PLUS);
      rExp = OperationalExpressionRule();
{if ("" != null) return new PlusExpression(lExp,rExp);}
      break;
      }
    case MINUS:{
      jj_consume_token(MINUS);
      rExp = OperationalExpressionRule();
{if ("" != null) return new MinusExpression(lExp,rExp);}
      break;
      }
    case MOD:{
      jj_consume_token(MOD);
      rExp = OperationalExpressionRule();
{if ("" != null) return new ModExpression(lExp,rExp);}
      break;
      }
    default:
      jj_la1[12] = jj_gen;
      jj_consume_token(-1);
      throw new ParseException();
    }
    throw new Error("Missing return statement in function");
  }

  final public SetExtension MembershipExpressionRule() throws ParseException {SetExpression set;
  Token id;
    id = jj_consume_token(IDENTIFIER);
    jj_consume_token(30);
    set = SetExpressionRule();
{if ("" != null) return new SetExtension(new Id(id.image),set);}
    throw new Error("Missing return statement in function");
  }

  final public SetExpression UnionRule(Expression uexp) throws ParseException {List<Expression> list = new ArrayList<Expression>();
  Token name;
  Expression exp;
list.add(uexp);
    label_3:
    while (true) {
      jj_consume_token(VERTBAR);
      exp = UnaryExpressionRule();
list.add(exp);
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case VERTBAR:{
        ;
        break;
        }
      default:
        jj_la1[13] = jj_gen;
        break label_3;
      }
    }
{if ("" != null) return new SetExpression(new EnumExpression(list));}
    throw new Error("Missing return statement in function");
  }

  final public TupleExpression TupleExpressionRule(Expression uexp) throws ParseException {List list = new ArrayList();
  Expression exp;
list.add(uexp);
    label_4:
    while (true) {
      jj_consume_token(DOT);
      exp = UnaryExpressionRule();
list.add(exp);
      switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) {
      case DOT:{
        ;
        break;
        }
      default:
        jj_la1[14] = jj_gen;
        break label_4;
      }
    }
{if ("" != null) return new TupleExpression(list);}
    throw new Error("Missing return statement in function");
  }

  private boolean jj_2_1(int xla)
 {
    jj_la = xla; jj_lastpos = jj_scanpos = token;
    try { return !jj_3_1(); }
    catch(LookaheadSuccess ls) { return true; }
    finally { jj_save(0, xla); }
  }

  private boolean jj_2_2(int xla)
 {
    jj_la = xla; jj_lastpos = jj_scanpos = token;
    try { return !jj_3_2(); }
    catch(LookaheadSuccess ls) { return true; }
    finally { jj_save(1, xla); }
  }

  private boolean jj_2_3(int xla)
 {
    jj_la = xla; jj_lastpos = jj_scanpos = token;
    try { return !jj_3_3(); }
    catch(LookaheadSuccess ls) { return true; }
    finally { jj_save(2, xla); }
  }

  private boolean jj_2_4(int xla)
 {
    jj_la = xla; jj_lastpos = jj_scanpos = token;
    try { return !jj_3_4(); }
    catch(LookaheadSuccess ls) { return true; }
    finally { jj_save(3, xla); }
  }

  private boolean jj_3_1()
 {
    if (jj_3R_5()) return true;
    return false;
  }

  private boolean jj_3_3()
 {
    if (jj_3R_6()) return true;
    return false;
  }

  private boolean jj_3_4()
 {
    if (jj_3R_6()) return true;
    return false;
  }

  private boolean jj_3R_7()
 {
    if (jj_scan_token(LBRAC)) return true;
    return false;
  }

  private boolean jj_3_2()
 {
    if (jj_3R_5()) return true;
    return false;
  }

  private boolean jj_3R_6()
 {
    if (jj_scan_token(IDENTIFIER)) return true;
    if (jj_scan_token(30)) return true;
    if (jj_3R_7()) return true;
    return false;
  }

  private boolean jj_3R_5()
 {
    if (jj_scan_token(CONSTANT)) return true;
    if (jj_scan_token(DOTDOT)) return true;
    if (jj_scan_token(CONSTANT)) return true;
    return false;
  }

  /** Generated Token Manager. */
  public ExpressionParserTokenManager token_source;
  SimpleCharStream jj_input_stream;
  /** Current token. */
  public Token token;
  /** Next token. */
  public Token jj_nt;
  private int jj_ntk;
  private Token jj_scanpos, jj_lastpos;
  private int jj_la;
  private int jj_gen;
  final private int[] jj_la1 = new int[15];
  static private int[] jj_la1_0;
  static {
      jj_la1_init_0();
   }
   private static void jj_la1_init_0() {
      jj_la1_0 = new int[] {0x2484a800,0x80,0x700060,0x24848800,0x200,0x200,0x200,0x100,0x24848800,0x24848800,0x100,0x24848800,0x700060,0x200,0x80,};
   }
  final private JJCalls[] jj_2_rtns = new JJCalls[4];
  private boolean jj_rescan = false;
  private int jj_gc = 0;

  /** Constructor with InputStream. */
  public ExpressionParser(java.io.InputStream stream) {
     this(stream, null);
  }
  /** Constructor with InputStream and supplied encoding */
  public ExpressionParser(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 ExpressionParserTokenManager(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 15; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** 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 < 15; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** Constructor. */
  public ExpressionParser(java.io.Reader stream) {
    jj_input_stream = new SimpleCharStream(stream, 1, 1);
    token_source = new ExpressionParserTokenManager(jj_input_stream);
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 15; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** 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 < 15; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

  /** Constructor with generated Token Manager. */
  public ExpressionParser(ExpressionParserTokenManager tm) {
    token_source = tm;
    token = new Token();
    jj_ntk = -1;
    jj_gen = 0;
    for (int i = 0; i < 15; i++) jj_la1[i] = -1;
    for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls();
  }

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

  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++;
      if (++jj_gc > 100) {
        jj_gc = 0;
        for (int i = 0; i < jj_2_rtns.length; i++) {
          JJCalls c = jj_2_rtns[i];
          while (c != null) {
            if (c.gen < jj_gen) c.first = null;
            c = c.next;
          }
        }
      }
      return token;
    }
    token = oldToken;
    jj_kind = kind;
    throw generateParseException();
  }

  @SuppressWarnings("serial")
  static private final class LookaheadSuccess extends java.lang.Error { }
  final private LookaheadSuccess jj_ls = new LookaheadSuccess();
  private boolean jj_scan_token(int kind) {
    if (jj_scanpos == jj_lastpos) {
      jj_la--;
      if (jj_scanpos.next == null) {
        jj_lastpos = jj_scanpos = jj_scanpos.next = token_source.getNextToken();
      } else {
        jj_lastpos = jj_scanpos = jj_scanpos.next;
      }
    } else {
      jj_scanpos = jj_scanpos.next;
    }
    if (jj_rescan) {
      int i = 0; Token tok = token;
      while (tok != null && tok != jj_scanpos) { i++; tok = tok.next; }
      if (tok != null) jj_add_error_token(kind, i);
    }
    if (jj_scanpos.kind != kind) return true;
    if (jj_la == 0 && jj_scanpos == jj_lastpos) throw jj_ls;
    return false;
  }


/** 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_f() {
    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<int[]> jj_expentries = new java.util.ArrayList<int[]>();
  private int[] jj_expentry;
  private int jj_kind = -1;
  private int[] jj_lasttokens = new int[100];
  private int jj_endpos;

  private void jj_add_error_token(int kind, int pos) {
    if (pos >= 100) return;
    if (pos == jj_endpos + 1) {
      jj_lasttokens[jj_endpos++] = kind;
    } else if (jj_endpos != 0) {
      jj_expentry = new int[jj_endpos];
      for (int i = 0; i < jj_endpos; i++) {
        jj_expentry[i] = jj_lasttokens[i];
      }
      jj_entries_loop: for (java.util.Iterator<?> it = jj_expentries.iterator(); it.hasNext();) {
        int[] oldentry = (int[])(it.next());
        if (oldentry.length == jj_expentry.length) {
          for (int i = 0; i < jj_expentry.length; i++) {
            if (oldentry[i] != jj_expentry[i]) {
              continue jj_entries_loop;
            }
          }
          jj_expentries.add(jj_expentry);
          break jj_entries_loop;
        }
      }
      if (pos != 0) jj_lasttokens[(jj_endpos = pos) - 1] = kind;
    }
  }

  /** Generate ParseException. */
  public ParseException generateParseException() {
    jj_expentries.clear();
    boolean[] la1tokens = new boolean[31];
    if (jj_kind >= 0) {
      la1tokens[jj_kind] = true;
      jj_kind = -1;
    }
    for (int i = 0; i < 15; 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 < 31; i++) {
      if (la1tokens[i]) {
        jj_expentry = new int[1];
        jj_expentry[0] = i;
        jj_expentries.add(jj_expentry);
      }
    }
    jj_endpos = 0;
    jj_rescan_token();
    jj_add_error_token(0, 0);
    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);
  }

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

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

  private void jj_rescan_token() {
    jj_rescan = true;
    for (int i = 0; i < 4; i++) {
    try {
      JJCalls p = jj_2_rtns[i];
      do {
        if (p.gen > jj_gen) {
          jj_la = p.arg; jj_lastpos = jj_scanpos = p.first;
          switch (i) {
            case 0: jj_3_1(); break;
            case 1: jj_3_2(); break;
            case 2: jj_3_3(); break;
            case 3: jj_3_4(); break;
          }
        }
        p = p.next;
      } while (p != null);
      } catch(LookaheadSuccess ls) { }
    }
    jj_rescan = false;
  }

  private void jj_save(int index, int xla) {
    JJCalls p = jj_2_rtns[index];
    while (p.gen > jj_gen) {
      if (p.next == null) { p = p.next = new JJCalls(); break; }
      p = p.next;
    }
    p.gen = jj_gen + xla - jj_la; p.first = token; p.arg = xla;
  }

  static final class JJCalls {
    int gen;
    Token first;
    int arg;
    JJCalls next;
  }

}
