diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java index d2556b72..2f98c0b1 100644 --- a/prism/src/parser/PrismParser.java +++ b/prism/src/parser/PrismParser.java @@ -1992,68 +1992,6 @@ ret.setFireOn(fireOn); throw new Error("Missing return statement in function"); } - static final public ExpressionAccumulation ExpressionAccumulationBinary(boolean prop, boolean pathprop) throws ParseException {ExpressionAccumulation ret = new ExpressionAccumulation(AccumulationSymbol.ACCUNTIL); - - AccumulationConstraint constr; - TemporalOperatorBound bound; - Expression reg; - ArrayList fireOn; - - Expression op1; - Expression op2; - jj_consume_token(LPARENTH); - op1 = Expression(prop, pathprop); -ret.setOperand1(op1); - jj_consume_token(RPARENTH); - jj_consume_token(ACCUNTIL); - jj_consume_token(LPARENTH); - switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { - case REGEXP_MARKER:{ - jj_consume_token(REGEXP_MARKER); - reg = ExpressionRegularUnary(prop, false); -ret.setRegularExpression((ExpressionRegular)reg); - break; - } - case LBRACKET: - case EQ: - case LT: - case GT: - case LE: - case GE:{ - bound = BoundExpression(); -ret.setBoundExpression(bound); - break; - } - default: - jj_la1[52] = jj_gen; - jj_consume_token(-1); - throw new ParseException(); - } - jj_consume_token(RPARENTH); - jj_consume_token(LPARENTH); - constr = ExpressionAccumulationConstraint(); -ret.setConstraint(constr); - jj_consume_token(RPARENTH); - switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { - case LPARENTH:{ - jj_consume_token(LPARENTH); - fireOn = ExpressionAccumulationFire(); -ret.setFireOn(fireOn); - jj_consume_token(RPARENTH); - break; - } - default: - jj_la1[53] = jj_gen; - ; - } - jj_consume_token(LPARENTH); - op2 = Expression(prop, pathprop); -ret.setOperand2(op2); - jj_consume_token(RPARENTH); -{if ("" != null) return ret;} - throw new Error("Missing return statement in function"); -} - static final public ArrayList ExpressionAccumulationFire() throws ParseException {ArrayList ret = new ArrayList(); Expression s; switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2103,7 +2041,7 @@ ret.add(s); break; } default: - jj_la1[54] = jj_gen; + jj_la1[52] = jj_gen; break label_18; } jj_consume_token(COMMA); @@ -2114,7 +2052,7 @@ ret.add(s); break; } default: - jj_la1[55] = jj_gen; + jj_la1[53] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2143,7 +2081,7 @@ factors.add(factor); break; } default: - jj_la1[56] = jj_gen; + jj_la1[54] = jj_gen; break label_19; } jj_consume_token(PLUS); @@ -2195,7 +2133,7 @@ factors.add(factor); break; } default: - jj_la1[57] = jj_gen; + jj_la1[55] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2239,7 +2177,7 @@ func = AccumulationFunction.ACC_STEPS; break; } default: - jj_la1[58] = jj_gen; + jj_la1[56] = jj_gen; ; } func = AccumulationFunction.ACC_REWARD; @@ -2275,7 +2213,7 @@ expr = new ExpressionRegular(ExpressionRegular.P_O, expr, null); break; } default: - jj_la1[59] = jj_gen; + jj_la1[57] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2286,7 +2224,7 @@ expr = new ExpressionRegular(ExpressionRegular.P_K, expr, null); break; } default: - jj_la1[60] = jj_gen; + jj_la1[58] = jj_gen; ; } {if ("" != null) return expr;} @@ -2304,7 +2242,7 @@ ret = new ExpressionRegular(ExpressionRegular.P_C, left,right); break; } default: - jj_la1[61] = jj_gen; + jj_la1[59] = jj_gen; ; } {if ("" != null) return ret;} @@ -2322,7 +2260,7 @@ ret = new ExpressionRegular(ExpressionRegular.P_O, left,right); break; } default: - jj_la1[62] = jj_gen; + jj_la1[60] = jj_gen; ; } {if ("" != null) return ret;} @@ -2376,7 +2314,7 @@ TemporalOperatorBound BoundExpression() throws ParseException {Expression lBound break; } default: - jj_la1[63] = jj_gen; + jj_la1[61] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2425,7 +2363,7 @@ bound.setUpperBound(uBound, false); break; } default: - jj_la1[64] = jj_gen; + jj_la1[62] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2474,7 +2412,7 @@ bound.setUpperBound(uBound, true); break; } default: - jj_la1[65] = jj_gen; + jj_la1[63] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2523,7 +2461,7 @@ bound.setLowerBound(lBound, false); break; } default: - jj_la1[66] = jj_gen; + jj_la1[64] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2547,7 +2485,7 @@ bound.setEqualBounds(lBound); break; } default: - jj_la1[67] = jj_gen; + jj_la1[65] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2563,7 +2501,7 @@ bound.setEqualBounds(lBound); break; } default: - jj_la1[68] = jj_gen; + jj_la1[66] = jj_gen; ; } jj_consume_token(LBRACE); @@ -2577,7 +2515,7 @@ bounds.addBound(bound); break; } default: - jj_la1[69] = jj_gen; + jj_la1[67] = jj_gen; break label_20; } jj_consume_token(COMMA); @@ -2625,7 +2563,7 @@ bound.setBoundType(TemporalOperatorBound.BoundType.STEP_BOUND); break; } default: - jj_la1[70] = jj_gen; + jj_la1[68] = jj_gen; ; } bound = BoundExpression(); @@ -2655,7 +2593,7 @@ ret = new ExpressionITE(ret, left, right); ret.setPosition(begin, getToken(0)); break; } default: - jj_la1[71] = jj_gen; + jj_la1[69] = jj_gen; ; } {if ("" != null) return ret;} @@ -2676,7 +2614,7 @@ begin = getToken(1); break; } default: - jj_la1[72] = jj_gen; + jj_la1[70] = jj_gen; break label_21; } jj_consume_token(IMPLIES); @@ -2701,7 +2639,7 @@ begin = getToken(1); break; } default: - jj_la1[73] = jj_gen; + jj_la1[71] = jj_gen; break label_22; } jj_consume_token(IFF); @@ -2726,7 +2664,7 @@ begin = getToken(1); break; } default: - jj_la1[74] = jj_gen; + jj_la1[72] = jj_gen; break label_23; } jj_consume_token(OR); @@ -2751,7 +2689,7 @@ begin = getToken(1); break; } default: - jj_la1[75] = jj_gen; + jj_la1[73] = jj_gen; break label_24; } jj_consume_token(AND); @@ -2800,7 +2738,7 @@ ret = new ExpressionUnaryOp(ExpressionUnaryOp.NOT, expr); ret.setPosition(begin, break; } default: - jj_la1[76] = jj_gen; + jj_la1[74] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2824,7 +2762,7 @@ begin = getToken(1); break; } default: - jj_la1[77] = jj_gen; + jj_la1[75] = jj_gen; break label_25; } op = EqNeq(); @@ -2853,7 +2791,7 @@ begin = getToken(1); break; } default: - jj_la1[78] = jj_gen; + jj_la1[76] = jj_gen; break label_26; } op = LtGt(); @@ -2887,7 +2825,7 @@ begin = getToken(1); break; } default: - jj_la1[79] = jj_gen; + jj_la1[77] = jj_gen; break label_27; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2902,7 +2840,7 @@ op = ExpressionBinaryOp.MINUS; break; } default: - jj_la1[80] = jj_gen; + jj_la1[78] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2929,7 +2867,7 @@ begin = getToken(1); break; } default: - jj_la1[81] = jj_gen; + jj_la1[79] = jj_gen; break label_28; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2944,7 +2882,7 @@ op = ExpressionBinaryOp.DIVIDE; break; } default: - jj_la1[82] = jj_gen; + jj_la1[80] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2992,7 +2930,7 @@ ret = new ExpressionUnaryOp(ExpressionUnaryOp.MINUS, expr); ret.setPosition(begi break; } default: - jj_la1[83] = jj_gen; + jj_la1[81] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3067,7 +3005,7 @@ Expression ExpressionBasic(boolean prop, boolean pathprop) throws ParseException break; } default: - jj_la1[84] = jj_gen; + jj_la1[82] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3099,7 +3037,7 @@ ret = new ExpressionFunc(s); break; } default: - jj_la1[85] = jj_gen; + jj_la1[83] = jj_gen; ; } ret.setPosition(begin, getToken(0)); {if ("" != null) return ret;} @@ -3123,7 +3061,7 @@ s = "max"; break; } default: - jj_la1[86] = jj_gen; + jj_la1[84] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3158,7 +3096,7 @@ s = "max"; break; } default: - jj_la1[87] = jj_gen; + jj_la1[85] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3183,7 +3121,7 @@ func.addOperand(expr); break; } default: - jj_la1[88] = jj_gen; + jj_la1[86] = jj_gen; break label_29; } jj_consume_token(COMMA); @@ -3235,7 +3173,7 @@ ret = new ExpressionLiteral(TypeBool.getInstance(), false); break; } default: - jj_la1[89] = jj_gen; + jj_la1[87] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3282,7 +3220,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[90] = jj_gen; + jj_la1[88] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3300,14 +3238,14 @@ minMax = MinMax.max(); break; } default: - jj_la1[91] = jj_gen; + jj_la1[89] = jj_gen; jj_consume_token(-1); throw new ParseException(); } break; } default: - jj_la1[92] = jj_gen; + jj_la1[90] = jj_gen; ; } break; @@ -3323,7 +3261,7 @@ minMax = MinMax.max(); break; } default: - jj_la1[93] = jj_gen; + jj_la1[91] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3344,7 +3282,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[94] = jj_gen; + jj_la1[92] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3357,7 +3295,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[95] = jj_gen; + jj_la1[93] = jj_gen; ; } } else { @@ -3368,7 +3306,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[96] = jj_gen; + jj_la1[94] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3477,7 +3415,7 @@ result = Expression.Not(result); break; } default: - jj_la1[97] = jj_gen; + jj_la1[95] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3501,7 +3439,7 @@ result = new ExpressionHOA(hoaAutomatonFile); break; } default: - jj_la1[98] = jj_gen; + jj_la1[96] = jj_gen; break label_30; } jj_consume_token(COMMA); @@ -3531,7 +3469,7 @@ filter = new Filter(expr); break; } default: - jj_la1[99] = jj_gen; + jj_la1[97] = jj_gen; break label_31; } jj_consume_token(LBRACE); @@ -3547,7 +3485,7 @@ filter.setMaxRequested(true); break; } default: - jj_la1[100] = jj_gen; + jj_la1[98] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3585,7 +3523,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[101] = jj_gen; + jj_la1[99] = jj_gen; ; } r = LtGt(); @@ -3600,7 +3538,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[102] = jj_gen; + jj_la1[100] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3612,7 +3550,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[103] = jj_gen; + jj_la1[101] = jj_gen; ; } jj_consume_token(RBRACKET); @@ -3658,7 +3596,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[104] = jj_gen; + jj_la1[102] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3667,7 +3605,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[105] = jj_gen; + jj_la1[103] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3685,14 +3623,14 @@ minMax = MinMax.max(); break; } default: - jj_la1[106] = jj_gen; + jj_la1[104] = jj_gen; jj_consume_token(-1); throw new ParseException(); } break; } default: - jj_la1[107] = jj_gen; + jj_la1[105] = jj_gen; ; } break; @@ -3708,7 +3646,7 @@ minMax = MinMax.max(); break; } default: - jj_la1[108] = jj_gen; + jj_la1[106] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3729,7 +3667,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[109] = jj_gen; + jj_la1[107] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3741,7 +3679,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[110] = jj_gen; + jj_la1[108] = jj_gen; ; } jj_consume_token(RBRACKET); @@ -3776,7 +3714,7 @@ void RewardSpecification(ExpressionReward exprRew) throws ParseException {Object break; } default: - jj_la1[111] = jj_gen; + jj_la1[109] = jj_gen; ; } exprRew.setRewardStructIndex(index); @@ -3826,7 +3764,7 @@ exprRew.setRewardStructIndex(index); break; } default: - jj_la1[112] = jj_gen; + jj_la1[110] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3859,7 +3797,7 @@ ret = new ExpressionTemporal(ExpressionTemporal.R_S, null, null); break; } default: - jj_la1[113] = jj_gen; + jj_la1[111] = jj_gen; if (jj_2_28(2147483647)) { begin = jj_consume_token(C); jj_consume_token(LE); @@ -3915,7 +3853,7 @@ ret = expr; break; } default: - jj_la1[114] = jj_gen; + jj_la1[112] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3984,7 +3922,7 @@ ret = new ExpressionStrategy(false); break; } default: - jj_la1[115] = jj_gen; + jj_la1[113] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4009,7 +3947,7 @@ ret = new ExpressionStrategy(false); break; } default: - jj_la1[116] = jj_gen; + jj_la1[114] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4022,7 +3960,7 @@ ret.addOperand(expr); break; } default: - jj_la1[117] = jj_gen; + jj_la1[115] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4042,7 +3980,7 @@ exprStrat.setCoalitionAllPlayers(); break; } default: - jj_la1[120] = jj_gen; + jj_la1[118] = jj_gen; switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case REG_INT: case REG_IDENT:{ @@ -4056,7 +3994,7 @@ coalition.add(s); break; } default: - jj_la1[118] = jj_gen; + jj_la1[116] = jj_gen; break label_32; } jj_consume_token(COMMA); @@ -4066,7 +4004,7 @@ coalition.add(s); break; } default: - jj_la1[119] = jj_gen; + jj_la1[117] = jj_gen; ; } exprStrat.setCoalition(coalition); @@ -4086,7 +4024,7 @@ String ExpressionStrategyCoalitionPlayer() throws ParseException {String s; break; } default: - jj_la1[121] = jj_gen; + jj_la1[119] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4149,7 +4087,7 @@ op = "|"; break; } default: - jj_la1[122] = jj_gen; + jj_la1[120] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4162,7 +4100,7 @@ op = "|"; break; } default: - jj_la1[123] = jj_gen; + jj_la1[121] = jj_gen; ; } jj_consume_token(RPARENTH); @@ -4226,7 +4164,7 @@ s = getToken(0).image; break; } default: - jj_la1[124] = jj_gen; + jj_la1[122] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4258,7 +4196,7 @@ ident="max"; break; } default: - jj_la1[125] = jj_gen; + jj_la1[123] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4295,7 +4233,7 @@ int EqNeq() throws ParseException { break; } default: - jj_la1[126] = jj_gen; + jj_la1[124] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4327,7 +4265,7 @@ int LtGt() throws ParseException { break; } default: - jj_la1[127] = jj_gen; + jj_la1[125] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4353,7 +4291,7 @@ begin = getToken(1); break; } default: - jj_la1[128] = jj_gen; + jj_la1[126] = jj_gen; ; } jj_consume_token(0); @@ -4590,146 +4528,472 @@ fl.setLHS(s); finally { jj_save(27, xla); } } - static private boolean jj_3_21() + static private boolean jj_3R_146() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("reward"); - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_46()) return true; - if (jj_3R_33()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_163()) jj_scanpos = xsp; - if (jj_3R_122()) return true; + if (jj_scan_token(IFF)) return true; + if (jj_3R_145()) return true; return false; } - static private boolean jj_3_20() + static private boolean jj_3R_50() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("steps"); - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_45()) return true; - if (jj_3R_33()) return true; - if (jj_3R_122()) return true; return false; } - static private boolean jj_3_19() + static private boolean jj_3R_128() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("time"); - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_44()) return true; - if (jj_3R_33()) return true; - if (jj_3R_122()) return true; + if (jj_3R_145()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_146()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_143() + static private boolean jj_3R_35() { - Token xsp; - xsp = jj_scanpos; - if (jj_3_19()) { - jj_scanpos = xsp; - if (jj_3_20()) { - jj_scanpos = xsp; - if (jj_3_21()) return true; - } - } + if (jj_3R_34()) return true; return false; } - static private boolean jj_3R_233() + static private boolean jj_3R_54() { - if (jj_scan_token(COMMA)) return true; if (jj_3R_57()) return true; return false; } - static private boolean jj_3R_232() + static private boolean jj_3R_49() { - if (jj_3R_33()) return true; return false; } - static private boolean jj_3R_237() + static private boolean jj_3R_129() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_43()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(IMPLIES)) return true; + if (jj_3R_128()) return true; return false; } - static private boolean jj_3R_229() + static private boolean jj_3_25() { - if (jj_scan_token(PLUS)) return true; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT + && getToken(2).kind==COLON; + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_50()) return true; + if (jj_3R_43()) return true; return false; } - static private boolean jj_3R_57() + static private boolean jj_3R_231() { - if (jj_3R_65()) return true; + if (jj_scan_token(OR)) return true; return false; } - static private boolean jj_3R_227() + static private boolean jj_3R_57() { - if (jj_scan_token(MIN)) return true; + if (jj_3R_65()) return true; return false; } - static private boolean jj_3_18() + static private boolean jj_3R_110() { - if (jj_3R_43()) return true; - if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_128()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_129()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3_17() + static private boolean jj_3R_48() { - if (jj_3R_43()) return true; - if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3R_144() + static private boolean jj_3_4() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_143()) return true; + if (jj_scan_token(LABEL)) return true; return false; } - static private boolean jj_3_4() + static private boolean jj_3R_43() { - if (jj_scan_token(LABEL)) return true; + if (jj_3R_33()) return true; return false; } - static private boolean jj_3_16() + static private boolean jj_3R_111() { - if (jj_3R_43()) return true; - if (jj_scan_token(LPARENTH)) return true; + if (jj_scan_token(QMARK)) return true; + if (jj_3R_110()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_3R_93()) return true; return false; } - static private boolean jj_3_15() + static private boolean jj_3_24() { + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==NOT + && getToken(2).kind==REG_IDENT + && getToken(2).image.equals("HOA") + && getToken(3).kind==COLON; + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_49()) return true; + if (jj_scan_token(NOT)) return true; if (jj_3R_43()) return true; - if (jj_scan_token(LPARENTH)) return true; + if (jj_scan_token(COLON)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_266()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_215() + static private boolean jj_3_3() { - if (jj_scan_token(REGEXP_MARKER)) return true; - if (jj_3R_147()) return true; + if (jj_scan_token(LABEL)) return true; + if (jj_3R_35()) return true; return false; } - static private boolean jj_3R_127() + static private boolean jj_3_23() { - Token xsp; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT + && getToken(1).image.equals("HOA") + && getToken(2).kind==COLON; + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_48()) return true; + if (jj_3R_43()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_266()) return true; + if (jj_scan_token(RBRACE)) return true; + return false; + } + + static private boolean jj_3R_93() + { + if (jj_3R_110()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_111()) jj_scanpos = xsp; + return false; + } + + static private boolean jj_3R_47() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3_23()) { + jj_scanpos = xsp; + if (jj_3_24()) { + jj_scanpos = xsp; + if (jj_3_25()) { + jj_scanpos = xsp; + if (jj_3R_54()) return true; + } + } + } + return false; + } + + static private boolean jj_3R_105() + { + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_37()) return true; + if (jj_scan_token(RPARENTH)) return true; + return false; + } + + static private boolean jj_3R_34() + { + if (jj_scan_token(REG_QUOTED_IDENT)) return true; + return false; + } + + static private boolean jj_3R_256() + { + if (jj_scan_token(MAX)) return true; + return false; + } + + static private boolean jj_3R_239() + { + if (jj_3R_66()) return true; + return false; + } + + static private boolean jj_3R_104() + { + if (jj_3R_34()) return true; + return false; + } + + static private boolean jj_3R_230() + { + if (jj_scan_token(AND)) return true; + return false; + } + + static private boolean jj_3R_228() + { + if (jj_scan_token(MAX)) return true; + return false; + } + + static private boolean jj_3R_46() + { + return false; + } + + static private boolean jj_3R_45() + { + return false; + } + + static private boolean jj_3R_88() + { + if (jj_scan_token(COMMA)) return true; + if (jj_3R_33()) return true; + return false; + } + + static private boolean jj_3R_103() + { + if (jj_3R_33()) return true; + return false; + } + + static private boolean jj_3R_44() + { + return false; + } + + static private boolean jj_3R_163() + { + if (jj_3R_180()) return true; + return false; + } + + static private boolean jj_3R_33() + { + if (jj_scan_token(REG_IDENT)) return true; + return false; + } + + static private boolean jj_3R_86() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_103()) { + jj_scanpos = xsp; + if (jj_3R_104()) { + jj_scanpos = xsp; + if (jj_3R_105()) return true; + } + } + return false; + } + + static private boolean jj_3R_126() + { + if (jj_scan_token(COMMA)) return true; + if (jj_3R_33()) return true; + if (jj_scan_token(RENAME)) return true; + if (jj_3R_33()) return true; + return false; + } + + static private boolean jj_3_21() + { + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("reward"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_46()) return true; + if (jj_3R_33()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_163()) jj_scanpos = xsp; + if (jj_3R_122()) return true; + return false; + } + + static private boolean jj_3_9() + { + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + return false; + } + + static private boolean jj_3_20() + { + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("steps"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_45()) return true; + if (jj_3R_33()) return true; + if (jj_3R_122()) return true; + return false; + } + + static private boolean jj_3_19() + { + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("time"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_44()) return true; + if (jj_3R_33()) return true; + if (jj_3R_122()) return true; + return false; + } + + static private boolean jj_3R_143() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3_19()) { + jj_scanpos = xsp; + if (jj_3_20()) { + jj_scanpos = xsp; + if (jj_3_21()) return true; + } + } + return false; + } + + static private boolean jj_3R_233() + { + if (jj_scan_token(COMMA)) return true; + if (jj_3R_57()) return true; + return false; + } + + static private boolean jj_3R_232() + { + if (jj_3R_33()) return true; + return false; + } + + static private boolean jj_3R_69() + { + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + if (jj_3R_53()) return true; + return false; + } + + static private boolean jj_3R_107() + { + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_33()) return true; + if (jj_scan_token(RENAME)) return true; + if (jj_3R_33()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_126()) { jj_scanpos = xsp; break; } + } + if (jj_scan_token(RBRACE)) return true; + return false; + } + + static private boolean jj_3R_237() + { + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_43()) return true; + if (jj_scan_token(RPARENTH)) return true; + return false; + } + + static private boolean jj_3R_229() + { + if (jj_scan_token(PLUS)) return true; + return false; + } + + static private boolean jj_3R_227() + { + if (jj_scan_token(MIN)) return true; + return false; + } + + static private boolean jj_3_18() + { + if (jj_3R_43()) return true; + if (jj_scan_token(LPARENTH)) return true; + return false; + } + + static private boolean jj_3_17() + { + if (jj_3R_43()) return true; + if (jj_scan_token(LPARENTH)) return true; + return false; + } + + static private boolean jj_3R_144() + { + if (jj_scan_token(COMMA)) return true; + if (jj_3R_143()) return true; + return false; + } + + static private boolean jj_3_16() + { + if (jj_3R_43()) return true; + if (jj_scan_token(LPARENTH)) return true; + return false; + } + + static private boolean jj_3_15() + { + if (jj_3R_43()) return true; + if (jj_scan_token(LPARENTH)) return true; + return false; + } + + static private boolean jj_3R_215() + { + if (jj_scan_token(REGEXP_MARKER)) return true; + if (jj_3R_147()) return true; + return false; + } + + static private boolean jj_3R_87() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_106()) { + jj_scanpos = xsp; + if (jj_3R_107()) return true; + } + return false; + } + + static private boolean jj_3R_106() + { + if (jj_scan_token(DIVIDE)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_33()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_125()) { jj_scanpos = xsp; break; } + } + if (jj_scan_token(RBRACE)) return true; + return false; + } + + static private boolean jj_3R_127() + { + Token xsp; xsp = jj_scanpos; if (jj_scan_token(81)) jj_scanpos = xsp; if (jj_scan_token(LBRACE)) return true; @@ -4772,13 +5036,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3_3() - { - if (jj_scan_token(LABEL)) return true; - if (jj_3R_35()) return true; - return false; - } - static private boolean jj_3_22() { if (jj_3R_47()) return true; @@ -4795,6 +5052,17 @@ fl.setLHS(s); return false; } + static private boolean jj_3R_77() + { + if (jj_3R_86()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_87()) { jj_scanpos = xsp; break; } + } + return false; + } + static private boolean jj_3R_213() { if (jj_3R_64()) return true; @@ -4808,6 +5076,13 @@ fl.setLHS(s); return false; } + static private boolean jj_3_8() + { + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + return false; + } + static private boolean jj_3R_255() { if (jj_scan_token(MIN)) return true; @@ -4873,14 +5148,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_105() - { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_37()) return true; - if (jj_scan_token(RPARENTH)) return true; - return false; - } - static private boolean jj_3R_137() { if (jj_scan_token(LBRACKET)) return true; @@ -4903,9 +5170,11 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_104() + static private boolean jj_3R_62() { - if (jj_3R_34()) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + if (jj_3R_68()) return true; return false; } @@ -4971,16 +5240,10 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_88() - { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_33()) return true; - return false; - } - - static private boolean jj_3R_103() + static private boolean jj_3_10() { - if (jj_3R_33()) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(LBRACKET)) return true; return false; } @@ -5013,17 +5276,10 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_86() + static private boolean jj_3_2() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_103()) { - jj_scanpos = xsp; - if (jj_3R_104()) { - jj_scanpos = xsp; - if (jj_3R_105()) return true; - } - } + if (jj_3R_34()) return true; + if (jj_scan_token(COLON)) return true; return false; } @@ -5033,15 +5289,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_126() - { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_33()) return true; - if (jj_scan_token(RENAME)) return true; - if (jj_3R_33()) return true; - return false; - } - static private boolean jj_3R_236() { if (jj_scan_token(COMMA)) return true; @@ -5049,11 +5296,19 @@ fl.setLHS(s); return false; } - static private boolean jj_3_9() + static private boolean jj_3R_78() { if (jj_scan_token(OR)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_33()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_88()) { jj_scanpos = xsp; break; } + } + if (jj_scan_token(RBRACKET)) return true; if (jj_scan_token(OR)) return true; - if (jj_scan_token(OR)) return true; + if (jj_3R_77()) return true; return false; } @@ -5063,6 +5318,15 @@ fl.setLHS(s); return false; } + static private boolean jj_3R_68() + { + if (jj_3R_77()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_78()) jj_scanpos = xsp; + return false; + } + static private boolean jj_3R_275() { Token xsp; @@ -5090,30 +5354,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_69() - { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(OR)) return true; - if (jj_scan_token(OR)) return true; - if (jj_3R_53()) return true; - return false; - } - - static private boolean jj_3R_107() - { - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_33()) return true; - if (jj_scan_token(RENAME)) return true; - if (jj_3R_33()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_126()) { jj_scanpos = xsp; break; } - } - if (jj_scan_token(RBRACE)) return true; - return false; - } - static private boolean jj_3R_188() { if (jj_scan_token(LPARENTH)) return true; @@ -5148,31 +5388,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_87() - { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_106()) { - jj_scanpos = xsp; - if (jj_3R_107()) return true; - } - return false; - } - - static private boolean jj_3R_106() - { - if (jj_scan_token(DIVIDE)) return true; - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_33()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_125()) { jj_scanpos = xsp; break; } - } - if (jj_scan_token(RBRACE)) return true; - return false; - } - static private boolean jj_3R_260() { if (jj_scan_token(TIMES)) return true; @@ -5197,24 +5412,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_77() - { - if (jj_3R_86()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_87()) { jj_scanpos = xsp; break; } - } - return false; - } - - static private boolean jj_3_8() - { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(OR)) return true; - return false; - } - static private boolean jj_3R_208() { if (jj_scan_token(MAX)) return true; @@ -5242,11 +5439,14 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_62() + static private boolean jj_3R_61() { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(OR)) return true; if (jj_3R_68()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_69()) { jj_scanpos = xsp; break; } + } return false; } @@ -5256,13 +5456,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3_10() - { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(LBRACKET)) return true; - return false; - } - static private boolean jj_3R_250() { if (jj_3R_189()) return true; @@ -5292,13 +5485,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3_2() - { - if (jj_3R_34()) return true; - if (jj_scan_token(COLON)) return true; - return false; - } - static private boolean jj_3R_224() { if (jj_scan_token(LBRACKET)) return true; @@ -5327,22 +5513,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_78() - { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_33()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_88()) { jj_scanpos = xsp; break; } - } - if (jj_scan_token(RBRACKET)) return true; - if (jj_scan_token(OR)) return true; - if (jj_3R_77()) return true; - return false; - } - static private boolean jj_3R_193() { Token xsp; @@ -5365,15 +5535,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_68() - { - if (jj_3R_77()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_78()) jj_scanpos = xsp; - return false; - } - static private boolean jj_3R_130() { if (jj_scan_token(LBRACKET)) return true; @@ -5382,6 +5543,17 @@ fl.setLHS(s); return false; } + static private boolean jj_3R_53() + { + if (jj_3R_61()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_62()) { jj_scanpos = xsp; break; } + } + return false; + } + static private boolean jj_3R_199() { if (jj_scan_token(REG_INT)) return true; @@ -5457,6 +5629,12 @@ fl.setLHS(s); return false; } + static private boolean jj_3R_37() + { + if (jj_3R_53()) return true; + return false; + } + static private boolean jj_3R_40() { return false; @@ -5471,6 +5649,13 @@ fl.setLHS(s); return false; } + static private boolean jj_3_7() + { + if (jj_3R_34()) return true; + if (jj_3R_37()) return true; + return false; + } + static private boolean jj_3_14() { jj_lookingAhead = true; @@ -5484,17 +5669,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_61() - { - if (jj_3R_68()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_69()) { jj_scanpos = xsp; break; } - } - return false; - } - static private boolean jj_3_13() { jj_lookingAhead = true; @@ -5548,6 +5722,14 @@ fl.setLHS(s); return false; } + static private boolean jj_3_1() + { + if (jj_scan_token(MODULE)) return true; + if (jj_3R_33()) return true; + if (jj_scan_token(EQ)) return true; + return false; + } + static private boolean jj_3R_38() { return false; @@ -5608,17 +5790,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_53() - { - if (jj_3R_61()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_62()) { jj_scanpos = xsp; break; } - } - return false; - } - static private boolean jj_3R_139() { Token xsp; @@ -5642,6 +5813,12 @@ fl.setLHS(s); return false; } + static private boolean jj_3_6() + { + if (jj_3R_34()) return true; + return false; + } + static private boolean jj_3R_247() { if (jj_scan_token(I)) return true; @@ -5700,12 +5877,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_37() - { - if (jj_3R_53()) return true; - return false; - } - static private boolean jj_3_26() { if (jj_3R_34()) return true; @@ -5746,13 +5917,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3_7() - { - if (jj_3R_34()) return true; - if (jj_3R_37()) return true; - return false; - } - static private boolean jj_3R_179() { if (jj_3R_195()) return true; @@ -5802,14 +5966,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3_1() - { - if (jj_scan_token(MODULE)) return true; - if (jj_3R_33()) return true; - if (jj_scan_token(EQ)) return true; - return false; - } - static private boolean jj_3R_280() { if (jj_scan_token(DIVIDE)) return true; @@ -5846,325 +6002,148 @@ fl.setLHS(s); if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_196()) { - jj_scanpos = xsp; - if (jj_3R_197()) return true; - } - if (jj_scan_token(RBRACE)) return true; - return false; - } - - static private boolean jj_3R_171() - { - if (jj_3R_188()) return true; - return false; - } - - static private boolean jj_3R_142() - { - if (jj_3R_57()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_157()) { jj_scanpos = xsp; break; } - } - return false; - } - - static private boolean jj_3R_170() - { - if (jj_3R_187()) return true; - return false; - } - - static private boolean jj_3R_124() - { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_141()) { - jj_scanpos = xsp; - if (jj_3R_142()) return true; - } - return false; - } - - static private boolean jj_3R_141() - { - if (jj_scan_token(TIMES)) return true; - return false; - } - - static private boolean jj_3R_169() - { - if (jj_3R_186()) return true; - return false; - } - - static private boolean jj_3R_168() - { - if (jj_3R_185()) return true; - return false; - } - - static private boolean jj_3R_167() - { - if (jj_3R_184()) return true; - return false; - } - - static private boolean jj_3_6() - { - if (jj_3R_34()) return true; - return false; - } - - static private boolean jj_3R_272() - { - if (jj_scan_token(MINUS)) return true; - return false; - } - - static private boolean jj_3R_267() - { - if (jj_scan_token(DIVIDE)) return true; - if (jj_3R_180()) return true; - return false; - } - - static private boolean jj_3R_259() - { - if (jj_scan_token(MAX)) return true; - return false; - } - - static private boolean jj_3R_257() - { - if (jj_3R_180()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_267()) jj_scanpos = xsp; - return false; - } - - static private boolean jj_3R_162() - { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_167()) { - jj_scanpos = xsp; - if (jj_3R_168()) { - jj_scanpos = xsp; - if (jj_3R_169()) { - jj_scanpos = xsp; - if (jj_3R_170()) { - jj_scanpos = xsp; - if (jj_3R_171()) { - jj_scanpos = xsp; - if (jj_3R_172()) { - jj_scanpos = xsp; - if (jj_3R_173()) { - jj_scanpos = xsp; - if (jj_3R_174()) { - jj_scanpos = xsp; - if (jj_3R_175()) { - jj_scanpos = xsp; - if (jj_3R_176()) { - jj_scanpos = xsp; - if (jj_3R_177()) { - jj_scanpos = xsp; - if (jj_3R_178()) { - jj_scanpos = xsp; - if (jj_3R_179()) return true; - } - } - } - } - } - } - } - } - } - } - } - } - return false; - } - - static private boolean jj_3R_278() - { - if (jj_3R_162()) return true; - return false; - } - - static private boolean jj_3R_277() - { - if (jj_scan_token(MINUS)) return true; - if (jj_3R_269()) return true; - return false; - } - - static private boolean jj_3R_269() - { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_277()) { - jj_scanpos = xsp; - if (jj_3R_278()) return true; - } - return false; - } - - static private boolean jj_3R_279() - { - if (jj_scan_token(TIMES)) return true; - return false; - } - - static private boolean jj_3R_270() - { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_279()) { + if (jj_3R_196()) { jj_scanpos = xsp; - if (jj_3R_280()) return true; + if (jj_3R_197()) return true; } - if (jj_3R_269()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_220() + static private boolean jj_3R_171() { - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_3R_188()) return true; return false; } - static private boolean jj_3R_219() + static private boolean jj_3R_142() { - if (jj_3R_64()) return true; if (jj_3R_57()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_157()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_258() + static private boolean jj_3R_170() { - if (jj_scan_token(MIN)) return true; + if (jj_3R_187()) return true; return false; } - static private boolean jj_3R_242() + static private boolean jj_3R_124() { Token xsp; xsp = jj_scanpos; - if (jj_3R_258()) { + if (jj_3R_141()) { jj_scanpos = xsp; - if (jj_3R_259()) return true; + if (jj_3R_142()) return true; } return false; } - static private boolean jj_3R_241() - { - if (jj_3R_257()) return true; - return false; - } - - static private boolean jj_3R_240() + static private boolean jj_3R_141() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_43()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_218() + static private boolean jj_3R_169() { - if (jj_scan_token(RMAX)) return true; + if (jj_3R_186()) return true; return false; } - static private boolean jj_3R_262() + static private boolean jj_3R_168() { - if (jj_3R_269()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_270()) { jj_scanpos = xsp; break; } - } + if (jj_3R_185()) return true; return false; } - static private boolean jj_3R_217() + static private boolean jj_3R_60() { - if (jj_scan_token(RMIN)) return true; + if (jj_scan_token(AND)) return true; + if (jj_3R_59()) return true; return false; } - static private boolean jj_3R_60() + static private boolean jj_3R_167() { - if (jj_scan_token(AND)) return true; - if (jj_3R_59()) return true; + if (jj_3R_184()) return true; return false; } - static private boolean jj_3R_58() + static private boolean jj_3R_272() { - if (jj_3R_66()) return true; + if (jj_scan_token(MINUS)) return true; return false; } - static private boolean jj_3R_271() + static private boolean jj_3R_267() { - if (jj_scan_token(PLUS)) return true; + if (jj_scan_token(DIVIDE)) return true; + if (jj_3R_180()) return true; return false; } - static private boolean jj_3R_263() + static private boolean jj_3R_259() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_271()) { - jj_scanpos = xsp; - if (jj_3R_272()) return true; - } - if (jj_3R_262()) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_216() + static private boolean jj_3R_257() { - if (jj_scan_token(R)) return true; + if (jj_3R_180()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_240()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_241()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_242()) jj_scanpos = xsp; + if (jj_3R_267()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_190() + static private boolean jj_3R_162() { Token xsp; xsp = jj_scanpos; - if (jj_3R_216()) { + if (jj_3R_167()) { jj_scanpos = xsp; - if (jj_3R_217()) { + if (jj_3R_168()) { jj_scanpos = xsp; - if (jj_3R_218()) return true; + if (jj_3R_169()) { + jj_scanpos = xsp; + if (jj_3R_170()) { + jj_scanpos = xsp; + if (jj_3R_171()) { + jj_scanpos = xsp; + if (jj_3R_172()) { + jj_scanpos = xsp; + if (jj_3R_173()) { + jj_scanpos = xsp; + if (jj_3R_174()) { + jj_scanpos = xsp; + if (jj_3R_175()) { + jj_scanpos = xsp; + if (jj_3R_176()) { + jj_scanpos = xsp; + if (jj_3R_177()) { + jj_scanpos = xsp; + if (jj_3R_178()) { + jj_scanpos = xsp; + if (jj_3R_179()) return true; + } + } + } + } + } + } + } + } + } } } - xsp = jj_scanpos; - if (jj_3R_219()) { - jj_scanpos = xsp; - if (jj_3R_220()) return true; } - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_221()) return true; - xsp = jj_scanpos; - if (jj_3R_222()) jj_scanpos = xsp; - if (jj_scan_token(RBRACKET)) return true; return false; } @@ -6176,14 +6155,22 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_252() + static private boolean jj_3R_117() { - if (jj_3R_262()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_263()) { jj_scanpos = xsp; break; } - } + if (jj_3R_122()) return true; + return false; + } + + static private boolean jj_3R_116() + { + if (jj_scan_token(REGEXP_MARKER)) return true; + if (jj_3R_121()) return true; + return false; + } + + static private boolean jj_3R_278() + { + if (jj_3R_162()) return true; return false; } @@ -6197,16 +6184,10 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_117() - { - if (jj_3R_122()) return true; - return false; - } - - static private boolean jj_3R_116() + static private boolean jj_3R_277() { - if (jj_scan_token(REGEXP_MARKER)) return true; - if (jj_3R_121()) return true; + if (jj_scan_token(MINUS)) return true; + if (jj_3R_269()) return true; return false; } @@ -6245,6 +6226,17 @@ fl.setLHS(s); return false; } + static private boolean jj_3R_269() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_277()) { + jj_scanpos = xsp; + if (jj_3R_278()) return true; + } + return false; + } + static private boolean jj_3_5() { if (jj_3R_36()) return true; @@ -6262,22 +6254,21 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_253() - { - if (jj_3R_64()) return true; - if (jj_3R_252()) return true; - return false; - } - - static private boolean jj_3R_73() + static private boolean jj_3R_279() { - if (jj_scan_token(LE)) return true; + if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_72() + static private boolean jj_3R_270() { - if (jj_scan_token(GE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_279()) { + jj_scanpos = xsp; + if (jj_3R_280()) return true; + } + if (jj_3R_269()) return true; return false; } @@ -6310,110 +6301,83 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_71() + static private boolean jj_3R_220() { - if (jj_scan_token(LT)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_234() + static private boolean jj_3R_219() { - if (jj_3R_252()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_253()) { jj_scanpos = xsp; break; } - } + if (jj_3R_64()) return true; + if (jj_3R_57()) return true; return false; } - static private boolean jj_3R_70() + static private boolean jj_3R_258() { - if (jj_scan_token(GT)) return true; + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_64() + static private boolean jj_3R_242() { Token xsp; xsp = jj_scanpos; - if (jj_3R_70()) { - jj_scanpos = xsp; - if (jj_3R_71()) { - jj_scanpos = xsp; - if (jj_3R_72()) { + if (jj_3R_258()) { jj_scanpos = xsp; - if (jj_3R_73()) return true; - } - } + if (jj_3R_259()) return true; } return false; } - static private boolean jj_3R_63() - { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_43()) return true; - if (jj_scan_token(RPARENTH)) return true; - return false; - } - - static private boolean jj_3R_56() - { - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; - return false; - } - - static private boolean jj_3R_81() + static private boolean jj_3R_241() { - if (jj_3R_94()) return true; + if (jj_3R_257()) return true; return false; } - static private boolean jj_3R_55() + static private boolean jj_3R_240() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_63()) jj_scanpos = xsp; - if (jj_3R_64()) return true; - if (jj_3R_57()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_43()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_265() + static private boolean jj_3R_218() { - if (jj_scan_token(NE)) return true; + if (jj_scan_token(RMAX)) return true; return false; } - static private boolean jj_3R_264() + static private boolean jj_3R_81() { - if (jj_scan_token(EQ)) return true; + if (jj_3R_94()) return true; return false; } - static private boolean jj_3R_254() + static private boolean jj_3R_262() { + if (jj_3R_269()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_264()) { - jj_scanpos = xsp; - if (jj_3R_265()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_270()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_80() + static private boolean jj_3R_217() { - if (jj_3R_93()) return true; + if (jj_scan_token(RMIN)) return true; return false; } - static private boolean jj_3R_235() + static private boolean jj_3R_80() { - if (jj_3R_254()) return true; - if (jj_3R_234()) return true; + if (jj_3R_93()) return true; return false; } @@ -6440,14 +6404,15 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_198() + static private boolean jj_3R_58() { - if (jj_3R_234()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_235()) { jj_scanpos = xsp; break; } - } + if (jj_3R_66()) return true; + return false; + } + + static private boolean jj_3R_271() + { + if (jj_scan_token(PLUS)) return true; return false; } @@ -6457,6 +6422,31 @@ fl.setLHS(s); return false; } + static private boolean jj_3R_263() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_271()) { + jj_scanpos = xsp; + if (jj_3R_272()) return true; + } + if (jj_3R_262()) return true; + return false; + } + + static private boolean jj_3R_216() + { + if (jj_scan_token(R)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_240()) jj_scanpos = xsp; + xsp = jj_scanpos; + if (jj_3R_241()) jj_scanpos = xsp; + xsp = jj_scanpos; + if (jj_3R_242()) jj_scanpos = xsp; + return false; + } + static private boolean jj_3R_90() { if (jj_scan_token(F)) return true; @@ -6469,29 +6459,30 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_51() + static private boolean jj_3R_190() { - if (jj_scan_token(S)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_55()) { + if (jj_3R_216()) { jj_scanpos = xsp; - if (jj_3R_56()) return true; + if (jj_3R_217()) { + jj_scanpos = xsp; + if (jj_3R_218()) return true; + } + } + xsp = jj_scanpos; + if (jj_3R_219()) { + jj_scanpos = xsp; + if (jj_3R_220()) return true; } if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_57()) return true; + if (jj_3R_221()) return true; xsp = jj_scanpos; - if (jj_3R_58()) jj_scanpos = xsp; + if (jj_3R_222()) jj_scanpos = xsp; if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_182() - { - if (jj_3R_198()) return true; - return false; - } - static private boolean jj_3R_79() { Token xsp; @@ -6509,32 +6500,13 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_181() - { - if (jj_scan_token(NOT)) return true; - if (jj_3R_164()) return true; - return false; - } - - static private boolean jj_3R_67() - { - if (jj_scan_token(REG_IDENTPRIME)) return true; - return false; - } - - static private boolean jj_3R_85() - { - if (jj_scan_token(MAX)) return true; - return false; - } - - static private boolean jj_3R_164() + static private boolean jj_3R_252() { + if (jj_3R_262()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_181()) { - jj_scanpos = xsp; - if (jj_3R_182()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_263()) { jj_scanpos = xsp; break; } } return false; } @@ -6553,136 +6525,149 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_84() + static private boolean jj_3R_253() { - if (jj_scan_token(MIN)) return true; + if (jj_3R_64()) return true; + if (jj_3R_252()) return true; return false; } - static private boolean jj_3R_76() + static private boolean jj_3R_102() { - if (jj_scan_token(LBRACE)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_84()) { - jj_scanpos = xsp; - if (jj_3R_85()) return true; - } - if (jj_scan_token(RBRACE)) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_124()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_165() + static private boolean jj_3R_73() { - if (jj_scan_token(AND)) return true; - if (jj_3R_164()) return true; + if (jj_scan_token(LE)) return true; return false; } - static private boolean jj_3R_102() + static private boolean jj_3R_72() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_124()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(GE)) return true; return false; } - static private boolean jj_3R_66() + static private boolean jj_3R_100() { - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_57()) return true; - if (jj_scan_token(RBRACE)) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_76()) { jj_scanpos = xsp; break; } - } + if (jj_3R_122()) return true; return false; } - static private boolean jj_3R_158() + static private boolean jj_3R_71() { - if (jj_3R_164()) return true; + if (jj_scan_token(LT)) return true; + return false; + } + + static private boolean jj_3R_234() + { + if (jj_3R_252()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_165()) { jj_scanpos = xsp; break; } + if (jj_3R_253()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_100() + static private boolean jj_3R_99() { - if (jj_3R_122()) return true; + if (jj_scan_token(REGEXP_MARKER)) return true; + if (jj_3R_121()) return true; return false; } - static private boolean jj_3R_99() + static private boolean jj_3R_70() { - if (jj_scan_token(REGEXP_MARKER)) return true; - if (jj_3R_121()) return true; + if (jj_scan_token(GT)) return true; return false; } - static private boolean jj_3R_282() + static private boolean jj_3R_64() { - if (jj_scan_token(REG_QUOTED_STRING)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_70()) { + jj_scanpos = xsp; + if (jj_3R_71()) { + jj_scanpos = xsp; + if (jj_3R_72()) { + jj_scanpos = xsp; + if (jj_3R_73()) return true; + } + } + } return false; } - static private boolean jj_3R_159() + static private boolean jj_3R_63() { - if (jj_scan_token(OR)) return true; - if (jj_3R_158()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_43()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_281() + static private boolean jj_3R_56() { - if (jj_scan_token(REG_QUOTED_IDENT)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_145() + static private boolean jj_3R_55() { - if (jj_3R_158()) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_159()) { jj_scanpos = xsp; break; } - } + xsp = jj_scanpos; + if (jj_3R_63()) jj_scanpos = xsp; + if (jj_3R_64()) return true; + if (jj_3R_57()) return true; return false; } - static private boolean jj_3R_274() + static private boolean jj_3R_265() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_34()) return true; - if (jj_scan_token(RENAME)) return true; - if (jj_3R_57()) return true; + if (jj_scan_token(NE)) return true; return false; } - static private boolean jj_3R_155() + static private boolean jj_3R_264() { - if (jj_3R_57()) return true; + if (jj_scan_token(EQ)) return true; return false; } - static private boolean jj_3R_273() + static private boolean jj_3R_254() { Token xsp; xsp = jj_scanpos; - if (jj_3R_281()) { + if (jj_3R_264()) { jj_scanpos = xsp; - if (jj_3R_282()) return true; + if (jj_3R_265()) return true; } return false; } - static private boolean jj_3R_153() + static private boolean jj_3R_235() + { + if (jj_3R_254()) return true; + if (jj_3R_234()) return true; + return false; + } + + static private boolean jj_3R_198() { - if (jj_3R_57()) return true; + if (jj_3R_234()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_235()) { jj_scanpos = xsp; break; } + } return false; } @@ -6706,29 +6691,6 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_266() - { - if (jj_3R_273()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_274()) { jj_scanpos = xsp; break; } - } - return false; - } - - static private boolean jj_3R_151() - { - if (jj_3R_57()) return true; - return false; - } - - static private boolean jj_3R_149() - { - if (jj_3R_57()) return true; - return false; - } - static private boolean jj_3R_120() { if (jj_3R_127()) return true; @@ -6752,44 +6714,51 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_97() + static private boolean jj_3R_51() { - if (jj_scan_token(R)) return true; + if (jj_scan_token(S)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_55()) { + jj_scanpos = xsp; + if (jj_3R_56()) return true; + } + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_57()) return true; + xsp = jj_scanpos; + if (jj_3R_58()) jj_scanpos = xsp; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_96() + static private boolean jj_3R_182() { - if (jj_scan_token(W)) return true; + if (jj_3R_198()) return true; return false; } - static private boolean jj_3R_146() + static private boolean jj_3R_97() { - if (jj_scan_token(IFF)) return true; - if (jj_3R_145()) return true; + if (jj_scan_token(R)) return true; return false; } - static private boolean jj_3R_50() + static private boolean jj_3R_181() { + if (jj_scan_token(NOT)) return true; + if (jj_3R_164()) return true; return false; } - static private boolean jj_3R_95() + static private boolean jj_3R_96() { - if (jj_scan_token(U)) return true; + if (jj_scan_token(W)) return true; return false; } - static private boolean jj_3R_128() + static private boolean jj_3R_95() { - if (jj_3R_145()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_146()) { jj_scanpos = xsp; break; } - } + if (jj_scan_token(U)) return true; return false; } @@ -6821,44 +6790,32 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_35() - { - if (jj_3R_34()) return true; - return false; - } - - static private boolean jj_3R_54() - { - if (jj_3R_57()) return true; - return false; - } - - static private boolean jj_3R_49() + static private boolean jj_3R_67() { + if (jj_scan_token(REG_IDENTPRIME)) return true; return false; } - static private boolean jj_3R_129() + static private boolean jj_3R_85() { - if (jj_scan_token(IMPLIES)) return true; - if (jj_3R_128()) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3_25() + static private boolean jj_3R_164() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT - && getToken(2).kind==COLON; - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_50()) return true; - if (jj_3R_43()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_181()) { + jj_scanpos = xsp; + if (jj_3R_182()) return true; + } return false; } - static private boolean jj_3R_231() + static private boolean jj_3R_84() { - if (jj_scan_token(OR)) return true; + if (jj_scan_token(MIN)) return true; return false; } @@ -6871,129 +6828,109 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_110() + static private boolean jj_3R_76() { - if (jj_3R_128()) return true; + if (jj_scan_token(LBRACE)) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_129()) { jj_scanpos = xsp; break; } + xsp = jj_scanpos; + if (jj_3R_84()) { + jj_scanpos = xsp; + if (jj_3R_85()) return true; } + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_48() - { - return false; - } - - static private boolean jj_3R_43() - { - if (jj_3R_33()) return true; - return false; - } - - static private boolean jj_3R_111() + static private boolean jj_3R_165() { - if (jj_scan_token(QMARK)) return true; - if (jj_3R_110()) return true; - if (jj_scan_token(COLON)) return true; - if (jj_3R_93()) return true; + if (jj_scan_token(AND)) return true; + if (jj_3R_164()) return true; return false; } - static private boolean jj_3_24() + static private boolean jj_3R_66() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==NOT - && getToken(2).kind==REG_IDENT - && getToken(2).image.equals("HOA") - && getToken(3).kind==COLON; - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_49()) return true; - if (jj_scan_token(NOT)) return true; - if (jj_3R_43()) return true; - if (jj_scan_token(COLON)) return true; if (jj_scan_token(LBRACE)) return true; - if (jj_3R_266()) return true; + if (jj_3R_57()) return true; if (jj_scan_token(RBRACE)) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_76()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3_23() + static private boolean jj_3R_158() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT - && getToken(1).image.equals("HOA") - && getToken(2).kind==COLON; - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_48()) return true; - if (jj_3R_43()) return true; - if (jj_scan_token(COLON)) return true; - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_266()) return true; - if (jj_scan_token(RBRACE)) return true; + if (jj_3R_164()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_165()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_93() + static private boolean jj_3R_282() { - if (jj_3R_110()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_111()) jj_scanpos = xsp; + if (jj_scan_token(REG_QUOTED_STRING)) return true; return false; } - static private boolean jj_3R_47() + static private boolean jj_3R_159() { - Token xsp; - xsp = jj_scanpos; - if (jj_3_23()) { - jj_scanpos = xsp; - if (jj_3_24()) { - jj_scanpos = xsp; - if (jj_3_25()) { - jj_scanpos = xsp; - if (jj_3R_54()) return true; - } - } - } + if (jj_scan_token(OR)) return true; + if (jj_3R_158()) return true; return false; } - static private boolean jj_3R_34() + static private boolean jj_3R_281() { if (jj_scan_token(REG_QUOTED_IDENT)) return true; return false; } - static private boolean jj_3R_256() + static private boolean jj_3R_145() { - if (jj_scan_token(MAX)) return true; + if (jj_3R_158()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_159()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_239() + static private boolean jj_3R_274() { - if (jj_3R_66()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_34()) return true; + if (jj_scan_token(RENAME)) return true; + if (jj_3R_57()) return true; return false; } - static private boolean jj_3R_230() + static private boolean jj_3R_155() { - if (jj_scan_token(AND)) return true; + if (jj_3R_57()) return true; return false; } - static private boolean jj_3R_228() + static private boolean jj_3R_273() { - if (jj_scan_token(MAX)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_281()) { + jj_scanpos = xsp; + if (jj_3R_282()) return true; + } return false; } - static private boolean jj_3R_46() + static private boolean jj_3R_153() { + if (jj_3R_57()) return true; return false; } @@ -7004,25 +6941,26 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_45() - { - return false; - } - - static private boolean jj_3R_44() + static private boolean jj_3R_266() { + if (jj_3R_273()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_274()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_163() + static private boolean jj_3R_151() { - if (jj_3R_180()) return true; + if (jj_3R_57()) return true; return false; } - static private boolean jj_3R_33() + static private boolean jj_3R_149() { - if (jj_scan_token(REG_IDENT)) return true; + if (jj_3R_57()) return true; return false; } @@ -7041,7 +6979,7 @@ fl.setLHS(s); static private boolean jj_lookingAhead = false; static private boolean jj_semLA; static private int jj_gen; - static final private int[] jj_la1 = new int[129]; + static final private int[] jj_la1 = new int[127]; static private int[] jj_la1_0; static private int[] jj_la1_1; static private int[] jj_la1_2; @@ -7051,13 +6989,13 @@ fl.setLHS(s); jj_la1_init_2(); } private static void jj_la1_init_0() { - jj_la1_0 = new int[] {0x514404c0,0x504404c0,0x1000000,0xb01a0848,0x0,0xb01a0848,0xb01a0848,0x0,0xb01a0848,0x400,0x40000000,0x80,0x40000480,0x8000210,0x8000210,0x0,0x40,0x0,0x1000000,0x8000030,0x0,0x2000000,0x0,0x0,0x0,0xa0ba0808,0x0,0x0,0x0,0xa0ba0808,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0xa00000,0x0,0x0,0xa0ba0808,0x0,0x0,0x0,0x0,0x0,0x0,0xa0ba0808,0x0,0xa01a0808,0x0,0x0,0x0,0x0,0x0,0xa0ba0808,0xa0ba0808,0xa0ba0808,0xa0ba0808,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0xa01a0808,0x0,0x0,0x0,0x0,0x0,0x0,0xa01a0808,0xa01a0808,0x0,0xa0000000,0xa0000000,0x0,0x20000,0x0,0xa0000000,0xa0000000,0x0,0x0,0x0,0x0,0xa0ba0808,0x0,0x0,0xa0000000,0x0,0x0,0x0,0x0,0x0,0xa0000000,0xa0000000,0x0,0x0,0x0,0x0,0xa0ba0808,0x0,0xa4ba0908,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0xa0000000,0x0,0x0,0xa0000000,0x0,0x0,0x0,}; + jj_la1_0 = new int[] {0x514404c0,0x504404c0,0x1000000,0xb01a0848,0x0,0xb01a0848,0xb01a0848,0x0,0xb01a0848,0x400,0x40000000,0x80,0x40000480,0x8000210,0x8000210,0x0,0x40,0x0,0x1000000,0x8000030,0x0,0x2000000,0x0,0x0,0x0,0xa0ba0808,0x0,0x0,0x0,0xa0ba0808,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0xa00000,0x0,0x0,0xa0ba0808,0x0,0x0,0x0,0x0,0xa0ba0808,0x0,0xa01a0808,0x0,0x0,0x0,0x0,0x0,0xa0ba0808,0xa0ba0808,0xa0ba0808,0xa0ba0808,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0xa01a0808,0x0,0x0,0x0,0x0,0x0,0x0,0xa01a0808,0xa01a0808,0x0,0xa0000000,0xa0000000,0x0,0x20000,0x0,0xa0000000,0xa0000000,0x0,0x0,0x0,0x0,0xa0ba0808,0x0,0x0,0xa0000000,0x0,0x0,0x0,0x0,0x0,0xa0000000,0xa0000000,0x0,0x0,0x0,0x0,0xa0ba0808,0x0,0xa4ba0908,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0xa0000000,0x0,0x0,0xa0000000,0x0,0x0,0x0,}; } private static void jj_la1_init_1() { - jj_la1_1 = new int[] {0x187c5,0x83c4,0x10401,0x40127ab8,0x8000000,0x40127ab8,0x40127ab8,0x8000000,0x40127ab8,0x40,0x4,0x8000,0x8144,0x0,0x0,0x280,0x280,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x4012783a,0x200000,0x40020000,0x10000000,0x4012783a,0x0,0x0,0x10000000,0x0,0x10000000,0x10000000,0x0,0x40000000,0xc2000,0x0,0x0,0x0,0x40000000,0xc2000,0xc2000,0x2,0x0,0x0,0x4012783a,0x0,0x0,0x40000000,0x0,0x40000000,0x10000000,0x4012783a,0x0,0x40027838,0x0,0x40000000,0x0,0x8000000,0x400000,0x4012783a,0x4012783a,0x4012783a,0x4012783a,0x0,0x0,0x10000000,0x0,0x0,0x800000,0x1000000,0x400000,0x200000,0x40127838,0x0,0x0,0x0,0x0,0x0,0x0,0x40027838,0x40027838,0x40000000,0x0,0x0,0x10000000,0x20000,0x40000000,0x0,0x0,0x38,0x0,0x0,0x0,0x4012783a,0x10000000,0x0,0x0,0x40000000,0x40000000,0x0,0x40000000,0x0,0x0,0x0,0x3800,0x0,0x0,0x0,0x4012783a,0x4000,0x4012783a,0x0,0x3838,0x40003838,0x10000000,0x0,0x0,0x0,0x600000,0x10000000,0x0,0x0,0x0,0x0,0x4000000,}; + jj_la1_1 = new int[] {0x187c5,0x83c4,0x10401,0x40127ab8,0x8000000,0x40127ab8,0x40127ab8,0x8000000,0x40127ab8,0x40,0x4,0x8000,0x8144,0x0,0x0,0x280,0x280,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x4012783a,0x200000,0x40020000,0x10000000,0x4012783a,0x0,0x0,0x10000000,0x0,0x10000000,0x10000000,0x0,0x40000000,0xc2000,0x0,0x0,0x0,0x40000000,0xc2000,0xc2000,0x2,0x0,0x0,0x4012783a,0x0,0x0,0x40000000,0x10000000,0x4012783a,0x0,0x40027838,0x0,0x40000000,0x0,0x8000000,0x400000,0x4012783a,0x4012783a,0x4012783a,0x4012783a,0x0,0x0,0x10000000,0x0,0x0,0x800000,0x1000000,0x400000,0x200000,0x40127838,0x0,0x0,0x0,0x0,0x0,0x0,0x40027838,0x40027838,0x40000000,0x0,0x0,0x10000000,0x20000,0x40000000,0x0,0x0,0x38,0x0,0x0,0x0,0x4012783a,0x10000000,0x0,0x0,0x40000000,0x40000000,0x0,0x40000000,0x0,0x0,0x0,0x3800,0x0,0x0,0x0,0x4012783a,0x4000,0x4012783a,0x0,0x3838,0x40003838,0x10000000,0x0,0x0,0x0,0x600000,0x10000000,0x0,0x0,0x0,0x0,0x4000000,}; } private static void jj_la1_init_2() { - jj_la1_2 = new int[] {0x0,0x0,0x0,0xd800841,0x0,0xd800841,0xd800841,0x0,0xd800841,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x10,0x0,0x1,0x4000000,0x0,0x1,0x4000000,0x400,0xdbc0841,0x0,0x0,0x0,0xdbc0841,0x4000000,0x1,0x0,0x2004,0x0,0x0,0x2004,0xc000000,0x0,0x203d5,0x203d5,0x800003d1,0x0,0x400000,0x400000,0x0,0x203d5,0x203d5,0xdbc0841,0x3c0000,0x800003d1,0x0,0x800003d1,0x0,0x0,0xdbc1841,0x400,0xd800041,0x4,0x1,0x1000,0x0,0x0,0xdbc0841,0xdbc0841,0xdbc0841,0xdbc0841,0x3d1,0x20000,0x0,0x4,0x10000,0x0,0x0,0x0,0x0,0xd800841,0x30,0x3c0,0xc00,0xc00,0x3000,0x3000,0xd800841,0xd800041,0x0,0x0,0x4000000,0x0,0x1800000,0x0,0x0,0x0,0x0,0x3d0,0x4,0x80000000,0xdbc0841,0x0,0x4,0x0,0x0,0x3d0,0x4,0x0,0x4,0x0,0x0,0x0,0x3d0,0x4,0x2000,0xdbc0841,0x0,0xdbc0841,0x41,0x0,0x0,0x0,0x4800000,0x1000,0x4800000,0x4000400,0x0,0x18000000,0x4000000,0x30,0x3c0,0x0,}; + jj_la1_2 = new int[] {0x0,0x0,0x0,0xd800841,0x0,0xd800841,0xd800841,0x0,0xd800841,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x10,0x0,0x1,0x4000000,0x0,0x1,0x4000000,0x400,0xdbc0841,0x0,0x0,0x0,0xdbc0841,0x4000000,0x1,0x0,0x2004,0x0,0x0,0x2004,0xc000000,0x0,0x203d5,0x203d5,0x800003d1,0x0,0x400000,0x400000,0x0,0x203d5,0x203d5,0xdbc0841,0x3c0000,0x800003d1,0x0,0x0,0xdbc1841,0x400,0xd800041,0x4,0x1,0x1000,0x0,0x0,0xdbc0841,0xdbc0841,0xdbc0841,0xdbc0841,0x3d1,0x20000,0x0,0x4,0x10000,0x0,0x0,0x0,0x0,0xd800841,0x30,0x3c0,0xc00,0xc00,0x3000,0x3000,0xd800841,0xd800041,0x0,0x0,0x4000000,0x0,0x1800000,0x0,0x0,0x0,0x0,0x3d0,0x4,0x80000000,0xdbc0841,0x0,0x4,0x0,0x0,0x3d0,0x4,0x0,0x4,0x0,0x0,0x0,0x3d0,0x4,0x2000,0xdbc0841,0x0,0xdbc0841,0x41,0x0,0x0,0x0,0x4800000,0x1000,0x4800000,0x4000400,0x0,0x18000000,0x4000000,0x30,0x3c0,0x0,}; } static final private JJCalls[] jj_2_rtns = new JJCalls[28]; static private boolean jj_rescan = false; @@ -7081,7 +7019,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 129; i++) jj_la1[i] = -1; + for (int i = 0; i < 127; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7096,7 +7034,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 129; i++) jj_la1[i] = -1; + for (int i = 0; i < 127; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7114,7 +7052,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 129; i++) jj_la1[i] = -1; + for (int i = 0; i < 127; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7133,7 +7071,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 129; i++) jj_la1[i] = -1; + for (int i = 0; i < 127; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7150,7 +7088,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 129; i++) jj_la1[i] = -1; + for (int i = 0; i < 127; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7160,7 +7098,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 129; i++) jj_la1[i] = -1; + for (int i = 0; i < 127; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7291,7 +7229,7 @@ fl.setLHS(s); la1tokens[jj_kind] = true; jj_kind = -1; } - for (int i = 0; i < 129; i++) { + for (int i = 0; i < 127; i++) { if (jj_la1[i] == jj_gen) { for (int j = 0; j < 32; j++) { if ((jj_la1_0[i] & (1<