From f4794800d101c995b1c7925b312b74ddc12efbc0 Mon Sep 17 00:00:00 2001 From: Sascha Wunderlich Date: Fri, 21 Feb 2020 13:46:13 +0100 Subject: [PATCH] Prep for complex accumulation constraints, pt3 --- prism/src/parser/PrismParser.java | 2916 +++++++++-------- .../ast/ExpressionAccumulationConstraint.java | 7 +- ...ExpressionAccumulationConstraintBasic.java | 22 +- prism/src/parser/visitor/ASTTraverse.java | 11 +- .../src/parser/visitor/ASTTraverseModify.java | 9 +- 5 files changed, 1606 insertions(+), 1359 deletions(-) diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java index 37487eea..88e4c144 100644 --- a/prism/src/parser/PrismParser.java +++ b/prism/src/parser/PrismParser.java @@ -1658,7 +1658,7 @@ Expression ExpressionTemporalBinary(boolean prop, boolean pathprop) throws Parse //Accumulation ExpressionAccumulation accexp; - AccumulationConstraintBasic constr; + ExpressionAccumulationConstraint constr; TemporalOperatorBound bound; Expression reg; ArrayList fireOn; @@ -1765,7 +1765,7 @@ accexp.setBoundExpression(bound); } jj_consume_token(RBRACE); jj_consume_token(LBRACE); - constr = ExpressionAccumulationConstraintBasic(); + constr = ExpressionAccumulationConstraintImplies(); accexp.setConstraint(constr); jj_consume_token(RBRACE); switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -1918,7 +1918,7 @@ exprTemp.setOperand2(expr); exprTemp.setPosition(begin, getToken(0)); ret = expr /* START Accumulation Specification */ static final public ExpressionAccumulation ExpressionAccumulationUnary(boolean prop, boolean pathprop) throws ParseException {ExpressionAccumulation ret; - AccumulationConstraintBasic constr; + ExpressionAccumulationConstraint constr; TemporalOperatorBound bound; Expression reg; ArrayList fireOn; @@ -1974,7 +1974,7 @@ ret.setBoundExpression(bound); } jj_consume_token(RBRACE); jj_consume_token(LBRACE); - constr = ExpressionAccumulationConstraintBasic(); + constr = ExpressionAccumulationConstraintImplies(); ret.setConstraint(constr); jj_consume_token(RBRACE); switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2100,21 +2100,135 @@ ret.add(s); throw new Error("Missing return statement in function"); } - static final public AccumulationConstraintBasic ExpressionAccumulationConstraintBasic() throws ParseException {AccumulationConstraintBasic ret; - ArrayList factors; + static final public ExpressionAccumulationConstraint ExpressionAccumulationConstraintImplies() throws ParseException {ExpressionAccumulationConstraint ret, expr; + Token begin = null; +begin = getToken(1); + ret = ExpressionAccumulationConstraintOr(); + label_19: + while (true) { + switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { + case IMPLIES:{ + ; + break; + } + default: + jj_la1[55] = jj_gen; + break label_19; + } + jj_consume_token(IMPLIES); + expr = ExpressionAccumulationConstraintOr(); +ret = new ExpressionAccumulationConstraint(ExpressionAccumulationConstraint.IMPLIES, ret, expr); ret.setPosition(begin, getToken(0)); + } +{if ("" != null) return ret;} + throw new Error("Missing return statement in function"); +} + + static final public ExpressionAccumulationConstraint ExpressionAccumulationConstraintOr() throws ParseException {ExpressionAccumulationConstraint ret, expr; + Token begin = null; +begin = getToken(1); + ret = ExpressionAccumulationConstraintAnd(); + label_20: + while (true) { + switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { + case OR:{ + ; + break; + } + default: + jj_la1[56] = jj_gen; + break label_20; + } + jj_consume_token(OR); + expr = ExpressionAccumulationConstraintAnd(); +ret = new ExpressionAccumulationConstraint(ExpressionAccumulationConstraint.OR, ret, expr); ret.setPosition(begin, getToken(0)); + } +{if ("" != null) return ret;} + throw new Error("Missing return statement in function"); +} + + static final public ExpressionAccumulationConstraint ExpressionAccumulationConstraintAnd() throws ParseException {ExpressionAccumulationConstraint ret, expr; + Token begin = null; +begin = getToken(1); + ret = ExpressionAccumulationConstraintNot(); + label_21: + while (true) { + switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { + case AND:{ + ; + break; + } + default: + jj_la1[57] = jj_gen; + break label_21; + } + jj_consume_token(AND); + expr = ExpressionAccumulationConstraintNot(); +ret = new ExpressionAccumulationConstraint(ExpressionAccumulationConstraint.AND, ret, expr); ret.setPosition(begin, getToken(0)); + } +{if ("" != null) return ret;} + throw new Error("Missing return statement in function"); +} + + static final public ExpressionAccumulationConstraint ExpressionAccumulationConstraintNot() throws ParseException {ExpressionAccumulationConstraint ret, expr; + Token begin = null; + switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { + case NOT:{ + begin = jj_consume_token(NOT); + expr = ExpressionAccumulationConstraintNot(); +ret = new ExpressionAccumulationConstraint(ExpressionAccumulationConstraint.NOT, expr, null); ret.setPosition(begin, getToken(0)); + break; + } + case LPARENTH:{ + begin = jj_consume_token(LPARENTH); + ret = ExpressionAccumulationConstraintImplies(); + jj_consume_token(RPARENTH); + break; + } + default: + jj_la1[58] = jj_gen; + if (jj_2_11(1)) { + ret = ExpressionAccumulationConstraintBasic(); + } else { + jj_consume_token(-1); + throw new ParseException(); + } + } +{if ("" != null) return ret;} + throw new Error("Missing return statement in function"); +} + + static final public ExpressionAccumulationConstraintBasic ExpressionAccumulationConstraintBasic() throws ParseException {ExpressionAccumulationConstraintBasic ret; + ArrayList terms; TemporalOperatorBound bound; - // (LiCo = Constant) - factors = ExpressionAccumulationLinearCombination(); - bound = BoundExpression(); -{if ("" != null) return new AccumulationConstraintBasic(factors, bound);} + Token begin; + switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { + case LPARENTH:{ + // (LiCo = Constant) + begin = jj_consume_token(LPARENTH); + ret = ExpressionAccumulationConstraintBasic(); + jj_consume_token(RPARENTH); + break; + } + default: + jj_la1[59] = jj_gen; + if (jj_2_12(1)) { + terms = ExpressionAccumulationLinearCombination(); + bound = BoundExpression(); +ret = new ExpressionAccumulationConstraintBasic(terms, bound); + } else { + jj_consume_token(-1); + throw new ParseException(); + } + } +{if ("" != null) return ret;} throw new Error("Missing return statement in function"); } - static final public ArrayList ExpressionAccumulationLinearCombination() throws ParseException {AccumulationFactor factor; - ArrayList factors = new ArrayList(); - factor = ExpressionAccumulationLinearFactor(); -factors.add(factor); - label_19: + static final public ArrayList ExpressionAccumulationLinearCombination() throws ParseException {AccumulationTerm term; + ArrayList terms = new ArrayList(); + term = ExpressionAccumulationLinearFactor(); +terms.add(term); + label_22: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case PLUS:{ @@ -2122,20 +2236,20 @@ factors.add(factor); break; } default: - jj_la1[55] = jj_gen; - break label_19; + jj_la1[60] = jj_gen; + break label_22; } jj_consume_token(PLUS); - factor = ExpressionAccumulationLinearFactor(); -factors.add(factor); + term = ExpressionAccumulationLinearFactor(); +terms.add(term); } -{if ("" != null) return factors;} +{if ("" != null) return terms;} throw new Error("Missing return statement in function"); } - static final public AccumulationFactor ExpressionAccumulationLinearFactor() throws ParseException {Expression factor = null; + static final public AccumulationTerm ExpressionAccumulationLinearFactor() throws ParseException {Expression coefficient = null; AccumulationFunction func; - if (jj_2_11(1)) { + if (jj_2_13(1)) { if (getToken(1).kind==REG_IDENT && ( getToken(1).image.equals("time") || getToken(1).image.equals("steps") || getToken(1).image.equals("reward") )) { @@ -2168,25 +2282,25 @@ factors.add(factor); case REG_DOUBLE: case REG_IDENT: case REG_QUOTED_IDENT:{ - factor = ExpressionBasic(false,false); + coefficient = ExpressionBasic(false,false); jj_consume_token(TIMES); func = ExpressionAccumulationFunction(); break; } default: - jj_la1[56] = jj_gen; + jj_la1[61] = jj_gen; jj_consume_token(-1); throw new ParseException(); } } -{if ("" != null) return new AccumulationFactor(func,factor);} +{if ("" != null) return new AccumulationTerm(func,coefficient);} throw new Error("Missing return statement in function"); } // This is taken from TemporalOpBound static final public AccumulationFunction ExpressionAccumulationFunction() throws ParseException {AccumulationFunction func = null; Object rewardIndex = null; - if (jj_2_12(1)) { + if (jj_2_14(1)) { if (getToken(1).kind==REG_IDENT && getToken(1).image.equals("time")) { } else { @@ -2195,7 +2309,7 @@ factors.add(factor); } Identifier(); func = new AccumulationFunction(AccumulationType.ACC_TIME); - } else if (jj_2_13(1)) { + } else if (jj_2_15(1)) { if (getToken(1).kind==REG_IDENT && getToken(1).image.equals("steps")) { } else { @@ -2204,7 +2318,7 @@ func = new AccumulationFunction(AccumulationType.ACC_TIME); } Identifier(); func = new AccumulationFunction(AccumulationType.ACC_STEPS); - } else if (jj_2_14(1)) { + } else if (jj_2_16(1)) { if (getToken(1).kind==REG_IDENT && getToken(1).image.equals("reward")) { } else { @@ -2218,7 +2332,7 @@ func = new AccumulationFunction(AccumulationType.ACC_STEPS); break; } default: - jj_la1[57] = jj_gen; + jj_la1[62] = jj_gen; ; } func = new AccumulationFunction(AccumulationType.ACC_REWARD); @@ -2254,7 +2368,7 @@ expr = new ExpressionRegular(ExpressionRegular.P_O, expr, null); break; } default: - jj_la1[58] = jj_gen; + jj_la1[63] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2265,7 +2379,7 @@ expr = new ExpressionRegular(ExpressionRegular.P_K, expr, null); break; } default: - jj_la1[59] = jj_gen; + jj_la1[64] = jj_gen; ; } {if ("" != null) return expr;} @@ -2283,7 +2397,7 @@ ret = new ExpressionRegular(ExpressionRegular.P_C, left,right); break; } default: - jj_la1[60] = jj_gen; + jj_la1[65] = jj_gen; ; } {if ("" != null) return ret;} @@ -2301,7 +2415,7 @@ ret = new ExpressionRegular(ExpressionRegular.P_O, left,right); break; } default: - jj_la1[61] = jj_gen; + jj_la1[66] = jj_gen; ; } {if ("" != null) return ret;} @@ -2316,7 +2430,7 @@ TemporalOperatorBound BoundExpression() throws ParseException {Expression lBound switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case LE:{ jj_consume_token(LE); - if (jj_2_15(2147483647)) { + if (jj_2_17(2147483647)) { uBound = IdentifierExpression(); } else { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2355,7 +2469,7 @@ TemporalOperatorBound BoundExpression() throws ParseException {Expression lBound break; } default: - jj_la1[62] = jj_gen; + jj_la1[67] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2365,7 +2479,7 @@ bound.setUpperBound(uBound, false); } case LT:{ jj_consume_token(LT); - if (jj_2_16(2147483647)) { + if (jj_2_18(2147483647)) { uBound = IdentifierExpression(); } else { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2404,7 +2518,7 @@ bound.setUpperBound(uBound, false); break; } default: - jj_la1[63] = jj_gen; + jj_la1[68] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2414,7 +2528,7 @@ bound.setUpperBound(uBound, true); } case GE:{ jj_consume_token(GE); - if (jj_2_17(2147483647)) { + if (jj_2_19(2147483647)) { lBound = IdentifierExpression(); } else { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2453,7 +2567,7 @@ bound.setUpperBound(uBound, true); break; } default: - jj_la1[64] = jj_gen; + jj_la1[69] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2463,7 +2577,7 @@ bound.setLowerBound(lBound, false); } case GT:{ jj_consume_token(GT); - if (jj_2_18(2147483647)) { + if (jj_2_20(2147483647)) { lBound = IdentifierExpression(); } else { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2502,7 +2616,7 @@ bound.setLowerBound(lBound, false); break; } default: - jj_la1[65] = jj_gen; + jj_la1[70] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2526,7 +2640,7 @@ bound.setEqualBounds(lBound); break; } default: - jj_la1[66] = jj_gen; + jj_la1[71] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2542,13 +2656,13 @@ bound.setEqualBounds(lBound); break; } default: - jj_la1[67] = jj_gen; + jj_la1[72] = jj_gen; ; } jj_consume_token(LBRACE); bound = TemporalOpBound(); bounds.addBound(bound); - label_20: + label_23: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case COMMA:{ @@ -2556,8 +2670,8 @@ bounds.addBound(bound); break; } default: - jj_la1[68] = jj_gen; - break label_20; + jj_la1[73] = jj_gen; + break label_23; } jj_consume_token(COMMA); bound = TemporalOpBound(); @@ -2570,7 +2684,7 @@ bounds.addBound(bound); static final public TemporalOperatorBound TemporalOpBound() throws ParseException {TemporalOperatorBound bound = null; Object rewardIndex = null; - if (jj_2_19(1)) { + if (jj_2_21(1)) { if (getToken(1).kind==REG_IDENT && getToken(1).image.equals("time")) { } else { @@ -2580,7 +2694,7 @@ bounds.addBound(bound); Identifier(); bound = BoundExpression(); bound.setBoundType(TemporalOperatorBound.BoundType.TIME_BOUND); - } else if (jj_2_20(1)) { + } else if (jj_2_22(1)) { if (getToken(1).kind==REG_IDENT && getToken(1).image.equals("steps")) { } else { @@ -2590,7 +2704,7 @@ bound.setBoundType(TemporalOperatorBound.BoundType.TIME_BOUND); Identifier(); bound = BoundExpression(); bound.setBoundType(TemporalOperatorBound.BoundType.STEP_BOUND); - } else if (jj_2_21(1)) { + } else if (jj_2_23(1)) { if (getToken(1).kind==REG_IDENT && getToken(1).image.equals("reward")) { } else { @@ -2604,7 +2718,7 @@ bound.setBoundType(TemporalOperatorBound.BoundType.STEP_BOUND); break; } default: - jj_la1[69] = jj_gen; + jj_la1[74] = jj_gen; ; } bound = BoundExpression(); @@ -2634,7 +2748,7 @@ ret = new ExpressionITE(ret, left, right); ret.setPosition(begin, getToken(0)); break; } default: - jj_la1[70] = jj_gen; + jj_la1[75] = jj_gen; ; } {if ("" != null) return ret;} @@ -2647,7 +2761,7 @@ Expression ExpressionImplies(boolean prop, boolean pathprop) throws ParseExcepti Token begin = null; begin = getToken(1); ret = ExpressionIff(prop, pathprop); - label_21: + label_24: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case IMPLIES:{ @@ -2655,8 +2769,8 @@ begin = getToken(1); break; } default: - jj_la1[71] = jj_gen; - break label_21; + jj_la1[76] = jj_gen; + break label_24; } jj_consume_token(IMPLIES); expr = ExpressionIff(prop, pathprop); @@ -2672,7 +2786,7 @@ Expression ExpressionIff(boolean prop, boolean pathprop) throws ParseException { Token begin = null; begin = getToken(1); ret = ExpressionOr(prop, pathprop); - label_22: + label_25: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case IFF:{ @@ -2680,8 +2794,8 @@ begin = getToken(1); break; } default: - jj_la1[72] = jj_gen; - break label_22; + jj_la1[77] = jj_gen; + break label_25; } jj_consume_token(IFF); expr = ExpressionOr(prop, pathprop); @@ -2697,7 +2811,7 @@ Expression ExpressionOr(boolean prop, boolean pathprop) throws ParseException {E Token begin = null; begin = getToken(1); ret = ExpressionAnd(prop, pathprop); - label_23: + label_26: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case OR:{ @@ -2705,8 +2819,8 @@ begin = getToken(1); break; } default: - jj_la1[73] = jj_gen; - break label_23; + jj_la1[78] = jj_gen; + break label_26; } jj_consume_token(OR); expr = ExpressionAnd(prop, pathprop); @@ -2722,7 +2836,7 @@ Expression ExpressionAnd(boolean prop, boolean pathprop) throws ParseException { Token begin = null; begin = getToken(1); ret = ExpressionNot(prop, pathprop); - label_24: + label_27: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case AND:{ @@ -2730,8 +2844,8 @@ begin = getToken(1); break; } default: - jj_la1[74] = jj_gen; - break label_24; + jj_la1[79] = jj_gen; + break label_27; } jj_consume_token(AND); expr = ExpressionNot(prop, pathprop); @@ -2779,7 +2893,7 @@ ret = new ExpressionUnaryOp(ExpressionUnaryOp.NOT, expr); ret.setPosition(begin, break; } default: - jj_la1[75] = jj_gen; + jj_la1[80] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2794,7 +2908,7 @@ Expression ExpressionEquality(boolean prop, boolean pathprop) throws ParseExcept Token begin = null; begin = getToken(1); ret = ExpressionRelop(prop, pathprop); - label_25: + label_28: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case EQ: @@ -2803,8 +2917,8 @@ begin = getToken(1); break; } default: - jj_la1[76] = jj_gen; - break label_25; + jj_la1[81] = jj_gen; + break label_28; } op = EqNeq(); expr = ExpressionRelop(prop, pathprop); @@ -2821,7 +2935,7 @@ Expression ExpressionRelop(boolean prop, boolean pathprop) throws ParseException Token begin = null; begin = getToken(1); ret = ExpressionPlusMinus(prop, pathprop); - label_26: + label_29: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case LT: @@ -2832,8 +2946,8 @@ begin = getToken(1); break; } default: - jj_la1[77] = jj_gen; - break label_26; + jj_la1[82] = jj_gen; + break label_29; } op = LtGt(); expr = ExpressionPlusMinus(prop, pathprop); @@ -2857,7 +2971,7 @@ Expression ExpressionPlusMinus(boolean prop, boolean pathprop) throws ParseExcep Token begin = null; begin = getToken(1); ret = ExpressionTimesDivide(prop, pathprop); - label_27: + label_30: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case PLUS: @@ -2866,8 +2980,8 @@ begin = getToken(1); break; } default: - jj_la1[78] = jj_gen; - break label_27; + jj_la1[83] = jj_gen; + break label_30; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case PLUS:{ @@ -2881,7 +2995,7 @@ op = ExpressionBinaryOp.MINUS; break; } default: - jj_la1[79] = jj_gen; + jj_la1[84] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2899,7 +3013,7 @@ Expression ExpressionTimesDivide(boolean prop, boolean pathprop) throws ParseExc Token begin = null; begin = getToken(1); ret = ExpressionUnaryMinus(prop, pathprop); - label_28: + label_31: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case TIMES: @@ -2908,8 +3022,8 @@ begin = getToken(1); break; } default: - jj_la1[80] = jj_gen; - break label_28; + jj_la1[85] = jj_gen; + break label_31; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case TIMES:{ @@ -2923,7 +3037,7 @@ op = ExpressionBinaryOp.DIVIDE; break; } default: - jj_la1[81] = jj_gen; + jj_la1[86] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2971,7 +3085,7 @@ ret = new ExpressionUnaryOp(ExpressionUnaryOp.MINUS, expr); ret.setPosition(begi break; } default: - jj_la1[82] = jj_gen; + jj_la1[87] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3046,7 +3160,7 @@ Expression ExpressionBasic(boolean prop, boolean pathprop) throws ParseException break; } default: - jj_la1[83] = jj_gen; + jj_la1[88] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3078,7 +3192,7 @@ ret = new ExpressionFunc(s); break; } default: - jj_la1[84] = jj_gen; + jj_la1[89] = jj_gen; ; } ret.setPosition(begin, getToken(0)); {if ("" != null) return ret;} @@ -3102,7 +3216,7 @@ s = "max"; break; } default: - jj_la1[85] = jj_gen; + jj_la1[90] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3137,7 +3251,7 @@ s = "max"; break; } default: - jj_la1[86] = jj_gen; + jj_la1[91] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3154,7 +3268,7 @@ func.setPosition(begin, getToken(0)); {if ("" != null) return func;} void ExpressionFuncArgs(boolean prop, boolean pathprop, ExpressionFunc func) throws ParseException {Expression expr; expr = Expression(prop, pathprop); func.addOperand(expr); - label_29: + label_32: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case COMMA:{ @@ -3162,8 +3276,8 @@ func.addOperand(expr); break; } default: - jj_la1[87] = jj_gen; - break label_29; + jj_la1[92] = jj_gen; + break label_32; } jj_consume_token(COMMA); expr = Expression(prop, pathprop); @@ -3214,7 +3328,7 @@ ret = new ExpressionLiteral(TypeBool.getInstance(), false); break; } default: - jj_la1[88] = jj_gen; + jj_la1[93] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3261,7 +3375,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[89] = jj_gen; + jj_la1[94] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3279,14 +3393,14 @@ minMax = MinMax.max(); break; } default: - jj_la1[90] = jj_gen; + jj_la1[95] = jj_gen; jj_consume_token(-1); throw new ParseException(); } break; } default: - jj_la1[91] = jj_gen; + jj_la1[96] = jj_gen; ; } break; @@ -3302,7 +3416,7 @@ minMax = MinMax.max(); break; } default: - jj_la1[92] = jj_gen; + jj_la1[97] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3323,12 +3437,12 @@ relOp = "="; isBool = false; break; } default: - jj_la1[93] = jj_gen; + jj_la1[98] = jj_gen; jj_consume_token(-1); throw new ParseException(); } jj_consume_token(LBRACKET); - if (jj_2_22(1)) { + if (jj_2_24(1)) { expr = PathSpecification(prop); switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case LBRACE:{ @@ -3336,7 +3450,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[94] = jj_gen; + jj_la1[99] = jj_gen; ; } } else { @@ -3347,7 +3461,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[95] = jj_gen; + jj_la1[100] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3378,7 +3492,7 @@ ret.setModifier(modifier == null ? null : modifier.getName()); // - a (possibly negated) HOA: ... automaton specification static final public Expression PathSpecification(boolean prop) throws ParseException {Expression result; ExpressionIdent kind = null; - if (jj_2_23(1)) { + if (jj_2_25(1)) { if (getToken(1).kind==REG_IDENT && getToken(1).image.equals("HOA") && getToken(2).kind==COLON) { @@ -3392,7 +3506,7 @@ ret.setModifier(modifier == null ? null : modifier.getName()); jj_consume_token(LBRACE); result = PathSpecificationHOA(prop); jj_consume_token(RBRACE); - } else if (jj_2_24(1)) { + } else if (jj_2_26(1)) { if (getToken(1).kind==NOT && getToken(2).kind==REG_IDENT && getToken(2).image.equals("HOA") @@ -3409,7 +3523,7 @@ ret.setModifier(modifier == null ? null : modifier.getName()); result = PathSpecificationHOA(prop); jj_consume_token(RBRACE); result = Expression.Not(result); - } else if (jj_2_25(1)) { + } else if (jj_2_27(1)) { if (getToken(1).kind==REG_IDENT && getToken(2).kind==COLON) { @@ -3456,7 +3570,7 @@ result = Expression.Not(result); break; } default: - jj_la1[96] = jj_gen; + jj_la1[101] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3472,7 +3586,7 @@ result = Expression.Not(result); String ap, label; hoaAutomatonFile = QuotedString(); result = new ExpressionHOA(hoaAutomatonFile); - label_30: + label_33: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case COMMA:{ @@ -3480,8 +3594,8 @@ result = new ExpressionHOA(hoaAutomatonFile); break; } default: - jj_la1[97] = jj_gen; - break label_30; + jj_la1[102] = jj_gen; + break label_33; } jj_consume_token(COMMA); ap = QuotedIdentifier(); @@ -3502,7 +3616,7 @@ Filter Filter() throws ParseException {Filter filter; expr = Expression(true, false); filter = new Filter(expr); jj_consume_token(RBRACE); - label_31: + label_34: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case LBRACE:{ @@ -3510,8 +3624,8 @@ filter = new Filter(expr); break; } default: - jj_la1[98] = jj_gen; - break label_31; + jj_la1[103] = jj_gen; + break label_34; } jj_consume_token(LBRACE); switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3526,7 +3640,7 @@ filter.setMaxRequested(true); break; } default: - jj_la1[99] = jj_gen; + jj_la1[104] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3564,7 +3678,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[100] = jj_gen; + jj_la1[105] = jj_gen; ; } r = LtGt(); @@ -3579,7 +3693,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[101] = jj_gen; + jj_la1[106] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3591,7 +3705,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[102] = jj_gen; + jj_la1[107] = jj_gen; ; } jj_consume_token(RBRACKET); @@ -3637,7 +3751,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[103] = jj_gen; + jj_la1[108] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3646,7 +3760,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[104] = jj_gen; + jj_la1[109] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3664,14 +3778,14 @@ minMax = MinMax.max(); break; } default: - jj_la1[105] = jj_gen; + jj_la1[110] = jj_gen; jj_consume_token(-1); throw new ParseException(); } break; } default: - jj_la1[106] = jj_gen; + jj_la1[111] = jj_gen; ; } break; @@ -3687,7 +3801,7 @@ minMax = MinMax.max(); break; } default: - jj_la1[107] = jj_gen; + jj_la1[112] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3708,7 +3822,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[108] = jj_gen; + jj_la1[113] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3720,7 +3834,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[109] = jj_gen; + jj_la1[114] = jj_gen; ; } jj_consume_token(RBRACKET); @@ -3755,7 +3869,7 @@ void RewardSpecification(ExpressionReward exprRew) throws ParseException {Object break; } default: - jj_la1[110] = jj_gen; + jj_la1[115] = jj_gen; ; } exprRew.setRewardStructIndex(index); @@ -3766,7 +3880,7 @@ exprRew.setRewardStructIndex(index); static final public Object RewardIndex() throws ParseException {Object index = null; jj_consume_token(LBRACE); - if (jj_2_26(2147483647)) { + if (jj_2_28(2147483647)) { index = QuotedIdentifier(); } else { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3805,7 +3919,7 @@ exprRew.setRewardStructIndex(index); break; } default: - jj_la1[111] = jj_gen; + jj_la1[116] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3827,7 +3941,7 @@ Expression ExpressionRewardContents(boolean prop, boolean pathprop) throws Parse Token begin; TemporalOperatorBound b = new TemporalOperatorBound(); begin = getToken(1); - if (jj_2_27(2147483647)) { + if (jj_2_29(2147483647)) { expr = ExpressionSS(prop, true); ret = expr; } else { @@ -3838,8 +3952,8 @@ ret = new ExpressionTemporal(ExpressionTemporal.R_S, null, null); break; } default: - jj_la1[112] = jj_gen; - if (jj_2_28(2147483647)) { + jj_la1[117] = jj_gen; + if (jj_2_30(2147483647)) { begin = jj_consume_token(C); jj_consume_token(LE); expr = Expression(false, false); @@ -3894,7 +4008,7 @@ ret = expr; break; } default: - jj_la1[113] = jj_gen; + jj_la1[118] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3963,7 +4077,7 @@ ret = new ExpressionStrategy(false); break; } default: - jj_la1[114] = jj_gen; + jj_la1[119] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3988,7 +4102,7 @@ ret = new ExpressionStrategy(false); break; } default: - jj_la1[115] = jj_gen; + jj_la1[120] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4001,7 +4115,7 @@ ret.addOperand(expr); break; } default: - jj_la1[116] = jj_gen; + jj_la1[121] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4021,13 +4135,13 @@ exprStrat.setCoalitionAllPlayers(); break; } default: - jj_la1[119] = jj_gen; + jj_la1[124] = jj_gen; switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case REG_INT: case REG_IDENT:{ s = ExpressionStrategyCoalitionPlayer(); coalition.add(s); - label_32: + label_35: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case COMMA:{ @@ -4035,8 +4149,8 @@ coalition.add(s); break; } default: - jj_la1[117] = jj_gen; - break label_32; + jj_la1[122] = jj_gen; + break label_35; } jj_consume_token(COMMA); s = ExpressionStrategyCoalitionPlayer(); @@ -4045,7 +4159,7 @@ coalition.add(s); break; } default: - jj_la1[118] = jj_gen; + jj_la1[123] = jj_gen; ; } exprStrat.setCoalition(coalition); @@ -4065,7 +4179,7 @@ String ExpressionStrategyCoalitionPlayer() throws ParseException {String s; break; } default: - jj_la1[120] = jj_gen; + jj_la1[125] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4128,7 +4242,7 @@ op = "|"; break; } default: - jj_la1[121] = jj_gen; + jj_la1[126] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4141,7 +4255,7 @@ op = "|"; break; } default: - jj_la1[122] = jj_gen; + jj_la1[127] = jj_gen; ; } jj_consume_token(RPARENTH); @@ -4205,7 +4319,7 @@ s = getToken(0).image; break; } default: - jj_la1[123] = jj_gen; + jj_la1[128] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4237,7 +4351,7 @@ ident="max"; break; } default: - jj_la1[124] = jj_gen; + jj_la1[129] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4274,7 +4388,7 @@ int EqNeq() throws ParseException { break; } default: - jj_la1[125] = jj_gen; + jj_la1[130] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4306,7 +4420,7 @@ int LtGt() throws ParseException { break; } default: - jj_la1[126] = jj_gen; + jj_la1[131] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -4332,7 +4446,7 @@ begin = getToken(1); break; } default: - jj_la1[127] = jj_gen; + jj_la1[132] = jj_gen; ; } jj_consume_token(0); @@ -4569,110 +4683,183 @@ fl.setLHS(s); finally { jj_save(27, xla); } } - static private boolean jj_3R_129() + static private boolean jj_2_29(int xla) + { + jj_la = xla; jj_lastpos = jj_scanpos = token; + try { return (!jj_3_29()); } + catch(LookaheadSuccess ls) { return true; } + finally { jj_save(28, xla); } + } + + static private boolean jj_2_30(int xla) + { + jj_la = xla; jj_lastpos = jj_scanpos = token; + try { return (!jj_3_30()); } + catch(LookaheadSuccess ls) { return true; } + finally { jj_save(29, xla); } + } + + static private boolean jj_3_17() + { + if (jj_3R_48()) return true; + if (jj_scan_token(LPARENTH)) return true; + return false; + } + + static private boolean jj_3R_177() { - if (jj_3R_146()) return true; Token xsp; + xsp = jj_scanpos; + if (jj_scan_token(81)) jj_scanpos = xsp; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_193()) return true; while (true) { xsp = jj_scanpos; - if (jj_3R_147()) { jj_scanpos = xsp; break; } + if (jj_3R_194()) { jj_scanpos = xsp; break; } } + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_35() + static private boolean jj_3R_122() { - if (jj_3R_34()) return true; + if (jj_scan_token(FILTER)) return true; + if (jj_scan_token(LPARENTH)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_258()) { + jj_scanpos = xsp; + if (jj_3R_259()) { + jj_scanpos = xsp; + if (jj_3R_260()) { + jj_scanpos = xsp; + if (jj_3R_261()) { + jj_scanpos = xsp; + if (jj_3R_262()) { + jj_scanpos = xsp; + if (jj_3R_263()) return true; + } + } + } + } + } + if (jj_scan_token(COMMA)) return true; + if (jj_3R_64()) return true; + xsp = jj_scanpos; + if (jj_3R_264()) jj_scanpos = xsp; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_54() + static private boolean jj_3R_204() { - if (jj_3R_57()) return true; + if (jj_3R_48()) return true; return false; } - static private boolean jj_3R_49() + static private boolean jj_3R_202() { + if (jj_3R_48()) return true; return false; } - static private boolean jj_3R_130() + static private boolean jj_3R_200() { - if (jj_scan_token(IMPLIES)) return true; - if (jj_3R_129()) return true; + if (jj_3R_48()) return true; return false; } - static private boolean jj_3_25() + static private boolean jj_3R_198() { - 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; + if (jj_3R_48()) return true; return false; } - static private boolean jj_3R_232() + static private boolean jj_3R_188() { - if (jj_scan_token(OR)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_110() + static private boolean jj_3R_187() { - if (jj_3R_129()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_130()) { jj_scanpos = xsp; break; } - } + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_64()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_64()) return true; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_48() + static private boolean jj_3R_186() { + if (jj_scan_token(GT)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_204()) { + jj_scanpos = xsp; + if (jj_3R_205()) return true; + } return false; } - static private boolean jj_3R_43() + static private boolean jj_3R_185() { - if (jj_3R_33()) return true; + if (jj_scan_token(GE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_202()) { + jj_scanpos = xsp; + if (jj_3R_203()) return true; + } return false; } - static private boolean jj_3R_57() + static private boolean jj_3R_184() { - if (jj_3R_65()) return true; + if (jj_scan_token(LT)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_200()) { + jj_scanpos = xsp; + if (jj_3R_201()) return true; + } return false; } - static private boolean jj_3R_111() + static private boolean jj_3R_183() { - 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(LE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_198()) { + jj_scanpos = xsp; + if (jj_3R_199()) return true; + } return false; } - static private boolean jj_3_24() + static private boolean jj_3R_171() { - 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_267()) return true; - if (jj_scan_token(RBRACE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_183()) { + jj_scanpos = xsp; + if (jj_3R_184()) { + jj_scanpos = xsp; + if (jj_3R_185()) { + jj_scanpos = xsp; + if (jj_3R_186()) { + jj_scanpos = xsp; + if (jj_3R_187()) { + jj_scanpos = xsp; + if (jj_3R_188()) return true; + } + } + } + } + } return false; } @@ -4682,2334 +4869,2385 @@ fl.setLHS(s); return false; } + static private boolean jj_3R_121() + { + if (jj_3R_38()) return true; + return false; + } + static private boolean jj_3_3() { if (jj_scan_token(LABEL)) return true; - if (jj_3R_35()) return true; + if (jj_3R_38()) return true; return false; } - static private boolean jj_3_23() + static private boolean jj_3R_280() { - 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_267()) return true; - if (jj_scan_token(RBRACE)) return true; + if (jj_3R_117()) return true; return false; } - static private boolean jj_3R_93() + static private boolean jj_3R_212() { - if (jj_3R_110()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_111()) jj_scanpos = xsp; + if (jj_scan_token(OR)) return true; + if (jj_3R_197()) return true; return false; } - static private boolean jj_3R_47() + static private boolean jj_3R_293() { Token xsp; xsp = jj_scanpos; - if (jj_3_23()) { - jj_scanpos = xsp; - if (jj_3_24()) { - jj_scanpos = xsp; - if (jj_3_25()) { + if (jj_scan_token(87)) { jj_scanpos = xsp; - if (jj_3R_54()) return true; - } - } + if (jj_scan_token(90)) return true; } return false; } - static private boolean jj_3R_34() + static private boolean jj_3R_197() { - if (jj_scan_token(REG_QUOTED_IDENT)) return true; + if (jj_3R_211()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_212()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_257() + static private boolean jj_3R_294() { - if (jj_scan_token(MAX)) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_293()) return true; return false; } - static private boolean jj_3R_240() + static private boolean jj_3R_290() { - if (jj_3R_66()) return true; + if (jj_3R_293()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_294()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_231() + static private boolean jj_3R_287() { - if (jj_scan_token(AND)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_290()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_229() + static private boolean jj_3R_218() { - if (jj_scan_token(MAX)) return true; + if (jj_scan_token(SEMICOLON)) return true; + if (jj_3R_211()) return true; return false; } - static private boolean jj_3R_46() + static private boolean jj_3R_278() { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_286()) { + jj_scanpos = xsp; + if (jj_3R_287()) return true; + } return false; } - static private boolean jj_3R_45() + static private boolean jj_3R_286() { + if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_105() + static private boolean jj_3R_211() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_37()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_3R_170()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_218()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_44() + static private boolean jj_3R_257() { + if (jj_3R_115()) return true; return false; } - static private boolean jj_3R_164() + static private boolean jj_3R_182() { - if (jj_3R_181()) return true; + if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_104() + static private boolean jj_3R_279() { - if (jj_3R_34()) return true; + if (jj_3R_116()) return true; return false; } - static private boolean jj_3R_33() + static private boolean jj_3R_256() { - if (jj_scan_token(REG_IDENT)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_279()) { + jj_scanpos = xsp; + if (jj_3R_280()) return true; + } return false; } - static private boolean jj_3R_88() + static private boolean jj_3R_155() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_33()) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_278()) return true; + if (jj_scan_token(RBRACKET)) return true; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_103() + static private boolean jj_3R_181() { - if (jj_3R_33()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_197()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_86() + static private boolean jj_3R_154() { - 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_scan_token(LT)) return true; + if (jj_scan_token(LT)) return true; + if (jj_3R_278()) return true; + if (jj_scan_token(GT)) return true; + if (jj_scan_token(GT)) return true; return false; } - static private boolean jj_3_21() + static private boolean jj_3R_120() { - 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_164()) jj_scanpos = xsp; - if (jj_3R_123()) 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_123()) 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_123()) return true; + if (jj_3R_154()) { + jj_scanpos = xsp; + if (jj_3R_155()) return true; + } + xsp = jj_scanpos; + if (jj_3R_256()) { + jj_scanpos = xsp; + if (jj_3R_257()) return true; + } return false; } - static private boolean jj_3R_127() + static private boolean jj_3R_180() { - 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; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_64()) return true; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_144() + static private boolean jj_3R_170() { Token xsp; xsp = jj_scanpos; - if (jj_3_19()) { - jj_scanpos = xsp; - if (jj_3_20()) { + if (jj_3R_180()) { jj_scanpos = xsp; - if (jj_3_21()) return true; - } + if (jj_3R_181()) return true; } + xsp = jj_scanpos; + if (jj_3R_182()) jj_scanpos = xsp; return false; } - static private boolean jj_3_9() + static private boolean jj_3R_47() { - 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_3R_234() + static private boolean jj_3R_223() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_57()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_233() + static private boolean jj_3R_243() { - if (jj_3R_33()) return true; + if (jj_3R_219()) return true; return false; } - static private boolean jj_3R_238() + static private boolean jj_3_2() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_43()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_3R_37()) return true; + if (jj_scan_token(COLON)) return true; return false; } - static private boolean jj_3R_230() + static private boolean jj_3R_46() { - if (jj_scan_token(PLUS)) return true; return false; } - static private boolean jj_3R_228() + static private boolean jj_3R_45() { - if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3_18() + static private boolean jj_3R_119() { - 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_145() - { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_144()) return true; + if (jj_scan_token(A)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_64()) return true; + if (jj_scan_token(RBRACKET)) 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_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; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("reward"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_47()) return true; + if (jj_3R_36()) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_127()) { jj_scanpos = xsp; break; } - } - if (jj_scan_token(RBRACE)) return true; + xsp = jj_scanpos; + if (jj_3R_243()) jj_scanpos = xsp; 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_216() - { - if (jj_scan_token(REGEXP_MARKER)) return true; - if (jj_3R_148()) return true; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("steps"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_46()) return true; + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_128() + static private boolean jj_3_14() { - Token xsp; - xsp = jj_scanpos; - if (jj_scan_token(81)) jj_scanpos = xsp; - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_144()) return true; - while (true) { - xsp = jj_scanpos; - if (jj_3R_145()) { jj_scanpos = xsp; break; } - } - if (jj_scan_token(RBRACE)) return true; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("time"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_45()) return true; + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_196() + static private boolean jj_3R_44() { - if (jj_scan_token(FILTER)) return true; - if (jj_scan_token(LPARENTH)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_228()) { - jj_scanpos = xsp; - if (jj_3R_229()) { - jj_scanpos = xsp; - if (jj_3R_230()) { - jj_scanpos = xsp; - if (jj_3R_231()) { + if (jj_3_14()) { jj_scanpos = xsp; - if (jj_3R_232()) { + if (jj_3_15()) { jj_scanpos = xsp; - if (jj_3R_233()) return true; + if (jj_3_16()) return true; } } - } - } - } - if (jj_scan_token(COMMA)) return true; - if (jj_3R_57()) return true; - xsp = jj_scanpos; - if (jj_3R_234()) jj_scanpos = xsp; - if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3_22() + static private boolean jj_3R_43() { - if (jj_3R_47()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_240()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_215() + static private boolean jj_3R_118() { - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_scan_token(E)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_64()) return true; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_214() + static private boolean jj_3R_70() { - if (jj_3R_64()) return true; - if (jj_3R_57()) return true; + if (jj_3R_78()) return true; + if (jj_scan_token(TIMES)) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_155() + static private boolean jj_3_13() { - if (jj_3R_43()) return true; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && + ( getToken(1).image.equals("time") || getToken(1).image.equals("steps") || getToken(1).image.equals("reward") ); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_43()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_256() + static private boolean jj_3_30() { - if (jj_scan_token(MIN)) return true; + if (jj_scan_token(C)) return true; + if (jj_scan_token(LE)) return true; return false; } - static private boolean jj_3R_239() + static private boolean jj_3R_60() { Token xsp; xsp = jj_scanpos; - if (jj_3R_256()) { + if (jj_3_13()) { jj_scanpos = xsp; - if (jj_3R_257()) return true; + if (jj_3R_70()) return true; } return false; } - static private boolean jj_3R_153() + static private boolean jj_3R_277() { - if (jj_3R_43()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_87() + static private boolean jj_3_29() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_106()) { - jj_scanpos = xsp; - if (jj_3R_107()) return true; - } + if (jj_3R_56()) return true; return false; } - static private boolean jj_3R_106() + static private boolean jj_3R_227() { - 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_126()) { jj_scanpos = xsp; break; } - } - if (jj_scan_token(RBRACE)) return true; + if (jj_scan_token(PLUS)) return true; + if (jj_3R_60()) return true; return false; } - static private boolean jj_3R_213() + static private boolean jj_3R_276() { - if (jj_scan_token(PMAX)) return true; + if (jj_scan_token(I)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_151() + static private boolean jj_3R_275() { - if (jj_3R_43()) return true; + if (jj_scan_token(C)) return true; return false; } - static private boolean jj_3R_212() + static private boolean jj_3R_274() { - if (jj_scan_token(PMIN)) return true; + if (jj_scan_token(C)) return true; + if (jj_scan_token(LE)) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_149() + static private boolean jj_3R_273() { - if (jj_3R_43()) return true; + if (jj_scan_token(S)) return true; return false; } - static private boolean jj_3R_77() + static private boolean jj_3R_272() { - if (jj_3R_86()) return true; + if (jj_3R_56()) return true; + return false; + } + + static private boolean jj_3R_42() + { + if (jj_3R_60()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_87()) { jj_scanpos = xsp; break; } + if (jj_3R_227()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_211() + static private boolean jj_3_28() + { + if (jj_3R_37()) return true; + return false; + } + + static private boolean jj_3R_254() { - if (jj_scan_token(P)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_238()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_239()) jj_scanpos = xsp; + if (jj_3R_272()) { + jj_scanpos = xsp; + if (jj_3R_273()) { + jj_scanpos = xsp; + if (jj_3R_274()) { + jj_scanpos = xsp; + if (jj_3R_275()) { + jj_scanpos = xsp; + if (jj_3R_276()) { + jj_scanpos = xsp; + if (jj_3R_277()) return true; + } + } + } + } + } return false; } - static private boolean jj_3_8() + static private boolean jj_3_12() { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(OR)) return true; + if (jj_3R_42()) return true; + if (jj_3R_171()) return true; return false; } - static private boolean jj_3R_139() + static private boolean jj_3R_59() { - if (jj_scan_token(EQ)) return true; - if (jj_3R_57()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_41()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_138() + static private boolean jj_3R_255() { - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_57()) return true; - if (jj_scan_token(COMMA)) return true; - if (jj_3R_57()) return true; - if (jj_scan_token(RBRACKET)) return true; + if (jj_3R_74()) return true; return false; } - static private boolean jj_3R_137() + static private boolean jj_3R_222() { - if (jj_scan_token(GT)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_155()) { - jj_scanpos = xsp; - if (jj_3R_156()) return true; - } + if (jj_3R_37()) return true; return false; } - static private boolean jj_3R_136() + static private boolean jj_3R_41() { - if (jj_scan_token(GE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_153()) { + if (jj_3R_59()) { jj_scanpos = xsp; - if (jj_3R_154()) return true; + if (jj_3_12()) return true; } return false; } - static private boolean jj_3R_190() + static private boolean jj_3_11() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_211()) { - jj_scanpos = xsp; - if (jj_3R_212()) { - jj_scanpos = xsp; - if (jj_3R_213()) return true; - } - } - xsp = jj_scanpos; - if (jj_3R_214()) { - jj_scanpos = xsp; - if (jj_3R_215()) return true; - } - if (jj_scan_token(LBRACKET)) return true; - xsp = jj_scanpos; - if (jj_3_22()) { - jj_scanpos = xsp; - if (jj_3R_216()) return true; - } - if (jj_scan_token(RBRACKET)) return true; + if (jj_3R_41()) return true; return false; } - static private boolean jj_3R_135() + static private boolean jj_3R_219() { - if (jj_scan_token(LT)) return true; + if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_151()) { + if (jj_3R_222()) { jj_scanpos = xsp; - if (jj_3R_152()) return true; + if (jj_3R_223()) return true; } + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_134() + static private boolean jj_3R_214() { - if (jj_scan_token(LE)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_149()) { - jj_scanpos = xsp; - if (jj_3R_150()) return true; - } + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_135()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_123() + static private boolean jj_3R_213() + { + if (jj_scan_token(NOT)) return true; + if (jj_3R_206()) return true; + return false; + } + + static private boolean jj_3R_206() { Token xsp; xsp = jj_scanpos; - if (jj_3R_134()) { + if (jj_3R_213()) { jj_scanpos = xsp; - if (jj_3R_135()) { - jj_scanpos = xsp; - if (jj_3R_136()) { - jj_scanpos = xsp; - if (jj_3R_137()) { - jj_scanpos = xsp; - if (jj_3R_138()) { + if (jj_3R_214()) { jj_scanpos = xsp; - if (jj_3R_139()) return true; - } - } - } + if (jj_3_11()) return true; } } return false; } - static private boolean jj_3R_195() + static private boolean jj_3R_285() { - if (jj_3R_35()) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_62() + static private boolean jj_3R_289() { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(OR)) return true; - if (jj_3R_68()) return true; + if (jj_scan_token(DIVIDE)) return true; + if (jj_3R_219()) return true; return false; } - static private boolean jj_3_10() + static private boolean jj_3_1() { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(LBRACKET)) return true; + if (jj_scan_token(MODULE)) return true; + if (jj_3R_36()) return true; + if (jj_scan_token(EQ)) return true; return false; } - static private boolean jj_3R_252() + static private boolean jj_3R_283() { - if (jj_3R_191()) return true; + if (jj_3R_219()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_289()) jj_scanpos = xsp; return false; } - static private boolean jj_3_2() + static private boolean jj_3R_207() { - if (jj_3R_34()) return true; - if (jj_scan_token(COLON)) return true; + if (jj_scan_token(AND)) return true; + if (jj_3R_206()) return true; return false; } - static private boolean jj_3R_237() + static private boolean jj_3R_189() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_57()) return true; + if (jj_3R_206()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_207()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_210() + static private boolean jj_3R_190() { - if (jj_3R_33()) return true; + if (jj_scan_token(OR)) return true; + if (jj_3R_189()) return true; return false; } - static private boolean jj_3R_78() + static private boolean jj_3R_172() { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_33()) return true; + if (jj_3R_189()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_88()) { jj_scanpos = xsp; break; } + if (jj_3R_190()) { 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_276() + static private boolean jj_3R_253() { - Token xsp; - xsp = jj_scanpos; - if (jj_scan_token(87)) { - jj_scanpos = xsp; - if (jj_scan_token(90)) return true; - } + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_162() + static private boolean jj_3R_252() { - if (jj_scan_token(OR)) return true; - if (jj_3R_148()) return true; + if (jj_3R_72()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_148() + static private boolean jj_3R_271() { - if (jj_3R_161()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_162()) jj_scanpos = xsp; + if (jj_3R_284()) { + jj_scanpos = xsp; + if (jj_3R_285()) return true; + } return false; } - static private boolean jj_3R_68() + static private boolean jj_3R_284() { - if (jj_3R_77()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_78()) jj_scanpos = xsp; + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_189() + static private boolean jj_3R_173() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_57()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(IMPLIES)) return true; + if (jj_3R_172()) return true; return false; } - static private boolean jj_3R_277() + static private boolean jj_3R_269() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_276()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_48()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_269() + static private boolean jj_3R_270() { - if (jj_3R_276()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_277()) { jj_scanpos = xsp; break; } - } + if (jj_3R_283()) return true; return false; } - static private boolean jj_3R_262() + static private boolean jj_3R_153() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_269()) jj_scanpos = xsp; + if (jj_scan_token(RMAX)) return true; return false; } - static private boolean jj_3R_261() + static private boolean jj_3R_152() { - if (jj_scan_token(TIMES)) return true; + if (jj_scan_token(RMIN)) return true; return false; } - static private boolean jj_3R_250() + static private boolean jj_3R_135() { + if (jj_3R_172()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_261()) { - jj_scanpos = xsp; - if (jj_3R_262()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_173()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_167() + static private boolean jj_3R_65() { - if (jj_scan_token(SEMICOLON)) return true; - if (jj_3R_161()) return true; + if (jj_3R_74()) return true; return false; } - static private boolean jj_3R_209() + static private boolean jj_3R_151() { - if (jj_scan_token(MAX)) return true; + if (jj_scan_token(R)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_269()) jj_scanpos = xsp; + xsp = jj_scanpos; + if (jj_3R_270()) jj_scanpos = xsp; + xsp = jj_scanpos; + if (jj_3R_271()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_203() + static private boolean jj_3R_208() { - if (jj_scan_token(FALSE)) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_202() + static private boolean jj_3R_117() { - if (jj_scan_token(TRUE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_151()) { + jj_scanpos = xsp; + if (jj_3R_152()) { + jj_scanpos = xsp; + if (jj_3R_153()) return true; + } + } + xsp = jj_scanpos; + if (jj_3R_252()) { + jj_scanpos = xsp; + if (jj_3R_253()) return true; + } + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_254()) return true; + xsp = jj_scanpos; + if (jj_3R_255()) jj_scanpos = xsp; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_161() + static private boolean jj_3R_192() { - if (jj_3R_122()) return true; + if (jj_3R_64()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_167()) jj_scanpos = xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_208()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_61() + static private boolean jj_3R_174() { - if (jj_3R_68()) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_69()) { jj_scanpos = xsp; break; } + xsp = jj_scanpos; + if (jj_3R_191()) { + jj_scanpos = xsp; + if (jj_3R_192()) return true; } return false; } - static private boolean jj_3R_227() + static private boolean jj_3R_191() { - if (jj_3R_189()) return true; + if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_251() + static private boolean jj_3R_167() { - if (jj_3R_190()) return true; + if (jj_3R_83()) return true; return false; } - static private boolean jj_3R_133() + static private boolean jj_3R_166() { - if (jj_scan_token(TIMES)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_174()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_226() + static private boolean jj_3R_165() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_251()) { - jj_scanpos = xsp; - if (jj_3R_252()) return true; - } + if (jj_3R_171()) return true; return false; } - static private boolean jj_3R_201() + static private boolean jj_3R_164() { - if (jj_scan_token(REG_DOUBLE)) return true; + if (jj_scan_token(REGEXP_MARKER)) return true; + if (jj_3R_170()) return true; return false; } - static private boolean jj_3R_225() + static private boolean jj_3R_163() { - if (jj_scan_token(LBRACKET)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_250()) return true; - if (jj_scan_token(RBRACKET)) return true; - if (jj_scan_token(RBRACKET)) return true; + if (jj_scan_token(ACCBOXMINUS)) return true; return false; } - static private boolean jj_3R_224() + static private boolean jj_3R_162() { - if (jj_scan_token(LT)) return true; - if (jj_scan_token(LT)) return true; - if (jj_3R_250()) return true; - if (jj_scan_token(GT)) return true; - if (jj_scan_token(GT)) return true; + if (jj_scan_token(ACCBOXPLUS)) return true; return false; } - static private boolean jj_3R_132() + static private boolean jj_3R_63() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_148()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_194() + static private boolean jj_3R_71() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_224()) { - jj_scanpos = xsp; - if (jj_3R_225()) return true; - } - xsp = jj_scanpos; - if (jj_3R_226()) { - jj_scanpos = xsp; - if (jj_3R_227()) return true; - } + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_48()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_208() + static private boolean jj_3R_161() { - if (jj_scan_token(MIN)) return true; + if (jj_scan_token(ACCDIAMINUS)) return true; return false; } - static private boolean jj_3R_131() + static private boolean jj_3R_160() { - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_57()) return true; - if (jj_scan_token(RBRACKET)) return true; + if (jj_scan_token(ACCDIAPLUS)) return true; return false; } - static private boolean jj_3R_200() + static private boolean jj_3R_62() { - if (jj_scan_token(REG_INT)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_71()) jj_scanpos = xsp; + if (jj_3R_72()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_185() + static private boolean jj_3R_128() { Token xsp; xsp = jj_scanpos; - if (jj_3R_200()) { + if (jj_3R_160()) { jj_scanpos = xsp; - if (jj_3R_201()) { + if (jj_3R_161()) { jj_scanpos = xsp; - if (jj_3R_202()) { + if (jj_3R_162()) { jj_scanpos = xsp; - if (jj_3R_203()) return true; + if (jj_3R_163()) return true; } } } + if (jj_scan_token(LBRACE)) return true; + xsp = jj_scanpos; + if (jj_3R_164()) { + jj_scanpos = xsp; + if (jj_3R_165()) return true; + } + if (jj_scan_token(RBRACE)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_135()) return true; + if (jj_scan_token(RBRACE)) return true; + xsp = jj_scanpos; + if (jj_3R_166()) jj_scanpos = xsp; + xsp = jj_scanpos; + if (jj_3R_167()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_122() + static private boolean jj_3R_56() { + if (jj_scan_token(S)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_131()) { + if (jj_3R_62()) { jj_scanpos = xsp; - if (jj_3R_132()) return true; + if (jj_3R_63()) return true; } + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_64()) return true; xsp = jj_scanpos; - if (jj_3R_133()) jj_scanpos = xsp; - return false; - } - - static private boolean jj_3R_206() - { - if (jj_scan_token(MAX)) return true; + if (jj_3R_65()) jj_scanpos = xsp; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_53() + static private boolean jj_3R_103() { - if (jj_3R_61()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_62()) { jj_scanpos = xsp; break; } - } + if (jj_3R_128()) return true; return false; } - static private boolean jj_3R_198() + static private boolean jj_3R_107() { - if (jj_3R_57()) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_42() + static private boolean jj_3R_102() { + if (jj_3R_127()) return true; return false; } - static private boolean jj_3R_184() + static private boolean jj_3R_106() { - if (jj_3R_181()) return true; + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_41() + static private boolean jj_3R_157() { + if (jj_3R_177()) return true; return false; } - static private boolean jj_3R_207() + static private boolean jj_3R_126() { - if (jj_3R_57()) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_237()) { jj_scanpos = xsp; break; } + xsp = jj_scanpos; + if (jj_3R_156()) { + jj_scanpos = xsp; + if (jj_3R_157()) return true; } return false; } - static private boolean jj_3R_40() - { - return false; - } - - static private boolean jj_3R_193() + static private boolean jj_3R_156() { - if (jj_scan_token(A)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_57()) return true; - if (jj_scan_token(RBRACKET)) return true; + if (jj_3R_171()) return true; return false; } - static private boolean jj_3R_37() + static private boolean jj_3R_125() { - if (jj_3R_53()) return true; + if (jj_scan_token(G)) return true; return false; } - static private boolean jj_3_14() + static private boolean jj_3R_124() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("reward"); - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_42()) return true; - if (jj_3R_33()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_184()) jj_scanpos = xsp; + if (jj_scan_token(F)) return true; return false; } - static private boolean jj_3_7() + static private boolean jj_3R_123() { - if (jj_3R_34()) return true; - if (jj_3R_37()) return true; + if (jj_scan_token(X)) return true; return false; } - static private boolean jj_3_13() + static private boolean jj_3R_85() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("steps"); - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_41()) return true; - if (jj_3R_33()) return true; + if (jj_scan_token(LBRACE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_106()) { + jj_scanpos = xsp; + if (jj_3R_107()) return true; + } + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_188() + static private boolean jj_3R_101() { - if (jj_scan_token(FUNC)) return true; - if (jj_scan_token(LPARENTH)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_208()) { + if (jj_3R_123()) { jj_scanpos = xsp; - if (jj_3R_209()) { + if (jj_3R_124()) { jj_scanpos = xsp; - if (jj_3R_210()) return true; + if (jj_3R_125()) return true; } } - if (jj_scan_token(COMMA)) return true; - if (jj_3R_207()) return true; - if (jj_scan_token(RPARENTH)) return true; + xsp = jj_scanpos; + if (jj_3R_126()) jj_scanpos = xsp; + if (jj_3R_83()) return true; return false; } - static private boolean jj_3_12() + static private boolean jj_3R_74() { - jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("time"); - jj_lookingAhead = false; - if (!jj_semLA || jj_3R_40()) return true; - if (jj_3R_33()) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_64()) return true; + if (jj_scan_token(RBRACE)) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_85()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_39() + static private boolean jj_3R_83() { Token xsp; xsp = jj_scanpos; - if (jj_3_12()) { + if (jj_3R_101()) { jj_scanpos = xsp; - if (jj_3_13()) { + if (jj_3R_102()) { jj_scanpos = xsp; - if (jj_3_14()) return true; + if (jj_3R_103()) return true; } } return false; } - static private boolean jj_3R_38() + static private boolean jj_3R_292() + { + if (jj_scan_token(COMMA)) return true; + if (jj_3R_37()) return true; + if (jj_scan_token(RENAME)) return true; + if (jj_3R_64()) return true; + return false; + } + + static private boolean jj_3R_288() { + if (jj_3R_291()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_292()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_192() + static private boolean jj_3R_136() { - if (jj_scan_token(E)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_57()) return true; - if (jj_scan_token(RBRACKET)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_174()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3_1() + static private boolean jj_3R_134() { - if (jj_scan_token(MODULE)) return true; - if (jj_3R_33()) return true; - if (jj_scan_token(EQ)) return true; + if (jj_3R_171()) return true; return false; } - static private boolean jj_3R_205() + static private boolean jj_3R_55() { - if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_157() + static private boolean jj_3R_133() { - if (jj_3R_163()) return true; - if (jj_scan_token(TIMES)) return true; - if (jj_3R_39()) return true; + if (jj_scan_token(REGEXP_MARKER)) return true; + if (jj_3R_170()) return true; return false; } - static private boolean jj_3R_187() + static private boolean jj_3R_61() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_205()) { - jj_scanpos = xsp; - if (jj_3R_206()) return true; - } - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_207()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3_28() + static private boolean jj_3R_54() { - if (jj_scan_token(C)) return true; - if (jj_scan_token(LE)) return true; return false; } - static private boolean jj_3_11() + static private boolean jj_3_27() { jj_lookingAhead = true; - jj_semLA = getToken(1).kind==REG_IDENT && - ( getToken(1).image.equals("time") || getToken(1).image.equals("steps") || getToken(1).image.equals("reward") ); + jj_semLA = getToken(1).kind==REG_IDENT + && getToken(2).kind==COLON; jj_lookingAhead = false; - if (!jj_semLA || jj_3R_38()) return true; - if (jj_3R_39()) return true; + if (!jj_semLA || jj_3R_55()) return true; + if (jj_3R_48()) return true; return false; } - static private boolean jj_3R_140() + static private boolean jj_3R_105() { + if (jj_scan_token(ACCUNTIL)) return true; + if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3_11()) { + if (jj_3R_133()) { jj_scanpos = xsp; - if (jj_3R_157()) return true; + if (jj_3R_134()) return true; } + if (jj_scan_token(RBRACE)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_135()) return true; + if (jj_scan_token(RBRACE)) return true; + xsp = jj_scanpos; + if (jj_3R_136()) jj_scanpos = xsp; + if (jj_3R_83()) return true; return false; } - static private boolean jj_3R_249() + static private boolean jj_3R_53() { - if (jj_3R_57()) return true; return false; } - static private boolean jj_3_27() + static private boolean jj_3R_169() { - if (jj_3R_51()) return true; + if (jj_3R_177()) return true; return false; } - static private boolean jj_3R_248() + static private boolean jj_3R_132() { - if (jj_scan_token(I)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_3R_57()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_168()) { + jj_scanpos = xsp; + if (jj_3R_169()) return true; + } return false; } - static private boolean jj_3R_204() + static private boolean jj_3R_168() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_207()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_3R_171()) return true; return false; } - static private boolean jj_3R_247() + static private boolean jj_3R_131() { - if (jj_scan_token(C)) return true; + if (jj_scan_token(R)) return true; return false; } - static private boolean jj_3R_141() + static private boolean jj_3_26() { - if (jj_scan_token(PLUS)) return true; - if (jj_3R_140()) return true; + 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_54()) return true; + if (jj_scan_token(NOT)) return true; + if (jj_3R_48()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_288()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_246() + static private boolean jj_3R_130() { - if (jj_scan_token(C)) return true; - if (jj_scan_token(LE)) return true; - if (jj_3R_57()) return true; + if (jj_scan_token(W)) return true; return false; } - static private boolean jj_3_6() + static private boolean jj_3R_129() { - if (jj_3R_34()) return true; + if (jj_scan_token(U)) return true; return false; } - static private boolean jj_3R_186() + static private boolean jj_3R_104() { - if (jj_3R_33()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_204()) jj_scanpos = xsp; - return false; - } - - static private boolean jj_3R_245() - { - if (jj_scan_token(S)) return true; + if (jj_3R_129()) { + jj_scanpos = xsp; + if (jj_3R_130()) { + jj_scanpos = xsp; + if (jj_3R_131()) return true; + } + } + xsp = jj_scanpos; + if (jj_3R_132()) jj_scanpos = xsp; + if (jj_3R_83()) return true; return false; } - static private boolean jj_3R_244() + static private boolean jj_3R_84() { - if (jj_3R_51()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_104()) { + jj_scanpos = xsp; + if (jj_3R_105()) return true; + } return false; } - static private boolean jj_3_26() + static private boolean jj_3_25() { - if (jj_3R_34()) return true; + 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_53()) return true; + if (jj_3R_48()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_288()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_222() + static private boolean jj_3R_52() { Token xsp; xsp = jj_scanpos; - if (jj_3R_244()) { - jj_scanpos = xsp; - if (jj_3R_245()) { - jj_scanpos = xsp; - if (jj_3R_246()) { + if (jj_3_25()) { jj_scanpos = xsp; - if (jj_3R_247()) { + if (jj_3_26()) { jj_scanpos = xsp; - if (jj_3R_248()) { + if (jj_3_27()) { jj_scanpos = xsp; - if (jj_3R_249()) return true; - } - } + if (jj_3R_61()) return true; } } } return false; } - static private boolean jj_3R_124() + static private boolean jj_3R_268() { - if (jj_3R_140()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_141()) { jj_scanpos = xsp; break; } - } + if (jj_3R_74()) return true; return false; } - static private boolean jj_3R_180() + static private boolean jj_3R_282() { - if (jj_3R_196()) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_223() + static private boolean jj_3R_73() { - if (jj_3R_66()) return true; + if (jj_3R_83()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_84()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_197() + static private boolean jj_3R_266() { - if (jj_3R_34()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_48()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_179() + static private boolean jj_3R_175() { - if (jj_3R_195()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_178() + static private boolean jj_3R_251() { - if (jj_3R_194()) return true; + if (jj_scan_token(REGEXP_MARKER)) return true; + if (jj_3R_197()) return true; return false; } - static private boolean jj_3R_101() + static private boolean jj_3_24() { - if (jj_3R_124()) return true; - if (jj_3R_123()) return true; + if (jj_3R_52()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_268()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_177() + static private boolean jj_3R_250() { - if (jj_3R_193()) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_176() + static private boolean jj_3R_249() { - if (jj_3R_192()) return true; + if (jj_3R_72()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_281() + static private boolean jj_3R_267() { - if (jj_scan_token(DIVIDE)) 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_175() + static private boolean jj_3R_281() { - if (jj_3R_191()) return true; + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_174() + static private boolean jj_3R_150() { - if (jj_3R_51()) return true; + if (jj_scan_token(PMAX)) return true; return false; } - static private boolean jj_3R_158() + static private boolean jj_3R_149() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_57()) return true; + if (jj_scan_token(PMIN)) return true; return false; } - static private boolean jj_3R_173() + static private boolean jj_3R_148() { - if (jj_3R_190()) return true; + if (jj_scan_token(P)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_266()) jj_scanpos = xsp; + xsp = jj_scanpos; + if (jj_3R_267()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_181() + static private boolean jj_3R_116() { - if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_197()) { + if (jj_3R_148()) { + jj_scanpos = xsp; + if (jj_3R_149()) { jj_scanpos = xsp; - if (jj_3R_198()) return true; + if (jj_3R_150()) return true; } - if (jj_scan_token(RBRACE)) return true; + } + xsp = jj_scanpos; + if (jj_3R_249()) { + jj_scanpos = xsp; + if (jj_3R_250()) return true; + } + if (jj_scan_token(LBRACKET)) return true; + xsp = jj_scanpos; + if (jj_3_24()) { + jj_scanpos = xsp; + if (jj_3R_251()) return true; + } + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_172() + static private boolean jj_3R_64() { - if (jj_3R_189()) return true; + if (jj_3R_73()) return true; return false; } - static private boolean jj_3R_143() + static private boolean jj_3R_265() + { + if (jj_scan_token(COMMA)) return true; + if (jj_3R_64()) return true; + return false; + } + + static private boolean jj_3R_248() + { + if (jj_3R_36()) return true; + return false; + } + + static private boolean jj_3R_139() + { + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_40()) return true; + if (jj_scan_token(RPARENTH)) return true; + return false; + } + + static private boolean jj_3R_138() + { + if (jj_3R_37()) return true; + return false; + } + + static private boolean jj_3R_137() + { + if (jj_3R_36()) return true; + return false; + } + + static private boolean jj_3R_110() { - if (jj_3R_57()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_158()) { jj_scanpos = xsp; break; } - } + if (jj_scan_token(COMMA)) return true; + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_171() + static private boolean jj_3R_115() { - if (jj_3R_188()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_64()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_125() + static private boolean jj_3R_108() { Token xsp; xsp = jj_scanpos; - if (jj_3R_142()) { + if (jj_3R_137()) { jj_scanpos = xsp; - if (jj_3R_143()) return true; + if (jj_3R_138()) { + jj_scanpos = xsp; + if (jj_3R_139()) return true; + } } return false; } - static private boolean jj_3R_142() + static private boolean jj_3R_176() { - if (jj_scan_token(TIMES)) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_36()) return true; + if (jj_scan_token(RENAME)) return true; + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_170() + static private boolean jj_3_9() { - if (jj_3R_187()) return true; + 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_3R_169() + static private boolean jj_3R_247() { - if (jj_3R_186()) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_119() + static private boolean jj_3R_145() { - if (jj_3R_74()) return true; + if (jj_scan_token(FALSE)) return true; return false; } - static private boolean jj_3R_168() + static private boolean jj_3R_144() { - if (jj_3R_185()) return true; + if (jj_scan_token(TRUE)) return true; return false; } - static private boolean jj_3R_273() + static private boolean jj_3R_141() { - if (jj_scan_token(MINUS)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_36()) return true; + if (jj_scan_token(RENAME)) return true; + if (jj_3R_36()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_176()) { jj_scanpos = xsp; break; } + } + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_268() + static private boolean jj_3R_77() { - if (jj_scan_token(DIVIDE)) return true; - if (jj_3R_181()) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + if (jj_3R_58()) return true; return false; } - static private boolean jj_3R_260() + static private boolean jj_3R_143() { - if (jj_scan_token(MAX)) return true; + if (jj_scan_token(REG_DOUBLE)) return true; return false; } - static private boolean jj_3R_60() + static private boolean jj_3R_140() { - if (jj_scan_token(AND)) return true; - if (jj_3R_59()) return true; + if (jj_scan_token(DIVIDE)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_36()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_175()) { jj_scanpos = xsp; break; } + } + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_258() + static private boolean jj_3R_109() { - if (jj_3R_181()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_268()) jj_scanpos = xsp; + if (jj_3R_140()) { + jj_scanpos = xsp; + if (jj_3R_141()) return true; + } return false; } - static private boolean jj_3R_163() + static private boolean jj_3R_86() { + if (jj_3R_108()) return true; Token xsp; - xsp = jj_scanpos; - 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()) { - jj_scanpos = xsp; - if (jj_3R_180()) return true; - } - } - } - } - } - } - } - } - } - } - } + while (true) { + xsp = jj_scanpos; + if (jj_3R_109()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_279() + static private boolean jj_3_8() { - if (jj_3R_163()) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; return false; } - static private boolean jj_3R_118() + static private boolean jj_3R_246() { - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_125()) return true; - if (jj_scan_token(RBRACE)) return true; + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_117() + static private boolean jj_3R_142() { - if (jj_3R_123()) return true; + if (jj_scan_token(REG_INT)) return true; return false; } - static private boolean jj_3R_278() + static private boolean jj_3R_111() { - if (jj_scan_token(MINUS)) return true; - if (jj_3R_270()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_142()) { + jj_scanpos = xsp; + if (jj_3R_143()) { + jj_scanpos = xsp; + if (jj_3R_144()) { + jj_scanpos = xsp; + if (jj_3R_145()) return true; + } + } + } return false; } - static private boolean jj_3R_116() + static private boolean jj_3R_69() { - if (jj_scan_token(REGEXP_MARKER)) return true; - if (jj_3R_122()) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(OR)) return true; + if (jj_3R_76()) return true; return false; } - static private boolean jj_3R_59() + static private boolean jj_3R_147() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_67()) return true; - if (jj_scan_token(EQ)) return true; - if (jj_3R_57()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_115() + static private boolean jj_3_10() { - if (jj_scan_token(ACCBOXMINUS)) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(LBRACKET)) return true; return false; } - static private boolean jj_3R_114() + static private boolean jj_3R_245() { - if (jj_scan_token(ACCBOXPLUS)) return true; + if (jj_3R_64()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_265()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_113() + static private boolean jj_3R_87() { - if (jj_scan_token(ACCDIAMINUS)) return true; + if (jj_scan_token(OR)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_36()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_110()) { jj_scanpos = xsp; break; } + } + if (jj_scan_token(RBRACKET)) return true; + if (jj_scan_token(OR)) return true; + if (jj_3R_86()) return true; return false; } - static private boolean jj_3R_112() + static private boolean jj_3R_76() { - if (jj_scan_token(ACCDIAPLUS)) return true; + if (jj_3R_86()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_87()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_270() + static private boolean jj_3R_114() { + if (jj_scan_token(FUNC)) return true; + if (jj_scan_token(LPARENTH)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_278()) { + if (jj_3R_246()) { + jj_scanpos = xsp; + if (jj_3R_247()) { jj_scanpos = xsp; - if (jj_3R_279()) return true; + if (jj_3R_248()) return true; } + } + if (jj_scan_token(COMMA)) return true; + if (jj_3R_245()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_280() + static private boolean jj_3R_146() { - if (jj_scan_token(TIMES)) return true; + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_52() + static private boolean jj_3R_113() { - if (jj_3R_59()) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_60()) { jj_scanpos = xsp; break; } + xsp = jj_scanpos; + if (jj_3R_146()) { + jj_scanpos = xsp; + if (jj_3R_147()) return true; } + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_245()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3_5() + static private boolean jj_3R_68() { - if (jj_3R_36()) return true; + if (jj_3R_76()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_77()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_271() + static private boolean jj_3R_244() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_280()) { - jj_scanpos = xsp; - if (jj_3R_281()) return true; - } - if (jj_3R_270()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_245()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_36() + static private boolean jj_3R_112() { + if (jj_3R_36()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_52()) { - jj_scanpos = xsp; - if (jj_scan_token(49)) return true; - } + if (jj_3R_244()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_221() + static private boolean jj_3R_100() { - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_3R_122()) return true; return false; } - static private boolean jj_3R_94() + static private boolean jj_3R_58() { + if (jj_3R_68()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_112()) { - jj_scanpos = xsp; - if (jj_3R_113()) { - jj_scanpos = xsp; - if (jj_3R_114()) { - jj_scanpos = xsp; - if (jj_3R_115()) return true; - } - } - } - if (jj_scan_token(LBRACE)) return true; - xsp = jj_scanpos; - if (jj_3R_116()) { - jj_scanpos = xsp; - if (jj_3R_117()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_69()) { jj_scanpos = xsp; break; } } - if (jj_scan_token(RBRACE)) return true; - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_101()) return true; - if (jj_scan_token(RBRACE)) return true; - xsp = jj_scanpos; - if (jj_3R_118()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_119()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_220() + static private boolean jj_3R_99() + { + if (jj_3R_121()) return true; + return false; + } + + static private boolean jj_3R_98() { - if (jj_3R_64()) return true; - if (jj_3R_57()) return true; + if (jj_3R_120()) return true; return false; } - static private boolean jj_3R_259() + static private boolean jj_3R_97() { - if (jj_scan_token(MIN)) return true; + if (jj_3R_119()) return true; return false; } - static private boolean jj_3R_243() + static private boolean jj_3R_96() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_259()) { - jj_scanpos = xsp; - if (jj_3R_260()) return true; - } + if (jj_3R_118()) return true; return false; } static private boolean jj_3R_242() { - if (jj_3R_258()) return true; + if (jj_scan_token(DIVIDE)) return true; return false; } - static private boolean jj_3R_241() + static private boolean jj_3R_95() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_43()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_3R_117()) return true; return false; } - static private boolean jj_3R_219() + static private boolean jj_3R_94() { - if (jj_scan_token(RMAX)) return true; + if (jj_3R_56()) return true; return false; } - static private boolean jj_3R_263() + static private boolean jj_3R_40() { - if (jj_3R_270()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_271()) { jj_scanpos = xsp; break; } - } + if (jj_3R_58()) return true; return false; } - static private boolean jj_3R_218() + static private boolean jj_3R_93() { - if (jj_scan_token(RMIN)) return true; + if (jj_3R_116()) return true; return false; } - static private boolean jj_3R_58() + static private boolean jj_3R_92() { - if (jj_3R_66()) return true; + if (jj_3R_115()) return true; return false; } - static private boolean jj_3R_81() + static private boolean jj_3_7() { - if (jj_3R_94()) return true; + if (jj_3R_37()) return true; + if (jj_3R_40()) return true; return false; } - static private boolean jj_3R_272() + static private boolean jj_3R_91() { - if (jj_scan_token(PLUS)) return true; + if (jj_3R_114()) return true; return false; } - static private boolean jj_3R_80() + static private boolean jj_3R_90() { - if (jj_3R_93()) return true; + if (jj_3R_113()) return true; return false; } - static private boolean jj_3R_264() + static private boolean jj_3R_89() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_272()) { - jj_scanpos = xsp; - if (jj_3R_273()) return true; - } - if (jj_3R_263()) return true; + if (jj_3R_112()) return true; return false; } - static private boolean jj_3R_217() + static private boolean jj_3R_88() { - if (jj_scan_token(R)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_241()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_242()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_243()) jj_scanpos = xsp; + if (jj_3R_111()) return true; return false; } - static private boolean jj_3R_109() + static private boolean jj_3R_238() { - if (jj_3R_128()) return true; + if (jj_scan_token(MINUS)) return true; return false; } - static private boolean jj_3R_92() + static private boolean jj_3R_78() { Token xsp; xsp = jj_scanpos; - if (jj_3R_108()) { + if (jj_3R_88()) { + jj_scanpos = xsp; + if (jj_3R_89()) { + jj_scanpos = xsp; + if (jj_3R_90()) { + jj_scanpos = xsp; + if (jj_3R_91()) { + jj_scanpos = xsp; + if (jj_3R_92()) { + jj_scanpos = xsp; + if (jj_3R_93()) { + jj_scanpos = xsp; + if (jj_3R_94()) { + jj_scanpos = xsp; + if (jj_3R_95()) { + jj_scanpos = xsp; + if (jj_3R_96()) { jj_scanpos = xsp; - if (jj_3R_109()) return true; + if (jj_3R_97()) { + jj_scanpos = xsp; + if (jj_3R_98()) { + jj_scanpos = xsp; + if (jj_3R_99()) { + jj_scanpos = xsp; + if (jj_3R_100()) return true; + } + } + } + } + } + } + } + } + } + } + } } return false; } - static private boolean jj_3R_108() + static private boolean jj_3R_240() { - if (jj_3R_123()) return true; + if (jj_3R_78()) return true; return false; } - static private boolean jj_3R_91() + static private boolean jj_3R_239() { - if (jj_scan_token(G)) return true; + if (jj_scan_token(MINUS)) return true; + if (jj_3R_235()) return true; return false; } - static private boolean jj_3R_191() + static private boolean jj_3_6() + { + if (jj_3R_37()) return true; + return false; + } + + static private boolean jj_3R_235() { Token xsp; xsp = jj_scanpos; - if (jj_3R_217()) { - jj_scanpos = xsp; - if (jj_3R_218()) { - jj_scanpos = xsp; - if (jj_3R_219()) return true; - } - } - xsp = jj_scanpos; - if (jj_3R_220()) { + if (jj_3R_239()) { jj_scanpos = xsp; - if (jj_3R_221()) return true; + if (jj_3R_240()) return true; } - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_222()) return true; - xsp = jj_scanpos; - if (jj_3R_223()) jj_scanpos = xsp; - if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_90() + static private boolean jj_3R_241() { - if (jj_scan_token(F)) return true; + if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_89() + static private boolean jj_3R_236() { - if (jj_scan_token(X)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_241()) { + jj_scanpos = xsp; + if (jj_3R_242()) return true; + } + if (jj_3R_235()) return true; return false; } - static private boolean jj_3R_253() + static private boolean jj_3R_231() { - if (jj_3R_263()) return true; + if (jj_3R_235()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_264()) { jj_scanpos = xsp; break; } + if (jj_3R_236()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_79() + static private boolean jj_3R_237() + { + if (jj_scan_token(PLUS)) return true; + return false; + } + + static private boolean jj_3R_232() { Token xsp; xsp = jj_scanpos; - if (jj_3R_89()) { + if (jj_3R_237()) { jj_scanpos = xsp; - if (jj_3R_90()) { - jj_scanpos = xsp; - if (jj_3R_91()) return true; + if (jj_3R_238()) return true; } - } - xsp = jj_scanpos; - if (jj_3R_92()) jj_scanpos = xsp; - if (jj_3R_74()) return true; + if (jj_3R_231()) return true; return false; } - static private boolean jj_3R_74() + static private boolean jj_3R_228() { + if (jj_3R_231()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_79()) { - jj_scanpos = xsp; - if (jj_3R_80()) { - jj_scanpos = xsp; - if (jj_3R_81()) return true; - } + while (true) { + xsp = jj_scanpos; + if (jj_3R_232()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_254() + static private boolean jj_3R_67() { - if (jj_3R_64()) return true; - if (jj_3R_253()) return true; + if (jj_scan_token(AND)) return true; + if (jj_3R_66()) return true; return false; } - static private boolean jj_3R_73() + static private boolean jj_3R_229() { - if (jj_scan_token(LE)) return true; + if (jj_3R_72()) return true; + if (jj_3R_228()) return true; return false; } - static private boolean jj_3R_72() + static private boolean jj_3R_82() { - if (jj_scan_token(GE)) return true; + if (jj_scan_token(LE)) return true; return false; } - static private boolean jj_3R_71() + static private boolean jj_3R_81() { - if (jj_scan_token(LT)) return true; + if (jj_scan_token(GE)) return true; return false; } - static private boolean jj_3R_235() + static private boolean jj_3R_225() { - if (jj_3R_253()) return true; + if (jj_3R_228()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_254()) { jj_scanpos = xsp; break; } + if (jj_3R_229()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_70() + static private boolean jj_3R_80() + { + if (jj_scan_token(LT)) return true; + return false; + } + + static private boolean jj_3R_79() { if (jj_scan_token(GT)) return true; return false; } - static private boolean jj_3R_64() + static private boolean jj_3R_72() { Token xsp; xsp = jj_scanpos; - if (jj_3R_70()) { + if (jj_3R_79()) { jj_scanpos = xsp; - if (jj_3R_71()) { + if (jj_3R_80()) { jj_scanpos = xsp; - if (jj_3R_72()) { + if (jj_3R_81()) { jj_scanpos = xsp; - if (jj_3R_73()) return true; + if (jj_3R_82()) return true; } } } return false; } - static private boolean jj_3R_102() + static private boolean jj_3R_66() { - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_125()) return true; - if (jj_scan_token(RBRACE)) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_75()) return true; + if (jj_scan_token(EQ)) return true; + if (jj_3R_64()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_100() + static private boolean jj_3R_234() { - if (jj_3R_123()) return true; + if (jj_scan_token(NE)) return true; return false; } - static private boolean jj_3R_99() + static private boolean jj_3R_226() { - if (jj_scan_token(REGEXP_MARKER)) return true; - if (jj_3R_122()) return true; + if (jj_3R_230()) return true; + if (jj_3R_225()) return true; return false; } - static private boolean jj_3R_63() + static private boolean jj_3R_230() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_43()) return true; - if (jj_scan_token(RPARENTH)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_233()) { + jj_scanpos = xsp; + if (jj_3R_234()) return true; + } return false; } - static private boolean jj_3R_56() + static private boolean jj_3R_233() { if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_55() + static private boolean jj_3R_57() + { + if (jj_3R_66()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_67()) { jj_scanpos = xsp; break; } + } + return false; + } + + static private boolean jj_3_5() + { + if (jj_3R_39()) return true; + return false; + } + + static private boolean jj_3R_224() + { + if (jj_3R_225()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_226()) { jj_scanpos = xsp; break; } + } + return false; + } + + static private boolean jj_3R_39() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_57()) { + jj_scanpos = xsp; + if (jj_scan_token(49)) return true; + } + return false; + } + + static private boolean jj_3R_221() { - 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_3R_224()) return true; return false; } - static private boolean jj_3R_266() + static private boolean jj_3R_220() { - if (jj_scan_token(NE)) return true; + if (jj_scan_token(NOT)) return true; + if (jj_3R_216()) return true; return false; } - static private boolean jj_3R_265() + static private boolean jj_3R_75() { - if (jj_scan_token(EQ)) return true; + if (jj_scan_token(REG_IDENTPRIME)) return true; return false; } - static private boolean jj_3R_255() + static private boolean jj_3R_216() { Token xsp; xsp = jj_scanpos; - if (jj_3R_265()) { + if (jj_3R_220()) { jj_scanpos = xsp; - if (jj_3R_266()) return true; + if (jj_3R_221()) return true; } return false; } - static private boolean jj_3R_236() + static private boolean jj_3R_217() { - if (jj_3R_255()) return true; - if (jj_3R_235()) return true; + if (jj_scan_token(AND)) return true; + if (jj_3R_216()) return true; return false; } - static private boolean jj_3R_199() + static private boolean jj_3R_209() { - if (jj_3R_235()) return true; + if (jj_3R_216()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_236()) { jj_scanpos = xsp; break; } + if (jj_3R_217()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_83() + static private boolean jj_3R_210() { - if (jj_scan_token(ACCUNTIL)) return true; - if (jj_scan_token(LBRACE)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_99()) { - jj_scanpos = xsp; - if (jj_3R_100()) return true; - } - if (jj_scan_token(RBRACE)) return true; - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_101()) return true; - if (jj_scan_token(RBRACE)) return true; - xsp = jj_scanpos; - if (jj_3R_102()) jj_scanpos = xsp; - if (jj_3R_74()) return true; + if (jj_scan_token(OR)) return true; + if (jj_3R_209()) return true; return false; } - static private boolean jj_3R_51() + static private boolean jj_3R_296() { - if (jj_scan_token(S)) return true; + if (jj_scan_token(REG_QUOTED_STRING)) return true; + return false; + } + + static private boolean jj_3R_295() + { + if (jj_scan_token(REG_QUOTED_IDENT)) return true; + return false; + } + + static private boolean jj_3R_195() + { + if (jj_3R_209()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_55()) { - jj_scanpos = xsp; - if (jj_3R_56()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_210()) { jj_scanpos = xsp; break; } } - 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_183() + static private boolean jj_3R_205() { - if (jj_3R_199()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_182() + static private boolean jj_3R_203() { - if (jj_scan_token(NOT)) return true; - if (jj_3R_165()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_121() + static private boolean jj_3R_201() { - if (jj_3R_128()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_98() + static private boolean jj_3R_291() { Token xsp; xsp = jj_scanpos; - if (jj_3R_120()) { + if (jj_3R_295()) { jj_scanpos = xsp; - if (jj_3R_121()) return true; + if (jj_3R_296()) return true; } return false; } - static private boolean jj_3R_120() + static private boolean jj_3R_199() { - if (jj_3R_123()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_97() + static private boolean jj_3R_196() { - if (jj_scan_token(R)) return true; + if (jj_scan_token(IFF)) return true; + if (jj_3R_195()) return true; return false; } - static private boolean jj_3R_96() + static private boolean jj_3R_178() { - if (jj_scan_token(W)) return true; + if (jj_3R_195()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_196()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_95() + static private boolean jj_3R_38() { - if (jj_scan_token(U)) return true; + if (jj_3R_37()) return true; return false; } - static private boolean jj_3R_67() + static private boolean jj_3R_179() { - if (jj_scan_token(REG_IDENTPRIME)) return true; + if (jj_scan_token(IMPLIES)) return true; + if (jj_3R_178()) return true; return false; } - static private boolean jj_3R_85() + static private boolean jj_3R_158() { - if (jj_scan_token(MAX)) return true; + if (jj_3R_178()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_179()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_165() + static private boolean jj_3R_262() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_182()) { - jj_scanpos = xsp; - if (jj_3R_183()) return true; - } + if (jj_scan_token(OR)) return true; return false; } - static private boolean jj_3R_84() + static private boolean jj_3R_48() { - if (jj_scan_token(MIN)) return true; + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_75() + static private boolean jj_3R_159() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_82()) { - jj_scanpos = xsp; - if (jj_3R_83()) return true; - } + if (jj_scan_token(QMARK)) return true; + if (jj_3R_158()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_3R_127()) return true; return false; } - static private boolean jj_3R_82() + static private boolean jj_3R_127() { + if (jj_3R_158()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_95()) { - jj_scanpos = xsp; - if (jj_3R_96()) { - jj_scanpos = xsp; - if (jj_3R_97()) return true; - } - } - xsp = jj_scanpos; - if (jj_3R_98()) jj_scanpos = xsp; - if (jj_3R_74()) return true; + if (jj_3R_159()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_76() + static private boolean jj_3R_37() { - 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(REG_QUOTED_IDENT)) return true; return false; } - static private boolean jj_3R_166() + static private boolean jj_3R_51() { - if (jj_scan_token(AND)) return true; - if (jj_3R_165()) return true; return false; } - static private boolean jj_3R_65() + static private boolean jj_3R_50() { - if (jj_3R_74()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_75()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_66() + static private boolean jj_3R_259() { - 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_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_159() + static private boolean jj_3R_261() { - if (jj_3R_165()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_166()) { jj_scanpos = xsp; break; } - } + if (jj_scan_token(AND)) return true; return false; } - static private boolean jj_3R_283() + static private boolean jj_3R_49() { - if (jj_scan_token(REG_QUOTED_STRING)) return true; return false; } - static private boolean jj_3R_160() + static private boolean jj_3R_215() { - if (jj_scan_token(OR)) return true; - if (jj_3R_159()) return true; + if (jj_3R_219()) return true; return false; } - static private boolean jj_3R_282() + static private boolean jj_3R_36() { - if (jj_scan_token(REG_QUOTED_IDENT)) return true; + if (jj_scan_token(REG_IDENT)) return true; return false; } - static private boolean jj_3R_146() + static private boolean jj_3_23() { - if (jj_3R_159()) return true; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("reward"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_51()) return true; + if (jj_3R_36()) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_160()) { jj_scanpos = xsp; break; } - } + xsp = jj_scanpos; + if (jj_3R_215()) jj_scanpos = xsp; + if (jj_3R_171()) return true; return false; } - static private boolean jj_3R_275() + static private boolean jj_3_22() { - 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; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("steps"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_50()) return true; + if (jj_3R_36()) return true; + if (jj_3R_171()) return true; return false; } - static private boolean jj_3R_156() + static private boolean jj_3_21() { - if (jj_3R_57()) return true; + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT && getToken(1).image.equals("time"); + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_49()) return true; + if (jj_3R_36()) return true; + if (jj_3R_171()) return true; return false; } - static private boolean jj_3R_274() + static private boolean jj_3R_193() { Token xsp; xsp = jj_scanpos; - if (jj_3R_282()) { + if (jj_3_21()) { jj_scanpos = xsp; - if (jj_3R_283()) return true; + if (jj_3_22()) { + jj_scanpos = xsp; + if (jj_3_23()) return true; + } } return false; } - static private boolean jj_3R_154() + static private boolean jj_3R_264() { - if (jj_3R_57()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_267() + static private boolean jj_3R_263() { - if (jj_3R_274()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_275()) { jj_scanpos = xsp; break; } - } + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_152() + static private boolean jj_3_20() { - if (jj_3R_57()) return true; + if (jj_3R_48()) return true; + if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3R_150() + static private boolean jj_3R_260() + { + if (jj_scan_token(PLUS)) return true; + return false; + } + + static private boolean jj_3_19() { - if (jj_3R_57()) return true; + if (jj_3R_48()) return true; + if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3R_126() + static private boolean jj_3R_194() { if (jj_scan_token(COMMA)) return true; - if (jj_3R_33()) return true; + if (jj_3R_193()) return true; return false; } - static private boolean jj_3R_147() + static private boolean jj_3R_258() { - if (jj_scan_token(IFF)) return true; - if (jj_3R_146()) return true; + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_50() + static private boolean jj_3_18() { + if (jj_3R_48()) return true; + if (jj_scan_token(LPARENTH)) return true; return false; } @@ -7028,7 +7266,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[128]; + static final private int[] jj_la1 = new int[133]; static private int[] jj_la1_0; static private int[] jj_la1_1; static private int[] jj_la1_2; @@ -7038,15 +7276,15 @@ 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,0xa0ba0808,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,0xa0ba0808,0x0,0xa0ba0808,0x0,0x0,0x0,0x0,0x0,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,0x0,0xc2000,0xc2000,0x2,0x0,0x0,0x4012783a,0x0,0x0,0x0,0x4012783a,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,0x0,0xc2000,0xc2000,0x2,0x0,0x0,0x4012783a,0x0,0x0,0x0,0x4012783a,0x10000000,0x4012783a,0x800000,0x400000,0x200000,0x40100000,0x40000000,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,0x4,0x400000,0x400000,0x0,0x203d5,0x203d5,0xdbc0841,0x3c0000,0x800003d1,0x4,0xdbc0841,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,0x4,0x400000,0x400000,0x0,0x203d5,0x203d5,0xdbc0841,0x3c0000,0x800003d1,0x4,0xdbc0841,0x0,0xdbc1841,0x0,0x0,0x0,0x0,0x0,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 final private JJCalls[] jj_2_rtns = new JJCalls[30]; static private boolean jj_rescan = false; static private int jj_gc = 0; @@ -7068,7 +7306,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 128; i++) jj_la1[i] = -1; + for (int i = 0; i < 133; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7083,7 +7321,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 128; i++) jj_la1[i] = -1; + for (int i = 0; i < 133; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7101,7 +7339,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 128; i++) jj_la1[i] = -1; + for (int i = 0; i < 133; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7120,7 +7358,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 128; i++) jj_la1[i] = -1; + for (int i = 0; i < 133; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7137,7 +7375,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 128; i++) jj_la1[i] = -1; + for (int i = 0; i < 133; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7147,7 +7385,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 128; i++) jj_la1[i] = -1; + for (int i = 0; i < 133; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -7278,7 +7516,7 @@ fl.setLHS(s); la1tokens[jj_kind] = true; jj_kind = -1; } - for (int i = 0; i < 128; i++) { + for (int i = 0; i < 133; i++) { if (jj_la1[i] == jj_gen) { for (int j = 0; j < 32; j++) { if ((jj_la1_0[i] & (1< getFactors() { + public ArrayList getTerms() { return terms; } - public void setFactors(ArrayList factors) { - this.terms = factors; + public void setTerms(ArrayList terms) { + this.terms = terms; } public TemporalOperatorBound getBound() { @@ -44,8 +44,8 @@ public class ExpressionAccumulationConstraintBasic extends ExpressionAccumulatio @Override public Vector getFunctions() { Vector ret = new Vector(); - for(AccumulationTerm factor : terms) { - ret.add(factor.getFunction()); + for(AccumulationTerm term : terms) { + ret.add(term.getFunction()); } return ret; } @@ -74,14 +74,14 @@ public class ExpressionAccumulationConstraintBasic extends ExpressionAccumulatio } public ExpressionAccumulationConstraintBasic deepCopy() { - ArrayList factorscopy = new ArrayList(); + ArrayList termscopy = new ArrayList(); TemporalOperatorBound boundcopy = bound.deepCopy(); - for (AccumulationTerm factor : terms) { - factorscopy.add(factor.deepCopy()); + for (AccumulationTerm term : terms) { + termscopy.add(term.deepCopy()); } - return new ExpressionAccumulationConstraintBasic(factorscopy,boundcopy); + return new ExpressionAccumulationConstraintBasic(termscopy,boundcopy); } public String toString() @@ -89,11 +89,11 @@ public class ExpressionAccumulationConstraintBasic extends ExpressionAccumulatio boolean first = true; String ret = ""; - for (AccumulationTerm factor : terms) { + for (AccumulationTerm term : terms) { if (!first) ret += " + "; first = false; - ret += factor.toString(); + ret += term.toString(); } ret += bound.toString(); diff --git a/prism/src/parser/visitor/ASTTraverse.java b/prism/src/parser/visitor/ASTTraverse.java index 04628a73..b70eccf8 100644 --- a/prism/src/parser/visitor/ASTTraverse.java +++ b/prism/src/parser/visitor/ASTTraverse.java @@ -423,10 +423,10 @@ public class ASTTraverse implements ASTVisitor public Object visit(ExpressionAccumulationConstraint e) throws PrismLangException { visitPre(e); - e.setOperand1((ExpressionAccumulationConstraint)(e.getOperand1().accept(this))); - e.setOperand2((ExpressionAccumulationConstraint)(e.getOperand2().accept(this))); + if(e.getOperand1() != null) e.getOperand1().accept(this); + if(e.getOperand2() != null) e.getOperand2().accept(this); visitPost(e); - return e; + return null; } public void visitPost(ExpressionAccumulationConstraint e) throws PrismLangException { defaultVisitPost(e); } // ----------------------------------------------------------------------------------- @@ -439,12 +439,13 @@ public class ASTTraverse implements ASTVisitor return null; } public void visitPost(AccumulationTerm e) throws PrismLangException { defaultVisitPost(e); } + // ----------------------------------------------------------------------------------- public void visitPre(ExpressionAccumulationConstraintBasic e) throws PrismLangException { defaultVisitPre(e); } public Object visit(ExpressionAccumulationConstraintBasic e) throws PrismLangException { visitPre(e); - for (AccumulationTerm factor : e.getFactors()) { - factor.accept(this); + for (AccumulationTerm term : e.getTerms()) { + term.accept(this); } if (e.getBound() != null) e.getBound().accept(this); visitPost(e); diff --git a/prism/src/parser/visitor/ASTTraverseModify.java b/prism/src/parser/visitor/ASTTraverseModify.java index 522f0600..2c553e04 100644 --- a/prism/src/parser/visitor/ASTTraverseModify.java +++ b/prism/src/parser/visitor/ASTTraverseModify.java @@ -434,8 +434,8 @@ public class ASTTraverseModify implements ASTVisitor public Object visit(ExpressionAccumulationConstraint e) throws PrismLangException { visitPre(e); - e.setOperand1((ExpressionAccumulationConstraint)(e.getOperand1().accept(this))); - e.setOperand2((ExpressionAccumulationConstraint)(e.getOperand2().accept(this))); + if(e.getOperand1() != null) e.setOperand1((ExpressionAccumulationConstraint)(e.getOperand1().accept(this))); + if(e.getOperand2() != null) e.setOperand2((ExpressionAccumulationConstraint)(e.getOperand2().accept(this))); visitPost(e); return e; } @@ -450,12 +450,13 @@ public class ASTTraverseModify implements ASTVisitor return e; } public void visitPost(AccumulationTerm e) throws PrismLangException { defaultVisitPost(e); } + // ----------------------------------------------------------------------------------- public void visitPre(ExpressionAccumulationConstraintBasic e) throws PrismLangException { defaultVisitPre(e); } public Object visit(ExpressionAccumulationConstraintBasic e) throws PrismLangException { visitPre(e); - for (AccumulationTerm factor : e.getFactors()) { - factor.accept(this); + for (AccumulationTerm term : e.getTerms()) { + term.accept(this); } if (e.getBound() != null) e.getBound().accept(this); visitPost(e);