diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java index aa911945..82945de6 100644 --- a/prism/src/parser/PrismParser.java +++ b/prism/src/parser/PrismParser.java @@ -2768,7 +2768,7 @@ relOp = "max="; isBool = false; throw new ParseException(); } jj_consume_token(LBRACKET); - expr = Expression(prop, true); + expr = PathSpecification(prop); switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case LBRACE:{ filter = Filter(); @@ -2797,6 +2797,123 @@ ret.setModifier(modifier == null ? null : modifier.getName()); throw new Error("Missing return statement in function"); } +// A path specification: +// Currently, can be +// - an LTL formula, i.e., Expression() +// - a (possibly negated) HOA: ... automaton specification + static final public Expression PathSpecification(boolean prop) throws ParseException {Expression result; + ExpressionIdent kind = null; + if (jj_2_15(1)) { + if (getToken(1).kind==REG_IDENT + && getToken(1).image.equals("HOA") + && getToken(2).kind==COLON) { + + } else { + jj_consume_token(-1); + throw new ParseException(); + } + kind = IdentifierExpression(); + jj_consume_token(COLON); + jj_consume_token(LBRACE); + result = PathSpecificationHOA(prop); + jj_consume_token(RBRACE); + } else if (jj_2_16(1)) { + if (getToken(1).kind==NOT + && getToken(2).kind==REG_IDENT + && getToken(2).image.equals("HOA") + && getToken(3).kind==COLON) { + + } else { + jj_consume_token(-1); + throw new ParseException(); + } + jj_consume_token(NOT); + kind = IdentifierExpression(); + jj_consume_token(COLON); + jj_consume_token(LBRACE); + result = PathSpecificationHOA(prop); + jj_consume_token(RBRACE); +result = Expression.Not(result); + } else if (jj_2_17(1)) { + if (getToken(1).kind==REG_IDENT + && getToken(2).kind==COLON) { + + } else { + jj_consume_token(-1); + throw new ParseException(); + } + kind = IdentifierExpression(); +{if (true) throw new ParseException("Unknown path type '"+kind.getName()+"'");} + } else { + switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { + case A: + case E: + case FALSE: + case FILTER: + case FUNC: + case F: + case G: + case MAX: + case MIN: + case X: + case PMAX: + case PMIN: + case P: + case RMAX: + case RMIN: + case R: + case S: + case TRUE: + case NOT: + case LPARENTH: + case DLBRACKET: + case DLT: + case MINUS: + case REG_INT: + case REG_DOUBLE: + case REG_IDENT: + case REG_QUOTED_IDENT:{ + result = Expression(prop, true); + break; + } + default: + jj_la1[73] = jj_gen; + jj_consume_token(-1); + throw new ParseException(); + } + } +{if ("" != null) return result;} + throw new Error("Missing return statement in function"); + } + +// The inner part of a HOA: { "automatonfile", "ap" <- state-expression, ... } specification + static final public ExpressionHOA PathSpecificationHOA(boolean prop) throws ParseException {QuotedString hoaAutomatonFile; + ExpressionHOA result = null; + Expression stateExpression = null; + String ap, label; + hoaAutomatonFile = QuotedString(); +result = new ExpressionHOA(hoaAutomatonFile); + label_28: + while (true) { + switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { + case COMMA:{ + ; + break; + } + default: + jj_la1[74] = jj_gen; + break label_28; + } + jj_consume_token(COMMA); + ap = QuotedIdentifier(); + jj_consume_token(RENAME); + stateExpression = Expression(prop, false); +result.addRename(ap, stateExpression); + } +{if ("" != null) return result;} + throw new Error("Missing return statement in function"); + } + // Filter for a P/S/R operator static final public Filter Filter() throws ParseException {Filter filter; @@ -2806,7 +2923,7 @@ Filter Filter() throws ParseException {Filter filter; expr = Expression(true, false); filter = new Filter(expr); jj_consume_token(RBRACE); - label_28: + label_29: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case LBRACE:{ @@ -2814,8 +2931,8 @@ filter = new Filter(expr); break; } default: - jj_la1[73] = jj_gen; - break label_28; + jj_la1[75] = jj_gen; + break label_29; } jj_consume_token(LBRACE); switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2830,7 +2947,7 @@ filter.setMaxRequested(true); break; } default: - jj_la1[74] = jj_gen; + jj_la1[76] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2868,7 +2985,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[75] = jj_gen; + jj_la1[77] = jj_gen; ; } r = LtGt(); @@ -2883,7 +3000,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[76] = jj_gen; + jj_la1[78] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2895,7 +3012,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[77] = jj_gen; + jj_la1[79] = jj_gen; ; } jj_consume_token(RBRACKET); @@ -2940,7 +3057,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[78] = jj_gen; + jj_la1[80] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2949,7 +3066,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[79] = jj_gen; + jj_la1[81] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2983,7 +3100,7 @@ relOp = "max="; isBool = false; break; } default: - jj_la1[80] = jj_gen; + jj_la1[82] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3004,7 +3121,7 @@ relOp = "max="; isBool = false; break; } default: - jj_la1[81] = jj_gen; + jj_la1[83] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3016,7 +3133,7 @@ relOp = "max="; isBool = false; break; } default: - jj_la1[82] = jj_gen; + jj_la1[84] = jj_gen; ; } jj_consume_token(RBRACKET); @@ -3043,7 +3160,7 @@ ret.setModifier(modifier == null ? null : modifier.getName()); void RewardIndex(ExpressionReward exprRew) throws ParseException {Object index = null; Object indexDiv = null; jj_consume_token(LBRACE); - if (jj_2_15(2147483647)) { + if (jj_2_18(2147483647)) { index = QuotedIdentifier(); } else { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3078,7 +3195,7 @@ void RewardIndex(ExpressionReward exprRew) throws ParseException {Object index = break; } default: - jj_la1[83] = jj_gen; + jj_la1[85] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3088,7 +3205,7 @@ void RewardIndex(ExpressionReward exprRew) throws ParseException {Object index = case DIVIDE:{ jj_consume_token(DIVIDE); jj_consume_token(LBRACE); - if (jj_2_16(2147483647)) { + if (jj_2_19(2147483647)) { indexDiv = QuotedIdentifier(); } else { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -3123,7 +3240,7 @@ void RewardIndex(ExpressionReward exprRew) throws ParseException {Object index = break; } default: - jj_la1[84] = jj_gen; + jj_la1[86] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3132,7 +3249,7 @@ void RewardIndex(ExpressionReward exprRew) throws ParseException {Object index = break; } default: - jj_la1[85] = jj_gen; + jj_la1[87] = jj_gen; ; } exprRew.setRewardStructIndex(index); @@ -3152,7 +3269,7 @@ Expression ExpressionRewardContents(boolean prop, boolean pathprop) throws Parse Expression ret = null; Token begin; begin = getToken(1); - if (jj_2_17(2147483647)) { + if (jj_2_20(2147483647)) { expr = ExpressionSS(prop, true); ret = expr; } else { @@ -3163,8 +3280,8 @@ ret = new ExpressionTemporal(ExpressionTemporal.R_S, null, null); break; } default: - jj_la1[86] = jj_gen; - if (jj_2_18(2147483647)) { + jj_la1[88] = jj_gen; + if (jj_2_21(2147483647)) { begin = jj_consume_token(C); jj_consume_token(LE); expr = Expression(false, false); @@ -3215,7 +3332,7 @@ ret = expr; break; } default: - jj_la1[87] = jj_gen; + jj_la1[89] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3280,7 +3397,7 @@ ret = new ExpressionStrategy(false); break; } default: - jj_la1[88] = jj_gen; + jj_la1[90] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3305,7 +3422,7 @@ ret = new ExpressionStrategy(false); break; } default: - jj_la1[89] = jj_gen; + jj_la1[91] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3318,7 +3435,7 @@ ret.addOperand(expr); break; } default: - jj_la1[90] = jj_gen; + jj_la1[92] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3338,13 +3455,13 @@ exprStrat.setCoalitionAllPlayers(); break; } default: - jj_la1[93] = jj_gen; + jj_la1[95] = jj_gen; switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case REG_INT: case REG_IDENT:{ s = ExpressionStrategyCoalitionPlayer(); coalition.add(s); - label_29: + label_30: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case COMMA:{ @@ -3352,8 +3469,8 @@ coalition.add(s); break; } default: - jj_la1[91] = jj_gen; - break label_29; + jj_la1[93] = jj_gen; + break label_30; } jj_consume_token(COMMA); s = ExpressionStrategyCoalitionPlayer(); @@ -3362,7 +3479,7 @@ coalition.add(s); break; } default: - jj_la1[92] = jj_gen; + jj_la1[94] = jj_gen; ; } exprStrat.setCoalition(coalition); @@ -3382,7 +3499,7 @@ String ExpressionStrategyCoalitionPlayer() throws ParseException {String s; break; } default: - jj_la1[94] = jj_gen; + jj_la1[96] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3445,7 +3562,7 @@ op = "|"; break; } default: - jj_la1[95] = jj_gen; + jj_la1[97] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3458,7 +3575,7 @@ op = "|"; break; } default: - jj_la1[96] = jj_gen; + jj_la1[98] = jj_gen; ; } jj_consume_token(RPARENTH); @@ -3522,7 +3639,7 @@ s = getToken(0).image; break; } default: - jj_la1[97] = jj_gen; + jj_la1[99] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3554,7 +3671,7 @@ ident="max"; break; } default: - jj_la1[98] = jj_gen; + jj_la1[100] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3591,7 +3708,7 @@ int EqNeq() throws ParseException { break; } default: - jj_la1[99] = jj_gen; + jj_la1[101] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3623,7 +3740,7 @@ int LtGt() throws ParseException { break; } default: - jj_la1[100] = jj_gen; + jj_la1[102] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3649,7 +3766,7 @@ begin = getToken(1); break; } default: - jj_la1[101] = jj_gen; + jj_la1[103] = jj_gen; ; } jj_consume_token(0); @@ -3806,141 +3923,148 @@ fl.setLHS(s); finally { jj_save(17, xla); } } - static private boolean jj_3R_82() + static private boolean jj_2_19(int xla) { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_34()) return true; - if (jj_scan_token(RPARENTH)) return true; - return false; + jj_la = xla; jj_lastpos = jj_scanpos = token; + try { return !jj_3_19(); } + catch(LookaheadSuccess ls) { return true; } + finally { jj_save(18, xla); } } - static private boolean jj_3R_186() + static private boolean jj_2_20(int xla) { - if (jj_3R_30()) return true; - return false; + jj_la = xla; jj_lastpos = jj_scanpos = token; + try { return !jj_3_20(); } + catch(LookaheadSuccess ls) { return true; } + finally { jj_save(19, xla); } } - static private boolean jj_3R_183() + static private boolean jj_2_21(int xla) { - if (jj_scan_token(PLUS)) return true; - return false; + jj_la = xla; jj_lastpos = jj_scanpos = token; + try { return !jj_3_21(); } + catch(LookaheadSuccess ls) { return true; } + finally { jj_save(20, xla); } } - static private boolean jj_3R_157() + static private boolean jj_3R_86() { - if (jj_scan_token(REG_INT)) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_35()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_81() + static private boolean jj_3R_161() { - if (jj_3R_31()) return true; + if (jj_scan_token(REG_INT)) return true; return false; } - static private boolean jj_3R_181() + static private boolean jj_3R_85() { - if (jj_scan_token(MIN)) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_145() + static private boolean jj_3R_149() { Token xsp; xsp = jj_scanpos; - if (jj_3R_157()) { + if (jj_3R_161()) { jj_scanpos = xsp; - if (jj_3R_158()) { + if (jj_3R_162()) { jj_scanpos = xsp; - if (jj_3R_159()) { + if (jj_3R_163()) { jj_scanpos = xsp; - if (jj_3R_160()) return true; + if (jj_3R_164()) return true; } } } return false; } - static private boolean jj_3R_80() + static private boolean jj_3R_77() { - if (jj_3R_30()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_73() + static private boolean jj_3R_84() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_163() + static private boolean jj_3R_167() { if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_71() + static private boolean jj_3R_75() { Token xsp; xsp = jj_scanpos; - if (jj_3R_80()) { + if (jj_3R_84()) { jj_scanpos = xsp; - if (jj_3R_81()) { + if (jj_3R_85()) { jj_scanpos = xsp; - if (jj_3R_82()) return true; + if (jj_3R_86()) return true; } } return false; } - static private boolean jj_3R_156() + static private boolean jj_3R_185() { - if (jj_scan_token(FILTER)) return true; - if (jj_scan_token(LPARENTH)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_181()) { - jj_scanpos = xsp; - if (jj_3R_182()) { - jj_scanpos = xsp; - 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()) return true; - } - } - } - } - } - if (jj_scan_token(COMMA)) return true; - if (jj_3R_41()) return true; - xsp = jj_scanpos; - if (jj_3R_187()) jj_scanpos = xsp; - if (jj_scan_token(RPARENTH)) return true; + if (jj_3R_153()) return true; return false; } - static private boolean jj_3R_164() + static private boolean jj_3R_213() + { + if (jj_3R_154()) return true; + return false; + } + + static private boolean jj_3R_168() { - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_188()) { jj_scanpos = xsp; break; } + if (jj_3R_193()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_94() + static private boolean jj_3R_184() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_213()) { + jj_scanpos = xsp; + if (jj_3R_214()) return true; + } + return false; + } + + static private boolean jj_3R_98() { if (jj_scan_token(COMMA)) return true; - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; if (jj_scan_token(RENAME)) return true; - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; + return false; + } + + static private boolean jj_3R_183() + { + if (jj_scan_token(DLBRACKET)) return true; + if (jj_3R_212()) return true; + if (jj_scan_token(DRBRACKET)) return true; return false; } @@ -3952,111 +4076,135 @@ fl.setLHS(s); return false; } + static private boolean jj_3R_182() + { + if (jj_scan_token(DLT)) return true; + if (jj_3R_212()) return true; + if (jj_scan_token(DGT)) return true; + return false; + } + static private boolean jj_3_4() { if (jj_scan_token(LABEL)) return true; return false; } + static private boolean jj_3R_228() + { + if (jj_3R_45()) return true; + return false; + } + + static private boolean jj_3R_158() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_182()) { + jj_scanpos = xsp; + if (jj_3R_183()) return true; + } + xsp = jj_scanpos; + if (jj_3R_184()) { + jj_scanpos = xsp; + if (jj_3R_185()) return true; + } + return false; + } + static private boolean jj_3_3() { if (jj_scan_token(LABEL)) return true; - if (jj_3R_32()) return true; + if (jj_3R_33()) return true; return false; } - static private boolean jj_3R_53() + static private boolean jj_3R_57() { if (jj_scan_token(OR)) return true; if (jj_scan_token(OR)) return true; if (jj_scan_token(OR)) return true; - if (jj_3R_38()) return true; + if (jj_3R_42()) return true; return false; } - static private boolean jj_3R_84() + static private boolean jj_3R_88() { if (jj_scan_token(LBRACE)) return true; - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; if (jj_scan_token(RENAME)) return true; - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_94()) { jj_scanpos = xsp; break; } + if (jj_3R_98()) { jj_scanpos = xsp; break; } } if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_148() + static private boolean jj_3R_152() { if (jj_scan_token(FUNC)) return true; if (jj_scan_token(LPARENTH)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_165()) { + if (jj_3R_169()) { jj_scanpos = xsp; - if (jj_3R_166()) { + if (jj_3R_170()) { jj_scanpos = xsp; - if (jj_3R_167()) return true; + if (jj_3R_171()) return true; } } if (jj_scan_token(COMMA)) return true; - if (jj_3R_164()) return true; + if (jj_3R_168()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_155() - { - if (jj_3R_32()) return true; - return false; - } - - static private boolean jj_3R_208() - { - if (jj_3R_151()) return true; - return false; - } - - static private boolean jj_3R_72() + static private boolean jj_3R_76() { Token xsp; xsp = jj_scanpos; - if (jj_3R_83()) { + if (jj_3R_87()) { jj_scanpos = xsp; - if (jj_3R_84()) return true; + if (jj_3R_88()) return true; } return false; } - static private boolean jj_3R_83() + static private boolean jj_3R_87() { if (jj_scan_token(DIVIDE)) return true; if (jj_scan_token(LBRACE)) return true; - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_93()) { jj_scanpos = xsp; break; } + if (jj_3R_97()) { jj_scanpos = xsp; break; } } if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_61() + static private boolean jj_3R_222() { - if (jj_3R_71()) return true; + if (jj_3R_45()) return true; + return false; + } + + static private boolean jj_3R_65() + { + if (jj_3R_75()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_72()) { jj_scanpos = xsp; break; } + if (jj_3R_76()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_162() + static private boolean jj_3R_166() { if (jj_scan_token(MIN)) return true; return false; @@ -4069,43 +4217,41 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_147() + static private boolean jj_3R_151() { Token xsp; xsp = jj_scanpos; - if (jj_3R_162()) { + if (jj_3R_166()) { jj_scanpos = xsp; - if (jj_3R_163()) return true; + if (jj_3R_167()) return true; } if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_164()) return true; + if (jj_3R_168()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_218() + static private boolean jj_3R_157() { - Token xsp; - xsp = jj_scanpos; - if (jj_scan_token(90)) { - jj_scanpos = xsp; - if (jj_scan_token(93)) return true; - } + if (jj_scan_token(A)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_45()) return true; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_46() + static private boolean jj_3R_50() { if (jj_scan_token(OR)) return true; if (jj_scan_token(OR)) return true; - if (jj_3R_52()) return true; + if (jj_3R_56()) return true; return false; } - static private boolean jj_3R_161() + static private boolean jj_3R_165() { if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_164()) return true; + if (jj_3R_168()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } @@ -4117,279 +4263,267 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_219() + static private boolean jj_3R_150() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_218()) return true; + if (jj_3R_31()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_165()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_215() + static private boolean jj_3R_156() { - if (jj_3R_218()) return true; + if (jj_scan_token(E)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_45()) return true; + if (jj_scan_token(RBRACKET)) return true; + return false; + } + + static private boolean jj_3R_66() + { + if (jj_scan_token(OR)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_31()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_219()) { jj_scanpos = xsp; break; } + if (jj_3R_77()) { jj_scanpos = xsp; break; } } + if (jj_scan_token(RBRACKET)) return true; + if (jj_scan_token(OR)) return true; + if (jj_3R_65()) return true; return false; } - static private boolean jj_3R_211() + static private boolean jj_3R_56() { + if (jj_3R_65()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_215()) jj_scanpos = xsp; + if (jj_3R_66()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_146() + static private boolean jj_3_21() { - if (jj_3R_30()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_161()) jj_scanpos = xsp; + if (jj_scan_token(C)) return true; + if (jj_scan_token(LE)) return true; return false; } - static private boolean jj_3R_210() + static private boolean jj_3R_148() { - if (jj_scan_token(TIMES)) return true; + if (jj_3R_160()) return true; return false; } - static private boolean jj_3R_206() + static private boolean jj_3R_147() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_210()) { - jj_scanpos = xsp; - if (jj_3R_211()) return true; - } + if (jj_3R_159()) return true; return false; } - static private boolean jj_3R_62() + static private boolean jj_3R_211() { - if (jj_scan_token(OR)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_30()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_73()) { jj_scanpos = xsp; break; } - } - if (jj_scan_token(RBRACKET)) return true; - if (jj_scan_token(OR)) return true; - if (jj_3R_61()) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_52() + static private boolean jj_3R_146() { - if (jj_3R_61()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_62()) jj_scanpos = xsp; + if (jj_3R_158()) return true; return false; } - static private boolean jj_3R_144() + static private boolean jj_3_20() { - if (jj_3R_156()) return true; + if (jj_3R_40()) return true; return false; } - static private boolean jj_3R_143() + static private boolean jj_3R_145() { - if (jj_3R_155()) return true; + if (jj_3R_157()) return true; return false; } - static private boolean jj_3R_180() + static private boolean jj_3R_210() { - if (jj_3R_149()) return true; + if (jj_scan_token(I)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_142() + static private boolean jj_3_19() { - if (jj_3R_154()) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_207() + static private boolean jj_3R_209() { - if (jj_3R_150()) return true; + if (jj_scan_token(C)) return true; return false; } - static private boolean jj_3R_141() + static private boolean jj_3R_144() { - if (jj_3R_153()) return true; + if (jj_3R_156()) return true; return false; } - static private boolean jj_3R_179() + static private boolean jj_3R_208() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_207()) { - jj_scanpos = xsp; - if (jj_3R_208()) return true; - } + if (jj_scan_token(C)) return true; + if (jj_scan_token(LE)) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_178() + static private boolean jj_3R_134() { - if (jj_scan_token(DLBRACKET)) return true; - if (jj_3R_206()) return true; - if (jj_scan_token(DRBRACKET)) return true; + if (jj_scan_token(DIVIDE)) return true; return false; } - static private boolean jj_3R_140() + static private boolean jj_3R_143() { - if (jj_3R_152()) return true; + if (jj_3R_155()) return true; return false; } - static private boolean jj_3R_130() + static private boolean jj_3R_207() { - if (jj_scan_token(DIVIDE)) return true; + if (jj_scan_token(S)) return true; return false; } - static private boolean jj_3R_177() + static private boolean jj_3R_181() { - if (jj_scan_token(DLT)) return true; - if (jj_3R_206()) return true; - if (jj_scan_token(DGT)) return true; + if (jj_3R_54()) return true; return false; } - static private boolean jj_3R_139() + static private boolean jj_3R_142() { - if (jj_3R_151()) return true; + if (jj_3R_40()) return true; return false; } - static private boolean jj_3R_217() + static private boolean jj_3R_141() { - if (jj_3R_41()) return true; + if (jj_3R_154()) return true; return false; } - static private boolean jj_3R_138() + static private boolean jj_3R_206() { - if (jj_3R_36()) return true; + if (jj_3R_40()) return true; return false; } - static private boolean jj_3R_137() + static private boolean jj_3R_227() { - if (jj_3R_150()) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_154() + static private boolean jj_3R_140() + { + if (jj_3R_153()) return true; + return false; + } + + static private boolean jj_3R_180() { Token xsp; xsp = jj_scanpos; - if (jj_3R_177()) { + if (jj_3R_206()) { jj_scanpos = xsp; - if (jj_3R_178()) return true; - } - xsp = jj_scanpos; - if (jj_3R_179()) { + if (jj_3R_207()) { jj_scanpos = xsp; - if (jj_3R_180()) return true; + if (jj_3R_208()) { + jj_scanpos = xsp; + if (jj_3R_209()) { + jj_scanpos = xsp; + if (jj_3R_210()) { + jj_scanpos = xsp; + if (jj_3R_211()) return true; + } + } + } + } } return false; } - static private boolean jj_3R_136() - { - if (jj_3R_149()) return true; - return false; - } - - static private boolean jj_3R_135() + static private boolean jj_3R_139() { - if (jj_3R_148()) return true; + if (jj_3R_152()) return true; return false; } - static private boolean jj_3R_45() + static private boolean jj_3R_49() { - if (jj_3R_52()) return true; + if (jj_3R_56()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_53()) { jj_scanpos = xsp; break; } + if (jj_3R_57()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3_2() + static private boolean jj_3_18() { - if (jj_3R_31()) return true; - if (jj_scan_token(COLON)) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_134() + static private boolean jj_3_2() { - if (jj_3R_147()) return true; + if (jj_3R_32()) return true; + if (jj_scan_token(COLON)) return true; return false; } - static private boolean jj_3R_133() + static private boolean jj_3R_138() { - if (jj_3R_146()) return true; + if (jj_3R_151()) return true; return false; } - static private boolean jj_3R_132() + static private boolean jj_3R_137() { - if (jj_3R_145()) return true; + if (jj_3R_150()) return true; return false; } - static private boolean jj_3R_126() + static private boolean jj_3R_136() { - if (jj_scan_token(MINUS)) return true; + if (jj_3R_149()) return true; return false; } - static private boolean jj_3R_213() + static private boolean jj_3R_130() { - if (jj_3R_41()) return true; + if (jj_scan_token(MINUS)) return true; return false; } - static private boolean jj_3R_153() + static private boolean jj_3R_221() { - if (jj_scan_token(A)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_41()) return true; - if (jj_scan_token(RBRACKET)) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_131() + static private boolean jj_3R_135() { Token xsp; xsp = jj_scanpos; - if (jj_3R_132()) { - jj_scanpos = xsp; - if (jj_3R_133()) { - jj_scanpos = xsp; - if (jj_3R_134()) { - jj_scanpos = xsp; - if (jj_3R_135()) { - jj_scanpos = xsp; if (jj_3R_136()) { jj_scanpos = xsp; if (jj_3R_137()) { @@ -4406,7 +4540,15 @@ fl.setLHS(s); jj_scanpos = xsp; if (jj_3R_143()) { jj_scanpos = xsp; - if (jj_3R_144()) return true; + if (jj_3R_144()) { + jj_scanpos = xsp; + if (jj_3R_145()) { + jj_scanpos = xsp; + if (jj_3R_146()) { + jj_scanpos = xsp; + if (jj_3R_147()) { + jj_scanpos = xsp; + if (jj_3R_148()) return true; } } } @@ -4422,189 +4564,205 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_128() + static private boolean jj_3R_132() { - if (jj_3R_131()) return true; + if (jj_3R_135()) return true; return false; } - static private boolean jj_3R_127() + static private boolean jj_3R_223() { - if (jj_scan_token(MINUS)) return true; - if (jj_3R_123()) return true; + if (jj_scan_token(DIVIDE)) return true; + if (jj_scan_token(LBRACE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_227()) { + jj_scanpos = xsp; + if (jj_3R_228()) return true; + } + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_38() + static private boolean jj_3R_131() { - if (jj_3R_45()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_46()) { jj_scanpos = xsp; break; } - } + if (jj_scan_token(MINUS)) return true; + if (jj_3R_127()) return true; return false; } - static private boolean jj_3R_123() + static private boolean jj_3R_216() { + if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_127()) { + if (jj_3R_221()) { jj_scanpos = xsp; - if (jj_3R_128()) return true; + if (jj_3R_222()) return true; } + if (jj_scan_token(RBRACE)) return true; + xsp = jj_scanpos; + if (jj_3R_223()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_152() + static private boolean jj_3R_42() { - if (jj_scan_token(E)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_41()) return true; - if (jj_scan_token(RBRACKET)) return true; + if (jj_3R_49()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_50()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_129() + static private boolean jj_3R_127() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_131()) { + jj_scanpos = xsp; + if (jj_3R_132()) return true; + } + return false; + } + + static private boolean jj_3R_133() { if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_34() + static private boolean jj_3R_35() { - if (jj_3R_38()) return true; + if (jj_3R_42()) return true; return false; } - static private boolean jj_3R_124() + static private boolean jj_3R_128() { Token xsp; xsp = jj_scanpos; - if (jj_3R_129()) { + if (jj_3R_133()) { jj_scanpos = xsp; - if (jj_3R_130()) return true; + if (jj_3R_134()) return true; } - if (jj_3R_123()) return true; + if (jj_3R_127()) return true; return false; } static private boolean jj_3_7() { - if (jj_3R_31()) return true; - if (jj_3R_34()) return true; - return false; - } - - static private boolean jj_3_18() - { - if (jj_scan_token(C)) return true; - if (jj_scan_token(LE)) return true; - return false; - } - - static private boolean jj_3R_205() - { - if (jj_3R_41()) return true; + if (jj_3R_32()) return true; + if (jj_3R_35()) return true; return false; } - static private boolean jj_3R_119() + static private boolean jj_3R_123() { - if (jj_3R_123()) return true; + if (jj_3R_127()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_124()) { jj_scanpos = xsp; break; } + if (jj_3R_128()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3_17() + static private boolean jj_3R_202() { - if (jj_3R_36()) return true; + if (jj_3R_52()) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_204() + static private boolean jj_3R_129() { - if (jj_scan_token(I)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_3R_41()) return true; + if (jj_scan_token(PLUS)) return true; return false; } - static private boolean jj_3_16() + static private boolean jj_3R_201() { - if (jj_3R_31()) return true; + if (jj_3R_216()) return true; return false; } - static private boolean jj_3R_203() + static private boolean jj_3R_200() { - if (jj_scan_token(C)) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_36()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_202() + static private boolean jj_3R_205() { - if (jj_scan_token(C)) return true; - if (jj_scan_token(LE)) return true; - if (jj_3R_41()) return true; + if (jj_scan_token(MAX)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_125() + static private boolean jj_3R_179() { - if (jj_scan_token(PLUS)) return true; + if (jj_scan_token(RMAX)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_201() + static private boolean jj_3R_124() { - if (jj_scan_token(S)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_129()) { + jj_scanpos = xsp; + if (jj_3R_130()) return true; + } + if (jj_3R_123()) return true; return false; } - static private boolean jj_3R_176() + static private boolean jj_3R_204() { - if (jj_3R_50()) return true; + if (jj_scan_token(MIN)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_120() + static private boolean jj_3R_178() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_125()) { - jj_scanpos = xsp; - if (jj_3R_126()) return true; - } - if (jj_3R_119()) return true; + if (jj_scan_token(RMIN)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_200() + static private boolean jj_3R_203() { - if (jj_3R_36()) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_216() + static private boolean jj_3R_46() { - if (jj_3R_31()) return true; + if (jj_3R_54()) return true; return false; } - static private boolean jj_3R_175() + static private boolean jj_3R_177() { + if (jj_scan_token(R)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_200()) { - jj_scanpos = xsp; - if (jj_3R_201()) { - jj_scanpos = xsp; + if (jj_3R_200()) jj_scanpos = xsp; + xsp = jj_scanpos; + if (jj_3R_201()) jj_scanpos = xsp; + xsp = jj_scanpos; if (jj_3R_202()) { jj_scanpos = xsp; if (jj_3R_203()) { @@ -4615,77 +4773,53 @@ fl.setLHS(s); } } } - } - } - return false; - } - - static private boolean jj_3_15() - { - if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_116() + static private boolean jj_3R_120() { - if (jj_3R_119()) return true; + if (jj_3R_123()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_120()) { jj_scanpos = xsp; break; } + if (jj_3R_124()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_212() - { - if (jj_3R_31()) return true; - return false; - } - - static private boolean jj_3R_214() + static private boolean jj_3R_155() { - if (jj_scan_token(DIVIDE)) return true; - if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_216()) { + if (jj_3R_177()) { jj_scanpos = xsp; - if (jj_3R_217()) return true; + if (jj_3R_178()) { + jj_scanpos = xsp; + if (jj_3R_179()) return true; } - if (jj_scan_token(RBRACE)) return true; - return false; - } - - static private boolean jj_3R_117() - { - if (jj_3R_48()) return true; - if (jj_3R_116()) return true; + } + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_180()) return true; + xsp = jj_scanpos; + if (jj_3R_181()) jj_scanpos = xsp; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_209() + static private boolean jj_3R_121() { - if (jj_scan_token(LBRACE)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_212()) { - jj_scanpos = xsp; - if (jj_3R_213()) return true; - } - if (jj_scan_token(RBRACE)) return true; - xsp = jj_scanpos; - if (jj_3R_214()) jj_scanpos = xsp; + if (jj_3R_52()) return true; + if (jj_3R_120()) return true; return false; } - static private boolean jj_3R_114() + static private boolean jj_3R_118() { - if (jj_3R_116()) return true; + if (jj_3R_120()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_117()) { jj_scanpos = xsp; break; } + if (jj_3R_121()) { jj_scanpos = xsp; break; } } return false; } @@ -4693,393 +4827,428 @@ fl.setLHS(s); static private boolean jj_3_1() { if (jj_scan_token(MODULE)) return true; - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; if (jj_scan_token(EQ)) return true; return false; } - static private boolean jj_3R_115() + static private boolean jj_3R_119() { + if (jj_3R_122()) return true; if (jj_3R_118()) return true; - if (jj_3R_114()) return true; return false; } - static private boolean jj_3R_113() + static private boolean jj_3R_51() + { + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_36()) return true; + if (jj_scan_token(RPARENTH)) return true; + return false; + } + + static private boolean jj_3R_44() + { + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; + return false; + } + + static private boolean jj_3R_117() { - if (jj_3R_114()) return true; + if (jj_3R_118()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_115()) { jj_scanpos = xsp; break; } + if (jj_3R_119()) { jj_scanpos = xsp; break; } } return false; } + static private boolean jj_3R_43() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_51()) jj_scanpos = xsp; + if (jj_3R_52()) return true; + if (jj_3R_45()) return true; + return false; + } + static private boolean jj_3_6() { - if (jj_3R_31()) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_112() + static private boolean jj_3R_116() { - if (jj_3R_113()) return true; + if (jj_3R_117()) return true; return false; } - static private boolean jj_3R_111() + static private boolean jj_3R_61() + { + if (jj_scan_token(LE)) return true; + return false; + } + + static private boolean jj_3R_115() { if (jj_scan_token(NOT)) return true; - if (jj_3R_109()) return true; + if (jj_3R_113()) return true; return false; } - static private boolean jj_3R_104() + static private boolean jj_3R_60() { - if (jj_3R_41()) return true; + if (jj_scan_token(GE)) return true; return false; } - static private boolean jj_3R_102() + static private boolean jj_3R_108() { - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_100() + static private boolean jj_3R_106() { - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_98() + static private boolean jj_3R_59() { - if (jj_3R_41()) return true; + if (jj_scan_token(LT)) return true; return false; } - static private boolean jj_3R_196() + static private boolean jj_3R_104() { - if (jj_3R_48()) return true; - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_195() + static private boolean jj_3R_40() { - if (jj_3R_209()) return true; + if (jj_scan_token(S)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_43()) { + jj_scanpos = xsp; + if (jj_3R_44()) return true; + } + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_45()) return true; + xsp = jj_scanpos; + if (jj_3R_46()) jj_scanpos = xsp; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_194() + static private boolean jj_3R_58() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_35()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(GT)) return true; return false; } - static private boolean jj_3R_199() + static private boolean jj_3R_52() { - if (jj_scan_token(MAX)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_58()) { + jj_scanpos = xsp; + if (jj_3R_59()) { + jj_scanpos = xsp; + if (jj_3R_60()) { + jj_scanpos = xsp; + if (jj_3R_61()) return true; + } + } + } return false; } - static private boolean jj_3R_174() + static private boolean jj_3R_102() { - if (jj_scan_token(RMAX)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_198() + static private boolean jj_3R_113() { - if (jj_scan_token(MIN)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_115()) { + jj_scanpos = xsp; + if (jj_3R_116()) return true; + } return false; } - static private boolean jj_3R_173() + static private boolean jj_3R_126() { - if (jj_scan_token(RMIN)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_scan_token(NE)) return true; return false; } - static private boolean jj_3R_109() + static private boolean jj_3R_122() { Token xsp; xsp = jj_scanpos; - if (jj_3R_111()) { + if (jj_3R_125()) { jj_scanpos = xsp; - if (jj_3R_112()) return true; + if (jj_3R_126()) return true; } return false; } - static private boolean jj_3R_197() + static private boolean jj_3R_125() { if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_42() + static private boolean jj_3R_74() { - if (jj_3R_50()) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_172() + static private boolean jj_3R_73() { - if (jj_scan_token(R)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_194()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_195()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_196()) { - jj_scanpos = xsp; - if (jj_3R_197()) { - jj_scanpos = xsp; - if (jj_3R_198()) { - jj_scanpos = xsp; - if (jj_3R_199()) return true; - } - } - } + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_110() + static private boolean jj_3R_114() { if (jj_scan_token(AND)) return true; - if (jj_3R_109()) return true; + if (jj_3R_113()) return true; return false; } - static private boolean jj_3R_151() + static private boolean jj_3R_111() + { + if (jj_3R_113()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_114()) { jj_scanpos = xsp; break; } + } + return false; + } + + static private boolean jj_3R_64() { + if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_172()) { + if (jj_3R_73()) { jj_scanpos = xsp; - if (jj_3R_173()) { - jj_scanpos = xsp; - if (jj_3R_174()) return true; - } + if (jj_3R_74()) return true; } - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_175()) return true; - xsp = jj_scanpos; - if (jj_3R_176()) jj_scanpos = xsp; - if (jj_scan_token(RBRACKET)) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_107() + static private boolean jj_3R_54() { - if (jj_3R_109()) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_45()) return true; + if (jj_scan_token(RBRACE)) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_110()) { jj_scanpos = xsp; break; } + if (jj_3R_64()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_108() + static private boolean jj_3R_55() + { + if (jj_scan_token(REG_IDENTPRIME)) return true; + return false; + } + + static private boolean jj_3R_112() { if (jj_scan_token(OR)) return true; - if (jj_3R_107()) return true; + if (jj_3R_111()) return true; return false; } - static private boolean jj_3R_105() + static private boolean jj_3R_109() { - if (jj_3R_107()) return true; + if (jj_3R_111()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_108()) { jj_scanpos = xsp; break; } + if (jj_3R_112()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_44() + static private boolean jj_3R_48() { if (jj_scan_token(AND)) return true; - if (jj_3R_43()) return true; + if (jj_3R_47()) return true; return false; } - static private boolean jj_3R_106() + static private boolean jj_3R_220() { - if (jj_scan_token(IFF)) return true; - if (jj_3R_105()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_32()) return true; + if (jj_scan_token(RENAME)) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_95() + static private boolean jj_3R_215() { - if (jj_3R_105()) return true; + if (jj_3R_219()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_106()) { jj_scanpos = xsp; break; } + if (jj_3R_220()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_47() + static private boolean jj_3R_110() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_35()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(IFF)) return true; + if (jj_3R_109()) return true; return false; } - static private boolean jj_3R_40() + static private boolean jj_3R_99() { - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_3R_109()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_110()) { jj_scanpos = xsp; break; } + } return false; } static private boolean jj_3R_39() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_47()) jj_scanpos = xsp; - if (jj_3R_48()) return true; - if (jj_3R_41()) return true; return false; } - static private boolean jj_3R_43() + static private boolean jj_3R_47() { if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_51()) return true; + if (jj_3R_55()) return true; if (jj_scan_token(EQ)) return true; - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_96() + static private boolean jj_3R_226() { - if (jj_scan_token(IMPLIES)) return true; - if (jj_3R_95()) return true; + if (jj_scan_token(REG_QUOTED_STRING)) return true; return false; } - static private boolean jj_3R_85() + static private boolean jj_3R_225() { - if (jj_3R_95()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_96()) { jj_scanpos = xsp; break; } - } + if (jj_scan_token(REG_QUOTED_IDENT)) return true; return false; } - static private boolean jj_3R_57() + static private boolean jj_3R_199() { - if (jj_scan_token(LE)) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_56() + static private boolean jj_3R_100() { - if (jj_scan_token(GE)) return true; + if (jj_scan_token(IMPLIES)) return true; + if (jj_3R_99()) return true; return false; } - static private boolean jj_3R_55() + static private boolean jj_3R_38() { - if (jj_scan_token(LT)) return true; return false; } - static private boolean jj_3R_36() + static private boolean jj_3R_89() { - if (jj_scan_token(S)) return true; + if (jj_3R_99()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_39()) { - jj_scanpos = xsp; - if (jj_3R_40()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_100()) { jj_scanpos = xsp; break; } } - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_41()) return true; - xsp = jj_scanpos; - if (jj_3R_42()) jj_scanpos = xsp; - if (jj_scan_token(RBRACKET)) return true; - return false; - } - - static private boolean jj_3R_54() - { - if (jj_scan_token(GT)) return true; return false; } - static private boolean jj_3R_48() + static private boolean jj_3R_219() { Token xsp; xsp = jj_scanpos; - if (jj_3R_54()) { - jj_scanpos = xsp; - if (jj_3R_55()) { + if (jj_3R_225()) { jj_scanpos = xsp; - if (jj_3R_56()) { - jj_scanpos = xsp; - if (jj_3R_57()) return true; - } - } + if (jj_3R_226()) return true; } return false; } - static private boolean jj_3R_37() + static private boolean jj_3_17() + { + jj_lookingAhead = true; + jj_semLA = getToken(1).kind==REG_IDENT + && getToken(2).kind==COLON; + jj_lookingAhead = false; + if (!jj_semLA || jj_3R_39()) return true; + if (jj_3R_36()) return true; + return false; + } + + static private boolean jj_3R_41() { - if (jj_3R_43()) return true; + if (jj_3R_47()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_44()) { jj_scanpos = xsp; break; } + if (jj_3R_48()) { jj_scanpos = xsp; break; } } return false; } static private boolean jj_3_5() { - if (jj_3R_33()) return true; + if (jj_3R_34()) return true; return false; } - static private boolean jj_3R_86() + static private boolean jj_3R_90() { if (jj_scan_token(QMARK)) return true; - if (jj_3R_85()) return true; + if (jj_3R_89()) return true; if (jj_scan_token(COLON)) return true; - if (jj_3R_78()) return true; + if (jj_3R_82()) return true; return false; } - static private boolean jj_3R_33() + static private boolean jj_3R_37() + { + return false; + } + + static private boolean jj_3R_34() { Token xsp; xsp = jj_scanpos; - if (jj_3R_37()) { + if (jj_3R_41()) { jj_scanpos = xsp; if (jj_scan_token(54)) return true; } @@ -5088,218 +5257,214 @@ fl.setLHS(s); static private boolean jj_3_14() { - if (jj_3R_35()) return true; + if (jj_3R_36()) return true; if (jj_scan_token(LPARENTH)) return true; return false; } static private boolean jj_3_13() { - if (jj_3R_35()) return true; + if (jj_3R_36()) return true; if (jj_scan_token(LPARENTH)) return true; return false; } static private boolean jj_3_12() { - if (jj_3R_35()) return true; + if (jj_3R_36()) return true; if (jj_scan_token(LPARENTH)) return true; return false; } static private boolean jj_3_11() { - if (jj_3R_35()) return true; + if (jj_3R_36()) return true; if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3R_122() - { - if (jj_scan_token(NE)) return true; - return false; - } - - static private boolean jj_3R_118() + static private boolean jj_3_16() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_121()) { - jj_scanpos = xsp; - if (jj_3R_122()) 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_38()) return true; + if (jj_scan_token(NOT)) return true; + if (jj_3R_36()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_215()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_121() + static private boolean jj_3R_33() { - if (jj_scan_token(EQ)) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_171() + static private boolean jj_3R_82() { - if (jj_3R_50()) return true; + if (jj_3R_89()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_90()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_70() + static private boolean jj_3R_107() { - if (jj_scan_token(MAX)) return true; + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_69() + static private boolean jj_3_15() { - if (jj_scan_token(MIN)) 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_37()) return true; + if (jj_3R_36()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_215()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_78() + static private boolean jj_3R_105() { - if (jj_3R_85()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_86()) jj_scanpos = xsp; + if (jj_3R_36()) return true; return false; } static private boolean jj_3R_103() { - if (jj_3R_35()) return true; + if (jj_3R_36()) return true; return false; } static private boolean jj_3R_101() { - if (jj_3R_35()) return true; - return false; - } - - static private boolean jj_3R_99() - { - if (jj_3R_35()) return true; - return false; - } - - static private boolean jj_3R_97() - { - if (jj_3R_35()) return true; + if (jj_3R_36()) return true; return false; } - static private boolean jj_3R_60() + static private boolean jj_3R_175() { - if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_69()) { + if (jj_3_15()) { + jj_scanpos = xsp; + if (jj_3_16()) { jj_scanpos = xsp; - if (jj_3R_70()) return true; + if (jj_3_17()) { + jj_scanpos = xsp; + if (jj_3R_199()) return true; + } + } } - if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_92() + static private boolean jj_3R_190() + { + if (jj_scan_token(OR)) return true; + return false; + } + + static private boolean jj_3R_96() { if (jj_scan_token(EQ)) return true; - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_91() + static private boolean jj_3R_95() { if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; if (jj_scan_token(COMMA)) return true; - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_50() + static private boolean jj_3R_36() { - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_41()) return true; - if (jj_scan_token(RBRACE)) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_60()) { jj_scanpos = xsp; break; } - } + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_90() + static private boolean jj_3R_94() { if (jj_scan_token(GT)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_103()) { + if (jj_3R_107()) { jj_scanpos = xsp; - if (jj_3R_104()) return true; + if (jj_3R_108()) return true; } return false; } - static private boolean jj_3R_89() + static private boolean jj_3R_93() { if (jj_scan_token(GE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_101()) { + if (jj_3R_105()) { jj_scanpos = xsp; - if (jj_3R_102()) return true; + if (jj_3R_106()) return true; } return false; } - static private boolean jj_3R_88() + static private boolean jj_3R_92() { if (jj_scan_token(LT)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_99()) { + if (jj_3R_103()) { jj_scanpos = xsp; - if (jj_3R_100()) return true; + if (jj_3R_104()) return true; } return false; } - static private boolean jj_3R_87() + static private boolean jj_3R_91() { if (jj_scan_token(LE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_97()) { + if (jj_3R_101()) { jj_scanpos = xsp; - if (jj_3R_98()) return true; + if (jj_3R_102()) return true; } return false; } - static private boolean jj_3R_51() - { - if (jj_scan_token(REG_IDENTPRIME)) return true; - return false; - } - - static private boolean jj_3R_79() + static private boolean jj_3R_83() { Token xsp; xsp = jj_scanpos; - if (jj_3R_87()) { + if (jj_3R_91()) { jj_scanpos = xsp; - if (jj_3R_88()) { + if (jj_3R_92()) { jj_scanpos = xsp; - if (jj_3R_89()) { + if (jj_3R_93()) { jj_scanpos = xsp; - if (jj_3R_90()) { + if (jj_3R_94()) { jj_scanpos = xsp; - if (jj_3R_91()) { + if (jj_3R_95()) { jj_scanpos = xsp; - if (jj_3R_92()) return true; + if (jj_3R_96()) return true; } } } @@ -5308,69 +5473,93 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_64() + static private boolean jj_3R_68() { - if (jj_3R_78()) return true; + if (jj_3R_82()) return true; return false; } - static private boolean jj_3R_77() + static private boolean jj_3R_81() { - if (jj_3R_79()) return true; + if (jj_3R_83()) return true; return false; } - static private boolean jj_3R_76() + static private boolean jj_3R_80() { if (jj_scan_token(G)) return true; return false; } - static private boolean jj_3R_75() + static private boolean jj_3R_79() { if (jj_scan_token(F)) return true; return false; } - static private boolean jj_3R_74() + static private boolean jj_3R_78() { if (jj_scan_token(X)) return true; return false; } - static private boolean jj_3R_63() + static private boolean jj_3R_32() + { + if (jj_scan_token(REG_QUOTED_IDENT)) return true; + return false; + } + + static private boolean jj_3R_189() + { + if (jj_scan_token(AND)) return true; + return false; + } + + static private boolean jj_3R_187() + { + if (jj_scan_token(MAX)) return true; + return false; + } + + static private boolean jj_3R_67() { Token xsp; xsp = jj_scanpos; - if (jj_3R_74()) { + if (jj_3R_78()) { jj_scanpos = xsp; - if (jj_3R_75()) { + if (jj_3R_79()) { jj_scanpos = xsp; - if (jj_3R_76()) return true; + if (jj_3R_80()) return true; } } xsp = jj_scanpos; - if (jj_3R_77()) jj_scanpos = xsp; - if (jj_3R_58()) return true; + if (jj_3R_81()) jj_scanpos = xsp; + if (jj_3R_62()) return true; return false; } - static private boolean jj_3R_190() + static private boolean jj_3R_195() { - if (jj_3R_48()) return true; - if (jj_3R_41()) return true; + if (jj_3R_52()) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_189() + static private boolean jj_3R_194() { if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_35()) return true; + if (jj_3R_36()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_193() + static private boolean jj_3R_31() + { + if (jj_scan_token(REG_IDENT)) return true; + return false; + } + + static private boolean jj_3R_198() { if (jj_scan_token(MAX)) return true; if (jj_scan_token(EQ)) return true; @@ -5378,7 +5567,13 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_192() + static private boolean jj_3R_176() + { + if (jj_3R_54()) return true; + return false; + } + + static private boolean jj_3R_197() { if (jj_scan_token(MIN)) return true; if (jj_scan_token(EQ)) return true; @@ -5386,14 +5581,14 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_191() + static private boolean jj_3R_196() { if (jj_scan_token(EQ)) return true; if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_170() + static private boolean jj_3R_174() { if (jj_scan_token(PMAX)) return true; if (jj_scan_token(EQ)) return true; @@ -5401,18 +5596,18 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_58() + static private boolean jj_3R_62() { Token xsp; xsp = jj_scanpos; - if (jj_3R_63()) { + if (jj_3R_67()) { jj_scanpos = xsp; - if (jj_3R_64()) return true; + if (jj_3R_68()) return true; } return false; } - static private boolean jj_3R_169() + static private boolean jj_3R_173() { if (jj_scan_token(PMIN)) return true; if (jj_scan_token(EQ)) return true; @@ -5420,203 +5615,275 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_68() + static private boolean jj_3R_72() { - if (jj_3R_79()) return true; + if (jj_3R_83()) return true; return false; } - static private boolean jj_3R_67() + static private boolean jj_3R_71() { if (jj_scan_token(R)) return true; return false; } - static private boolean jj_3R_66() + static private boolean jj_3R_70() { if (jj_scan_token(W)) return true; return false; } - static private boolean jj_3R_168() + static private boolean jj_3R_192() + { + if (jj_scan_token(COMMA)) return true; + if (jj_3R_45()) return true; + return false; + } + + static private boolean jj_3R_172() { if (jj_scan_token(P)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_189()) jj_scanpos = xsp; + if (jj_3R_194()) jj_scanpos = xsp; xsp = jj_scanpos; - if (jj_3R_190()) { + if (jj_3R_195()) { jj_scanpos = xsp; - if (jj_3R_191()) { + if (jj_3R_196()) { jj_scanpos = xsp; - if (jj_3R_192()) { + if (jj_3R_197()) { jj_scanpos = xsp; - if (jj_3R_193()) return true; + if (jj_3R_198()) return true; } } } return false; } - static private boolean jj_3R_65() + static private boolean jj_3R_69() { if (jj_scan_token(U)) return true; return false; } - static private boolean jj_3R_150() + static private boolean jj_3R_154() { Token xsp; xsp = jj_scanpos; - if (jj_3R_168()) { + if (jj_3R_172()) { jj_scanpos = xsp; - if (jj_3R_169()) { + if (jj_3R_173()) { jj_scanpos = xsp; - if (jj_3R_170()) return true; + if (jj_3R_174()) return true; } } if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_41()) return true; + if (jj_3R_175()) return true; xsp = jj_scanpos; - if (jj_3R_171()) jj_scanpos = xsp; + if (jj_3R_176()) jj_scanpos = xsp; if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_59() + static private boolean jj_3R_191() + { + if (jj_3R_31()) return true; + return false; + } + + static private boolean jj_3R_63() { Token xsp; xsp = jj_scanpos; - if (jj_3R_65()) { + if (jj_3R_69()) { jj_scanpos = xsp; - if (jj_3R_66()) { + if (jj_3R_70()) { jj_scanpos = xsp; - if (jj_3R_67()) return true; + if (jj_3R_71()) return true; } } xsp = jj_scanpos; - if (jj_3R_68()) jj_scanpos = xsp; - if (jj_3R_58()) return true; + if (jj_3R_72()) jj_scanpos = xsp; + if (jj_3R_62()) return true; return false; } - static private boolean jj_3R_32() + static private boolean jj_3R_188() { - if (jj_3R_31()) return true; + if (jj_scan_token(PLUS)) return true; return false; } - static private boolean jj_3R_188() + static private boolean jj_3R_186() + { + if (jj_scan_token(MIN)) return true; + return false; + } + + static private boolean jj_3R_160() + { + if (jj_scan_token(FILTER)) return true; + if (jj_scan_token(LPARENTH)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_186()) { + jj_scanpos = xsp; + if (jj_3R_187()) { + jj_scanpos = xsp; + if (jj_3R_188()) { + jj_scanpos = xsp; + if (jj_3R_189()) { + jj_scanpos = xsp; + if (jj_3R_190()) { + jj_scanpos = xsp; + if (jj_3R_191()) return true; + } + } + } + } + } + if (jj_scan_token(COMMA)) return true; + if (jj_3R_45()) return true; + xsp = jj_scanpos; + if (jj_3R_192()) jj_scanpos = xsp; + if (jj_scan_token(RPARENTH)) return true; + return false; + } + + static private boolean jj_3R_193() { if (jj_scan_token(COMMA)) return true; - if (jj_3R_41()) return true; + if (jj_3R_45()) return true; return false; } - static private boolean jj_3R_167() + static private boolean jj_3R_171() { - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_49() + static private boolean jj_3R_53() { - if (jj_3R_58()) return true; + if (jj_3R_62()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_59()) jj_scanpos = xsp; + if (jj_3R_63()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_185() + static private boolean jj_3R_97() { - if (jj_scan_token(OR)) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_93() + static private boolean jj_3R_153() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_30()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_45()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_35() + static private boolean jj_3R_159() { - if (jj_3R_30()) return true; + if (jj_3R_33()) return true; return false; } - static private boolean jj_3R_149() + static private boolean jj_3R_214() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_41()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_3R_155()) return true; return false; } - static private boolean jj_3R_166() + static private boolean jj_3R_170() { if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_160() + static private boolean jj_3R_164() { if (jj_scan_token(FALSE)) return true; return false; } - static private boolean jj_3R_31() + static private boolean jj_3R_163() { - if (jj_scan_token(REG_QUOTED_IDENT)) return true; + if (jj_scan_token(TRUE)) return true; return false; } - static private boolean jj_3R_159() + static private boolean jj_3R_229() { - if (jj_scan_token(TRUE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_scan_token(90)) { + jj_scanpos = xsp; + if (jj_scan_token(93)) return true; + } return false; } - static private boolean jj_3R_184() + static private boolean jj_3R_45() { - if (jj_scan_token(AND)) return true; + if (jj_3R_53()) return true; return false; } - static private boolean jj_3R_182() + static private boolean jj_3R_162() { - if (jj_scan_token(MAX)) return true; + if (jj_scan_token(REG_DOUBLE)) return true; return false; } - static private boolean jj_3R_41() + static private boolean jj_3R_230() { - if (jj_3R_49()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_229()) return true; return false; } - static private boolean jj_3R_30() + static private boolean jj_3R_224() { - if (jj_scan_token(REG_IDENT)) return true; + if (jj_3R_229()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_230()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_158() + static private boolean jj_3R_218() { - if (jj_scan_token(REG_DOUBLE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_224()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_187() + static private boolean jj_3R_217() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_41()) return true; + if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_165() + static private boolean jj_3R_212() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_217()) { + jj_scanpos = xsp; + if (jj_3R_218()) return true; + } + return false; + } + + static private boolean jj_3R_169() { if (jj_scan_token(MIN)) return true; return false; @@ -5633,8 +5900,11 @@ fl.setLHS(s); static private int jj_ntk; static private Token jj_scanpos, jj_lastpos; static private int jj_la; + /** Whether we are looking ahead. */ + static private boolean jj_lookingAhead = false; + static private boolean jj_semLA; static private int jj_gen; - static final private int[] jj_la1 = new int[102]; + static final private int[] jj_la1 = new int[104]; static private int[] jj_la1_0; static private int[] jj_la1_1; static private int[] jj_la1_2; @@ -5646,18 +5916,18 @@ fl.setLHS(s); jj_la1_init_3(); } private static void jj_la1_init_0() { - jj_la1_0 = new int[] {0xa28804c0,0xa08804c0,0x2000000,0x60340848,0x0,0x60340848,0x60340848,0x0,0x60340848,0x400,0x80000000,0x80,0x80000480,0x10000210,0x10000210,0x0,0x40,0x0,0x2000000,0x10000030,0x0,0x4000000,0x0,0x0,0x0,0x41740808,0x0,0x0,0x0,0x41740808,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x1400000,0x0,0x41740808,0x41740808,0x41740808,0x41740808,0x41740808,0x0,0x0,0x0,0x0,0x0,0x0,0x40340808,0x0,0x0,0x0,0x0,0x0,0x0,0x40340808,0x40340808,0x0,0x40000000,0x40000000,0x0,0x40000,0x0,0x40000000,0x0,0x0,0x0,0x40000000,0x0,0x0,0x0,0x0,0x0,0x40000000,0x0,0x0,0x41740808,0x41740808,0x0,0x0,0x49740908,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x40000000,0x0,0x0,0x40000000,0x0,0x0,0x0,}; + jj_la1_0 = new int[] {0xa28804c0,0xa08804c0,0x2000000,0x60340848,0x0,0x60340848,0x60340848,0x0,0x60340848,0x400,0x80000000,0x80,0x80000480,0x10000210,0x10000210,0x0,0x40,0x0,0x2000000,0x10000030,0x0,0x4000000,0x0,0x0,0x0,0x41740808,0x0,0x0,0x0,0x41740808,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x1400000,0x0,0x41740808,0x41740808,0x41740808,0x41740808,0x41740808,0x0,0x0,0x0,0x0,0x0,0x0,0x40340808,0x0,0x0,0x0,0x0,0x0,0x0,0x40340808,0x40340808,0x0,0x40000000,0x40000000,0x0,0x40000,0x0,0x40000000,0x0,0x0,0x41740808,0x0,0x0,0x40000000,0x0,0x0,0x0,0x0,0x0,0x40000000,0x0,0x0,0x41740808,0x41740808,0x0,0x0,0x49740908,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x40000000,0x0,0x0,0x40000000,0x0,0x0,0x0,}; } private static void jj_la1_init_1() { - jj_la1_1 = new int[] {0x30fe3a,0x107e08,0x208032,0x24f51c1,0x0,0x24f51c1,0x24f51c1,0x0,0x24f51c1,0x800,0x8,0x100000,0x102e08,0x0,0x0,0x5000,0x5000,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x24f01c5,0x4000000,0x400000,0x0,0x24f01c5,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x1840000,0x0,0x1840000,0x4,0x0,0x24f01c5,0x24f01c5,0x24f01c5,0x24f01c5,0x24f01c5,0x0,0x0,0x10000000,0x20000000,0x8000000,0x4000000,0x24f01c1,0x0,0x0,0x0,0x0,0x0,0x0,0x4f01c1,0x4f01c1,0x0,0x1,0x1,0x0,0x400000,0x0,0x1,0x1c0,0x0,0x0,0x1,0x0,0x0,0x0,0x0,0x0,0x1,0x70000,0x0,0x24f01c5,0x24f01c5,0x0,0x80000,0x24f01c5,0x0,0x701c0,0x701c0,0x0,0x0,0x0,0x0,0xc000001,0x0,0x0,0x1,0x0,0x0,0x80000000,}; + jj_la1_1 = new int[] {0x30fe3a,0x107e08,0x208032,0x24f51c1,0x0,0x24f51c1,0x24f51c1,0x0,0x24f51c1,0x800,0x8,0x100000,0x102e08,0x0,0x0,0x5000,0x5000,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x24f01c5,0x4000000,0x400000,0x0,0x24f01c5,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x1840000,0x0,0x1840000,0x4,0x0,0x24f01c5,0x24f01c5,0x24f01c5,0x24f01c5,0x24f01c5,0x0,0x0,0x10000000,0x20000000,0x8000000,0x4000000,0x24f01c1,0x0,0x0,0x0,0x0,0x0,0x0,0x4f01c1,0x4f01c1,0x0,0x1,0x1,0x0,0x400000,0x0,0x1,0x1c0,0x0,0x24f01c5,0x0,0x0,0x1,0x0,0x0,0x0,0x0,0x0,0x1,0x70000,0x0,0x24f01c5,0x24f01c5,0x0,0x80000,0x24f01c5,0x0,0x701c0,0x701c0,0x0,0x0,0x0,0x0,0xc000001,0x0,0x0,0x1,0x0,0x0,0x80000000,}; } private static void jj_la1_init_2() { - jj_la1_2 = new int[] {0x0,0x0,0x0,0x6c108088,0x1,0x6c108088,0x6c108088,0x1,0x6c108088,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x800,0x0,0x20,0x20000000,0x0,0x20,0x20000000,0x80000,0x6c108088,0x0,0x8,0x2,0x6c1080a8,0x20000000,0x20,0x2,0x2,0x400200,0x2,0x2,0x400200,0x60000008,0x0,0x66820,0x0,0x0,0x66820,0x6c108088,0x6c108088,0x6c108088,0x6c108088,0x6c108088,0x66820,0x2000000,0x0,0x0,0x0,0x0,0x6c108088,0x1800,0x66000,0x180000,0x180000,0x600000,0x600000,0x6c108088,0x6c008088,0x8,0x0,0x20000000,0x2,0xc000000,0x8,0x66800,0x0,0x200,0x200,0x0,0x8,0x66808,0x200,0x8,0x200,0x66800,0x0,0x200,0x6c108088,0x6c108088,0x400000,0x0,0x6c108088,0x8080,0x0,0x8,0x2,0x24000000,0x200000,0x24000000,0x20080000,0x2,0xc0000000,0x20000000,0x1800,0x66000,0x0,}; + jj_la1_2 = new int[] {0x0,0x0,0x0,0x6c108088,0x1,0x6c108088,0x6c108088,0x1,0x6c108088,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x800,0x0,0x20,0x20000000,0x0,0x20,0x20000000,0x80000,0x6c108088,0x0,0x8,0x2,0x6c1080a8,0x20000000,0x20,0x2,0x2,0x400200,0x2,0x2,0x400200,0x60000008,0x0,0x66820,0x0,0x0,0x66820,0x6c108088,0x6c108088,0x6c108088,0x6c108088,0x6c108088,0x66820,0x2000000,0x0,0x0,0x0,0x0,0x6c108088,0x1800,0x66000,0x180000,0x180000,0x600000,0x600000,0x6c108088,0x6c008088,0x8,0x0,0x20000000,0x2,0xc000000,0x8,0x66800,0x0,0x200,0x6c108088,0x2,0x200,0x0,0x8,0x66808,0x200,0x8,0x200,0x66800,0x0,0x200,0x6c108088,0x6c108088,0x400000,0x0,0x6c108088,0x8080,0x0,0x8,0x2,0x24000000,0x200000,0x24000000,0x20080000,0x2,0xc0000000,0x20000000,0x1800,0x66000,0x0,}; } private static void jj_la1_init_3() { - jj_la1_3 = new int[] {0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,}; + jj_la1_3 = new int[] {0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,}; } - static final private JJCalls[] jj_2_rtns = new JJCalls[18]; + static final private JJCalls[] jj_2_rtns = new JJCalls[21]; static private boolean jj_rescan = false; static private int jj_gc = 0; @@ -5679,7 +5949,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 102; i++) jj_la1[i] = -1; + for (int i = 0; i < 104; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5694,7 +5964,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 102; i++) jj_la1[i] = -1; + for (int i = 0; i < 104; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5712,7 +5982,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 102; i++) jj_la1[i] = -1; + for (int i = 0; i < 104; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5723,7 +5993,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 102; i++) jj_la1[i] = -1; + for (int i = 0; i < 104; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5740,7 +6010,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 102; i++) jj_la1[i] = -1; + for (int i = 0; i < 104; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5750,7 +6020,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 102; i++) jj_la1[i] = -1; + for (int i = 0; i < 104; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5814,7 +6084,7 @@ fl.setLHS(s); /** Get the specific Token. */ static final public Token getToken(int index) { - Token t = token; + Token t = jj_lookingAhead ? jj_scanpos : token; for (int i = 0; i < index; i++) { if (t.next != null) t = t.next; else t = t.next = token_source.getNextToken(); @@ -5881,7 +6151,7 @@ fl.setLHS(s); la1tokens[jj_kind] = true; jj_kind = -1; } - for (int i = 0; i < 102; i++) { + for (int i = 0; i < 104; i++) { if (jj_la1[i] == jj_gen) { for (int j = 0; j < 32; j++) { if ((jj_la1_0[i] & (1<