From 60f7cdec5675dc71a5a82a34838c02f4c430fd5a Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Oct 2018 14:25:19 +0200 Subject: [PATCH] (HOA path) PrismParser: PathSpecification supports LTL and HOA-style path specifications (parser refresh) --- prism/src/parser/PrismParser.java | 1825 +++++++++++++++++------------ 1 file changed, 1049 insertions(+), 776 deletions(-) diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java index 11cb11f6..e7c031e0 100644 --- a/prism/src/parser/PrismParser.java +++ b/prism/src/parser/PrismParser.java @@ -2693,7 +2693,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(); @@ -2722,6 +2722,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[72] = 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_27: + while (true) { + switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { + case COMMA:{ + ; + break; + } + default: + jj_la1[73] = jj_gen; + break label_27; + } + 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; @@ -2731,7 +2848,7 @@ Filter Filter() throws ParseException {Filter filter; expr = Expression(true, false); filter = new Filter(expr); jj_consume_token(RBRACE); - label_27: + label_28: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case LBRACE:{ @@ -2739,8 +2856,8 @@ filter = new Filter(expr); break; } default: - jj_la1[72] = jj_gen; - break label_27; + jj_la1[74] = jj_gen; + break label_28; } jj_consume_token(LBRACE); switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2755,7 +2872,7 @@ filter.setMaxRequested(true); break; } default: - jj_la1[73] = jj_gen; + jj_la1[75] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2793,7 +2910,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[74] = jj_gen; + jj_la1[76] = jj_gen; ; } r = LtGt(); @@ -2808,7 +2925,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[75] = jj_gen; + jj_la1[77] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2820,7 +2937,7 @@ relOp = "="; isBool = false; break; } default: - jj_la1[76] = jj_gen; + jj_la1[78] = jj_gen; ; } jj_consume_token(RBRACKET); @@ -2865,7 +2982,7 @@ if (!prop) {if (true) throw generateParseException();} break; } default: - jj_la1[77] = jj_gen; + jj_la1[79] = jj_gen; ; } switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { @@ -2874,7 +2991,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) { @@ -2908,7 +3025,7 @@ relOp = "max="; isBool = false; break; } default: - jj_la1[79] = jj_gen; + jj_la1[81] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2929,7 +3046,7 @@ relOp = "max="; isBool = false; break; } default: - jj_la1[80] = jj_gen; + jj_la1[82] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -2941,7 +3058,7 @@ relOp = "max="; isBool = false; break; } default: - jj_la1[81] = jj_gen; + jj_la1[83] = jj_gen; ; } jj_consume_token(RBRACKET); @@ -2968,7 +3085,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) { @@ -3003,7 +3120,7 @@ void RewardIndex(ExpressionReward exprRew) throws ParseException {Object index = break; } default: - jj_la1[82] = jj_gen; + jj_la1[84] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3013,7 +3130,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) { @@ -3048,7 +3165,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(); } @@ -3057,7 +3174,7 @@ void RewardIndex(ExpressionReward exprRew) throws ParseException {Object index = break; } default: - jj_la1[84] = jj_gen; + jj_la1[86] = jj_gen; ; } exprRew.setRewardStructIndex(index); @@ -3077,7 +3194,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 { @@ -3088,8 +3205,8 @@ ret = new ExpressionTemporal(ExpressionTemporal.R_S, null, null); break; } default: - jj_la1[85] = jj_gen; - if (jj_2_18(2147483647)) { + jj_la1[87] = jj_gen; + if (jj_2_21(2147483647)) { begin = jj_consume_token(C); jj_consume_token(LE); expr = Expression(false, false); @@ -3140,7 +3257,7 @@ ret = expr; break; } default: - jj_la1[86] = jj_gen; + jj_la1[88] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3205,7 +3322,7 @@ ret = new ExpressionStrategy(false); break; } default: - jj_la1[87] = jj_gen; + jj_la1[89] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3230,7 +3347,7 @@ ret = new ExpressionStrategy(false); break; } default: - jj_la1[88] = jj_gen; + jj_la1[90] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3243,7 +3360,7 @@ ret.addOperand(expr); break; } default: - jj_la1[89] = jj_gen; + jj_la1[91] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3263,13 +3380,13 @@ exprStrat.setCoalitionAllPlayers(); break; } default: - jj_la1[92] = jj_gen; + jj_la1[94] = jj_gen; switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case REG_INT: case REG_IDENT:{ s = ExpressionStrategyCoalitionPlayer(); coalition.add(s); - label_28: + label_29: while (true) { switch ((jj_ntk==-1)?jj_ntk_f():jj_ntk) { case COMMA:{ @@ -3277,8 +3394,8 @@ coalition.add(s); break; } default: - jj_la1[90] = jj_gen; - break label_28; + jj_la1[92] = jj_gen; + break label_29; } jj_consume_token(COMMA); s = ExpressionStrategyCoalitionPlayer(); @@ -3287,7 +3404,7 @@ coalition.add(s); break; } default: - jj_la1[91] = jj_gen; + jj_la1[93] = jj_gen; ; } exprStrat.setCoalition(coalition); @@ -3307,7 +3424,7 @@ String ExpressionStrategyCoalitionPlayer() throws ParseException {String s; break; } default: - jj_la1[93] = jj_gen; + jj_la1[95] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3370,7 +3487,7 @@ op = "|"; break; } default: - jj_la1[94] = jj_gen; + jj_la1[96] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3383,7 +3500,7 @@ op = "|"; break; } default: - jj_la1[95] = jj_gen; + jj_la1[97] = jj_gen; ; } jj_consume_token(RPARENTH); @@ -3447,7 +3564,7 @@ s = getToken(0).image; break; } default: - jj_la1[96] = jj_gen; + jj_la1[98] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3479,7 +3596,7 @@ ident="max"; break; } default: - jj_la1[97] = jj_gen; + jj_la1[99] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3516,7 +3633,7 @@ int EqNeq() throws ParseException { break; } default: - jj_la1[98] = jj_gen; + jj_la1[100] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3548,7 +3665,7 @@ int LtGt() throws ParseException { break; } default: - jj_la1[99] = jj_gen; + jj_la1[101] = jj_gen; jj_consume_token(-1); throw new ParseException(); } @@ -3574,7 +3691,7 @@ begin = getToken(1); break; } default: - jj_la1[100] = jj_gen; + jj_la1[102] = jj_gen; ; } jj_consume_token(0); @@ -3731,78 +3848,89 @@ fl.setLHS(s); finally { jj_save(17, xla); } } - static private boolean jj_3R_184() + static private boolean jj_2_19(int xla) { - if (jj_scan_token(OR)) 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_92() + static private boolean jj_2_20(int xla) { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_29()) 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_34() + static private boolean jj_2_21(int xla) { - if (jj_3R_29()) 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_148() + static private boolean jj_3R_96() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_40()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_30()) return true; return false; } - static private boolean jj_3R_165() + static private boolean jj_3R_152() { - if (jj_scan_token(MAX)) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_44()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_159() + static private boolean jj_3R_158() { - if (jj_scan_token(FALSE)) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_30() + static private boolean jj_3R_213() { - if (jj_scan_token(REG_QUOTED_IDENT)) return true; + if (jj_3R_154()) return true; return false; } - static private boolean jj_3R_158() + static private boolean jj_3R_169() { - if (jj_scan_token(TRUE)) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_183() + static private boolean jj_3R_163() { - if (jj_scan_token(AND)) return true; + if (jj_scan_token(FALSE)) return true; return false; } - static private boolean jj_3R_181() + static private boolean jj_3R_162() { - if (jj_scan_token(MAX)) return true; + if (jj_scan_token(TRUE)) return true; return false; } - static private boolean jj_3R_40() + static private boolean jj_3R_228() { - if (jj_3R_48()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_scan_token(85)) { + jj_scanpos = xsp; + if (jj_scan_token(88)) return true; + } return false; } - static private boolean jj_3R_29() + static private boolean jj_3R_44() { - if (jj_scan_token(REG_IDENT)) return true; + if (jj_3R_52()) return true; return false; } @@ -3812,7 +3940,7 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_157() + static private boolean jj_3R_161() { if (jj_scan_token(REG_DOUBLE)) return true; return false; @@ -3821,158 +3949,177 @@ fl.setLHS(s); static private boolean jj_3_3() { if (jj_scan_token(LABEL)) return true; - if (jj_3R_31()) return true; + if (jj_3R_32()) return true; return false; } - static private boolean jj_3R_186() + static private boolean jj_3R_229() { if (jj_scan_token(COMMA)) return true; - if (jj_3R_40()) return true; + if (jj_3R_228()) return true; return false; } - static private boolean jj_3R_164() + static private boolean jj_3R_223() { - if (jj_scan_token(MIN)) return true; + if (jj_3R_228()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_229()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_81() + static private boolean jj_3R_217() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_33()) return true; - if (jj_scan_token(RPARENTH)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_223()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_185() + static private boolean jj_3R_216() { - if (jj_3R_29()) return true; + if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_182() + static private boolean jj_3R_211() { - if (jj_scan_token(PLUS)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_216()) { + jj_scanpos = xsp; + if (jj_3R_217()) return true; + } return false; } - static private boolean jj_3R_156() + static private boolean jj_3R_168() { - if (jj_scan_token(REG_INT)) return true; + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_80() + static private boolean jj_3R_85() { - if (jj_3R_30()) return true; + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_34()) return true; + if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_180() + static private boolean jj_3R_160() { - if (jj_scan_token(MIN)) return true; + if (jj_scan_token(REG_INT)) return true; return false; } - static private boolean jj_3R_144() + static private boolean jj_3R_84() + { + if (jj_3R_31()) return true; + return false; + } + + static private boolean jj_3R_148() { Token xsp; xsp = jj_scanpos; - if (jj_3R_156()) { + if (jj_3R_160()) { jj_scanpos = xsp; - 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()) return true; + if (jj_3R_163()) return true; } } } return false; } - static private boolean jj_3R_79() + static private boolean jj_3R_76() { - if (jj_3R_29()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_30()) return true; return false; } - static private boolean jj_3R_72() + static private boolean jj_3R_83() { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_29()) return true; + if (jj_3R_30()) return true; return false; } - static private boolean jj_3R_162() + static private boolean jj_3R_166() { if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_70() + static private boolean jj_3R_74() { Token xsp; xsp = jj_scanpos; - if (jj_3R_79()) { + if (jj_3R_83()) { jj_scanpos = xsp; - if (jj_3R_80()) { + if (jj_3R_84()) { jj_scanpos = xsp; - if (jj_3R_81()) return true; + if (jj_3R_85()) return true; } } return false; } - static private boolean jj_3R_155() + static private boolean jj_3R_184() { - if (jj_scan_token(FILTER)) return true; - if (jj_scan_token(LPARENTH)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_180()) { - jj_scanpos = xsp; - 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()) return true; - } - } - } - } - } - if (jj_scan_token(COMMA)) return true; - if (jj_3R_40()) return true; - xsp = jj_scanpos; - if (jj_3R_186()) jj_scanpos = xsp; - if (jj_scan_token(RPARENTH)) return true; + if (jj_3R_152()) return true; return false; } - static private boolean jj_3R_163() + static private boolean jj_3R_212() + { + if (jj_3R_153()) return true; + return false; + } + + static private boolean jj_3R_167() { - if (jj_3R_40()) return true; + if (jj_3R_44()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_187()) { jj_scanpos = xsp; break; } + if (jj_3R_192()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_93() + static private boolean jj_3R_183() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_212()) { + jj_scanpos = xsp; + if (jj_3R_213()) return true; + } + return false; + } + + static private boolean jj_3R_97() { if (jj_scan_token(COMMA)) return true; - if (jj_3R_29()) return true; + if (jj_3R_30()) return true; if (jj_scan_token(RENAME)) return true; - if (jj_3R_29()) return true; + if (jj_3R_30()) return true; + return false; + } + + static private boolean jj_3R_182() + { + if (jj_scan_token(DLBRACKET)) return true; + if (jj_3R_211()) return true; + if (jj_scan_token(DRBRACKET)) return true; return false; } @@ -3984,98 +4131,122 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_52() + static private boolean jj_3R_181() + { + if (jj_scan_token(DLT)) return true; + if (jj_3R_211()) return true; + if (jj_scan_token(DGT)) return true; + return false; + } + + static private boolean jj_3R_227() + { + if (jj_3R_44()) return true; + return false; + } + + static private boolean jj_3R_157() + { + Token xsp; + xsp = jj_scanpos; + if (jj_3R_181()) { + jj_scanpos = xsp; + if (jj_3R_182()) return true; + } + xsp = jj_scanpos; + if (jj_3R_183()) { + jj_scanpos = xsp; + if (jj_3R_184()) return true; + } + return false; + } + + static private boolean jj_3R_56() { if (jj_scan_token(OR)) return true; if (jj_scan_token(OR)) return true; if (jj_scan_token(OR)) return true; - if (jj_3R_37()) return true; + if (jj_3R_41()) return true; return false; } - static private boolean jj_3R_83() + static private boolean jj_3R_87() { if (jj_scan_token(LBRACE)) return true; - if (jj_3R_29()) return true; + if (jj_3R_30()) return true; if (jj_scan_token(RENAME)) return true; - if (jj_3R_29()) return true; + if (jj_3R_30()) 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_147() + static private boolean jj_3R_151() { if (jj_scan_token(FUNC)) return true; if (jj_scan_token(LPARENTH)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_164()) { + if (jj_3R_168()) { jj_scanpos = xsp; - if (jj_3R_165()) { + if (jj_3R_169()) { jj_scanpos = xsp; - if (jj_3R_166()) return true; + if (jj_3R_170()) return true; } } if (jj_scan_token(COMMA)) return true; - if (jj_3R_163()) return true; + if (jj_3R_167()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_154() - { - if (jj_3R_31()) return true; - return false; - } - - static private boolean jj_3R_207() - { - if (jj_3R_150()) return true; - return false; - } - - static private boolean jj_3R_71() + static private boolean jj_3R_75() { Token xsp; xsp = jj_scanpos; - if (jj_3R_82()) { + if (jj_3R_86()) { jj_scanpos = xsp; - if (jj_3R_83()) return true; + if (jj_3R_87()) return true; } return false; } - static private boolean jj_3R_82() + static private boolean jj_3R_86() { if (jj_scan_token(DIVIDE)) return true; if (jj_scan_token(LBRACE)) return true; - if (jj_3R_29()) return true; + if (jj_3R_30()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_92()) { jj_scanpos = xsp; break; } + if (jj_3R_96()) { jj_scanpos = xsp; break; } } if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_60() + static private boolean jj_3R_221() { - if (jj_3R_70()) return true; + if (jj_3R_44()) return true; + return false; + } + + static private boolean jj_3R_64() + { + if (jj_3R_74()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_71()) { jj_scanpos = xsp; break; } + if (jj_3R_75()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_161() + static private boolean jj_3R_165() { if (jj_scan_token(MIN)) return true; return false; @@ -4088,43 +4259,41 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_146() + static private boolean jj_3R_150() { Token xsp; xsp = jj_scanpos; - if (jj_3R_161()) { + if (jj_3R_165()) { jj_scanpos = xsp; - if (jj_3R_162()) return true; + if (jj_3R_166()) return true; } if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_163()) return true; + if (jj_3R_167()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_217() + static private boolean jj_3R_156() { - Token xsp; - xsp = jj_scanpos; - if (jj_scan_token(85)) { - jj_scanpos = xsp; - if (jj_scan_token(88)) return true; - } + if (jj_scan_token(A)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_44()) return true; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_45() + static private boolean jj_3R_49() { if (jj_scan_token(OR)) return true; if (jj_scan_token(OR)) return true; - if (jj_3R_51()) return true; + if (jj_3R_55()) return true; return false; } - static private boolean jj_3R_160() + static private boolean jj_3R_164() { if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_163()) return true; + if (jj_3R_167()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } @@ -4136,279 +4305,267 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_218() - { - if (jj_scan_token(COMMA)) return true; - if (jj_3R_217()) return true; - return false; - } - - static private boolean jj_3R_214() - { - if (jj_3R_217()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_218()) { jj_scanpos = xsp; break; } - } - return false; - } - - static private boolean jj_3R_210() - { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_214()) jj_scanpos = xsp; - return false; - } - static private boolean jj_3_2() { - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; if (jj_scan_token(COLON)) return true; return false; } - static private boolean jj_3R_145() + static private boolean jj_3R_149() { - if (jj_3R_29()) return true; + if (jj_3R_30()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_160()) jj_scanpos = xsp; - return false; - } - - static private boolean jj_3R_209() - { - if (jj_scan_token(TIMES)) return true; + if (jj_3R_164()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_205() + static private boolean jj_3R_155() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_209()) { - jj_scanpos = xsp; - if (jj_3R_210()) return true; - } + if (jj_scan_token(E)) return true; + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_44()) return true; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_61() + static private boolean jj_3R_65() { if (jj_scan_token(OR)) return true; if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_29()) return true; + if (jj_3R_30()) 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; } } if (jj_scan_token(RBRACKET)) return true; if (jj_scan_token(OR)) return true; - if (jj_3R_60()) return true; + if (jj_3R_64()) return true; return false; } - static private boolean jj_3R_51() + static private boolean jj_3R_55() { - if (jj_3R_60()) return true; + if (jj_3R_64()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_61()) jj_scanpos = xsp; + if (jj_3R_65()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_143() + static private boolean jj_3_21() { - if (jj_3R_155()) return true; + if (jj_scan_token(C)) return true; + if (jj_scan_token(LE)) return true; return false; } - static private boolean jj_3R_142() + static private boolean jj_3R_147() { - if (jj_3R_154()) return true; + if (jj_3R_159()) return true; return false; } - static private boolean jj_3R_179() + static private boolean jj_3R_146() { - if (jj_3R_148()) return true; + if (jj_3R_158()) return true; return false; } - static private boolean jj_3R_141() + static private boolean jj_3R_210() { - if (jj_3R_153()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_206() + static private boolean jj_3R_145() { - if (jj_3R_149()) return true; + if (jj_3R_157()) return true; return false; } - static private boolean jj_3R_140() + static private boolean jj_3_20() { - if (jj_3R_152()) return true; + if (jj_3R_39()) return true; return false; } - static private boolean jj_3R_178() + static private boolean jj_3R_144() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_206()) { - jj_scanpos = xsp; - if (jj_3R_207()) return true; - } + if (jj_3R_156()) return true; return false; } - static private boolean jj_3R_177() + static private boolean jj_3R_209() { - if (jj_scan_token(DLBRACKET)) return true; - if (jj_3R_205()) return true; - if (jj_scan_token(DRBRACKET)) return true; + if (jj_scan_token(I)) return true; + if (jj_scan_token(EQ)) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_139() + static private boolean jj_3_19() { - if (jj_3R_151()) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_129() + static private boolean jj_3R_208() { - if (jj_scan_token(DIVIDE)) return true; + if (jj_scan_token(C)) return true; return false; } - static private boolean jj_3R_176() + static private boolean jj_3R_143() { - if (jj_scan_token(DLT)) return true; - if (jj_3R_205()) return true; - if (jj_scan_token(DGT)) return true; + if (jj_3R_155()) return true; return false; } - static private boolean jj_3R_138() + static private boolean jj_3R_207() { - if (jj_3R_150()) return true; + if (jj_scan_token(C)) return true; + if (jj_scan_token(LE)) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_216() + static private boolean jj_3R_133() { - if (jj_3R_40()) return true; + if (jj_scan_token(DIVIDE)) return true; return false; } - static private boolean jj_3R_137() + static private boolean jj_3R_142() { - if (jj_3R_35()) return true; + if (jj_3R_154()) return true; return false; } - static private boolean jj_3R_136() + static private boolean jj_3R_206() { - if (jj_3R_149()) return true; + if (jj_scan_token(S)) return true; return false; } - static private boolean jj_3R_153() + static private boolean jj_3R_180() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_176()) { - jj_scanpos = xsp; - if (jj_3R_177()) return true; - } - xsp = jj_scanpos; - if (jj_3R_178()) { - jj_scanpos = xsp; - if (jj_3R_179()) return true; - } + if (jj_3R_53()) return true; return false; } - static private boolean jj_3R_135() + static private boolean jj_3R_141() { - if (jj_3R_148()) return true; + if (jj_3R_39()) return true; return false; } - static private boolean jj_3R_134() + static private boolean jj_3R_140() { - if (jj_3R_147()) return true; + if (jj_3R_153()) return true; return false; } - static private boolean jj_3R_44() + static private boolean jj_3R_205() { - if (jj_3R_51()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_52()) { jj_scanpos = xsp; break; } - } + if (jj_3R_39()) return true; return false; } - static private boolean jj_3R_133() + static private boolean jj_3R_226() { - if (jj_3R_146()) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_132() + static private boolean jj_3R_139() { - if (jj_3R_145()) return true; + if (jj_3R_152()) return true; return false; } - static private boolean jj_3R_131() + static private boolean jj_3R_179() { - if (jj_3R_144()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_205()) { + jj_scanpos = xsp; + if (jj_3R_206()) { + jj_scanpos = xsp; + if (jj_3R_207()) { + jj_scanpos = xsp; + if (jj_3R_208()) { + jj_scanpos = xsp; + if (jj_3R_209()) { + jj_scanpos = xsp; + if (jj_3R_210()) return true; + } + } + } + } + } return false; } - static private boolean jj_3R_125() + static private boolean jj_3R_138() { - if (jj_scan_token(MINUS)) return true; + if (jj_3R_151()) return true; return false; } - static private boolean jj_3R_212() + static private boolean jj_3R_48() { - if (jj_3R_40()) return true; + if (jj_3R_55()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_56()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_152() + static private boolean jj_3_18() { - if (jj_scan_token(A)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_40()) return true; - if (jj_scan_token(RBRACKET)) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_130() + static private boolean jj_3R_137() + { + if (jj_3R_150()) return true; + return false; + } + + static private boolean jj_3R_136() + { + if (jj_3R_149()) return true; + return false; + } + + static private boolean jj_3R_135() + { + if (jj_3R_148()) return true; + return false; + } + + static private boolean jj_3R_129() + { + if (jj_scan_token(MINUS)) return true; + return false; + } + + static private boolean jj_3R_220() + { + if (jj_3R_31()) return true; + return false; + } + + static private boolean jj_3R_134() { Token xsp; xsp = jj_scanpos; - if (jj_3R_131()) { - jj_scanpos = xsp; - 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()) { @@ -4425,7 +4582,15 @@ fl.setLHS(s); jj_scanpos = xsp; if (jj_3R_142()) { jj_scanpos = xsp; - if (jj_3R_143()) return true; + if (jj_3R_143()) { + jj_scanpos = xsp; + 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()) return true; } } } @@ -4441,197 +4606,213 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_127() + static private boolean jj_3R_131() { - if (jj_3R_130()) return true; + if (jj_3R_134()) return true; return false; } - static private boolean jj_3R_126() + static private boolean jj_3R_222() + { + if (jj_scan_token(DIVIDE)) return true; + if (jj_scan_token(LBRACE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_226()) { + jj_scanpos = xsp; + if (jj_3R_227()) return true; + } + if (jj_scan_token(RBRACE)) return true; + return false; + } + + static private boolean jj_3R_130() { if (jj_scan_token(MINUS)) return true; - if (jj_3R_122()) return true; + if (jj_3R_126()) return true; return false; } - static private boolean jj_3R_37() + static private boolean jj_3R_215() { - if (jj_3R_44()) return true; + if (jj_scan_token(LBRACE)) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_45()) { jj_scanpos = xsp; break; } + xsp = jj_scanpos; + if (jj_3R_220()) { + jj_scanpos = xsp; + if (jj_3R_221()) return true; } + if (jj_scan_token(RBRACE)) return true; + xsp = jj_scanpos; + if (jj_3R_222()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_122() + static private boolean jj_3R_41() { + if (jj_3R_48()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_126()) { - jj_scanpos = xsp; - if (jj_3R_127()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_49()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_151() + static private boolean jj_3R_126() { - if (jj_scan_token(E)) return true; - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_40()) return true; - if (jj_scan_token(RBRACKET)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_130()) { + jj_scanpos = xsp; + if (jj_3R_131()) return true; + } return false; } - static private boolean jj_3R_128() + static private boolean jj_3R_132() { if (jj_scan_token(TIMES)) return true; return false; } - static private boolean jj_3R_33() + static private boolean jj_3R_34() { - if (jj_3R_37()) return true; + if (jj_3R_41()) return true; return false; } - static private boolean jj_3R_123() + static private boolean jj_3R_127() { Token xsp; xsp = jj_scanpos; - if (jj_3R_128()) { + if (jj_3R_132()) { jj_scanpos = xsp; - if (jj_3R_129()) return true; + if (jj_3R_133()) return true; } - if (jj_3R_122()) return true; + if (jj_3R_126()) return true; return false; } static private boolean jj_3_7() { - if (jj_3R_30()) return true; - if (jj_3R_33()) 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_204() - { - if (jj_3R_40()) return true; + if (jj_3R_31()) return true; + if (jj_3R_34()) return true; return false; } - static private boolean jj_3R_118() + static private boolean jj_3R_122() { - if (jj_3R_122()) return true; + if (jj_3R_126()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_123()) { jj_scanpos = xsp; break; } + if (jj_3R_127()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3_17() + static private boolean jj_3R_201() { - if (jj_3R_35()) return true; + if (jj_3R_51()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_203() + static private boolean jj_3R_128() { - if (jj_scan_token(I)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_3R_40()) return true; + if (jj_scan_token(PLUS)) return true; return false; } - static private boolean jj_3_16() + static private boolean jj_3R_200() { - if (jj_3R_30()) return true; + if (jj_3R_215()) return true; return false; } - static private boolean jj_3R_202() + static private boolean jj_3R_199() { - if (jj_scan_token(C)) 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_201() + static private boolean jj_3R_204() { - if (jj_scan_token(C)) return true; - if (jj_scan_token(LE)) return true; - if (jj_3R_40()) 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_124() + static private boolean jj_3R_178() { - 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_200() + static private boolean jj_3_1() { - if (jj_scan_token(S)) return true; + if (jj_scan_token(MODULE)) return true; + if (jj_3R_30()) return true; + if (jj_scan_token(EQ)) return true; return false; } - static private boolean jj_3R_175() + static private boolean jj_3R_123() { - if (jj_3R_49()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_128()) { + jj_scanpos = xsp; + if (jj_3R_129()) return true; + } + if (jj_3R_122()) return true; return false; } - static private boolean jj_3_1() + static private boolean jj_3R_203() { - if (jj_scan_token(MODULE)) return true; - if (jj_3R_29()) 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_119() + static private boolean jj_3R_177() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_124()) { - jj_scanpos = xsp; - if (jj_3R_125()) return true; - } - if (jj_3R_118()) 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_199() + static private boolean jj_3R_202() { - if (jj_3R_35()) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_215() + static private boolean jj_3R_45() { - if (jj_3R_30()) return true; + if (jj_3R_53()) return true; return false; } - static private boolean jj_3R_174() + static private boolean jj_3R_176() { + if (jj_scan_token(R)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_199()) { - jj_scanpos = xsp; - if (jj_3R_200()) { - jj_scanpos = xsp; + if (jj_3R_199()) jj_scanpos = xsp; + xsp = jj_scanpos; + if (jj_3R_200()) jj_scanpos = xsp; + xsp = jj_scanpos; if (jj_3R_201()) { jj_scanpos = xsp; if (jj_3R_202()) { @@ -4642,683 +4823,690 @@ fl.setLHS(s); } } } - } - } return false; } - static private boolean jj_3_15() + static private boolean jj_3R_119() { - if (jj_3R_30()) return true; + if (jj_3R_122()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_123()) { jj_scanpos = xsp; break; } + } return false; } - static private boolean jj_3R_115() + static private boolean jj_3R_154() { - if (jj_3R_118()) return true; Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_119()) { jj_scanpos = xsp; break; } + xsp = jj_scanpos; + if (jj_3R_176()) { + jj_scanpos = xsp; + if (jj_3R_177()) { + jj_scanpos = xsp; + if (jj_3R_178()) return true; + } } + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_179()) return true; + xsp = jj_scanpos; + if (jj_3R_180()) jj_scanpos = xsp; + if (jj_scan_token(RBRACKET)) return true; return false; } static private boolean jj_3_6() { - if (jj_3R_30()) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_211() + static private boolean jj_3R_120() { - if (jj_3R_30()) return true; + if (jj_3R_51()) return true; + if (jj_3R_119()) return true; return false; } - static private boolean jj_3R_213() + static private boolean jj_3R_117() { - if (jj_scan_token(DIVIDE)) return true; - if (jj_scan_token(LBRACE)) return true; + if (jj_3R_119()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_215()) { - jj_scanpos = xsp; - if (jj_3R_216()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_120()) { jj_scanpos = xsp; break; } } - if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_116() + static private boolean jj_3R_118() { - if (jj_3R_47()) return true; - if (jj_3R_115()) return true; + if (jj_3R_121()) return true; + if (jj_3R_117()) return true; return false; } - static private boolean jj_3R_208() + static private boolean jj_3R_50() { - if (jj_scan_token(LBRACE)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_211()) { - jj_scanpos = xsp; - if (jj_3R_212()) return true; - } - if (jj_scan_token(RBRACE)) return true; - xsp = jj_scanpos; - if (jj_3R_213()) jj_scanpos = xsp; + 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_113() + static private boolean jj_3R_43() { - if (jj_3R_115()) return true; + if (jj_scan_token(EQ)) return true; + if (jj_scan_token(QMARK)) return true; + return false; + } + + static private boolean jj_3R_116() + { + if (jj_3R_117()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_116()) { jj_scanpos = xsp; break; } + if (jj_3R_118()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_114() + static private boolean jj_3R_42() { - if (jj_3R_117()) return true; - if (jj_3R_113()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_50()) jj_scanpos = xsp; + if (jj_3R_51()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_112() + static private boolean jj_3R_115() { - if (jj_3R_113()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_114()) { jj_scanpos = xsp; break; } - } + if (jj_3R_116()) return true; return false; } - static private boolean jj_3R_111() + static private boolean jj_3R_114() { + if (jj_scan_token(NOT)) return true; if (jj_3R_112()) return true; return false; } - static private boolean jj_3R_110() + static private boolean jj_3R_60() { - if (jj_scan_token(NOT)) return true; - if (jj_3R_108()) return true; + if (jj_scan_token(LE)) return true; return false; } - static private boolean jj_3R_103() + static private boolean jj_3R_107() { - if (jj_3R_40()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_101() + static private boolean jj_3R_59() { - if (jj_3R_40()) return true; + if (jj_scan_token(GE)) return true; return false; } - static private boolean jj_3R_99() + static private boolean jj_3R_105() { - if (jj_3R_40()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_97() + static private boolean jj_3R_58() { - if (jj_3R_40()) return true; + if (jj_scan_token(LT)) return true; return false; } - static private boolean jj_3R_195() + static private boolean jj_3R_103() { - if (jj_3R_47()) return true; - if (jj_3R_40()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_194() + static private boolean jj_3R_39() { - if (jj_3R_208()) return true; + if (jj_scan_token(S)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_42()) { + jj_scanpos = xsp; + if (jj_3R_43()) return true; + } + if (jj_scan_token(LBRACKET)) return true; + if (jj_3R_44()) return true; + xsp = jj_scanpos; + if (jj_3R_45()) jj_scanpos = xsp; + if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_193() + static private boolean jj_3R_57() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_34()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(GT)) return true; return false; } - static private boolean jj_3R_43() + static private boolean jj_3R_51() { - if (jj_scan_token(AND)) return true; - if (jj_3R_42()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_57()) { + jj_scanpos = xsp; + if (jj_3R_58()) { + jj_scanpos = xsp; + if (jj_3R_59()) { + jj_scanpos = xsp; + if (jj_3R_60()) return true; + } + } + } return false; } - static private boolean jj_3R_198() + static private boolean jj_3R_101() { - if (jj_scan_token(MAX)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_173() + static private boolean jj_3R_47() { - if (jj_scan_token(RMAX)) return true; - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_scan_token(AND)) return true; + if (jj_3R_46()) return true; return false; } - static private boolean jj_3R_197() + static private boolean jj_3R_112() { - 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_114()) { + jj_scanpos = xsp; + if (jj_3R_115()) return true; + } return false; } - static private boolean jj_3R_172() + static private boolean jj_3R_125() { - 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_108() + static private boolean jj_3R_121() { Token xsp; xsp = jj_scanpos; - if (jj_3R_110()) { + if (jj_3R_124()) { jj_scanpos = xsp; - if (jj_3R_111()) return true; + if (jj_3R_125()) return true; } return false; } - static private boolean jj_3R_196() + static private boolean jj_3R_124() { if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_41() + static private boolean jj_3R_73() { - if (jj_3R_49()) return true; + if (jj_scan_token(MAX)) return true; return false; } - static private boolean jj_3R_171() + static private boolean jj_3R_72() { - if (jj_scan_token(R)) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_193()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_194()) jj_scanpos = xsp; - xsp = jj_scanpos; - if (jj_3R_195()) { - jj_scanpos = xsp; - if (jj_3R_196()) { - jj_scanpos = xsp; - if (jj_3R_197()) { - jj_scanpos = xsp; - if (jj_3R_198()) return true; - } - } - } + if (jj_scan_token(MIN)) return true; return false; } - static private boolean jj_3R_109() + static private boolean jj_3R_113() { if (jj_scan_token(AND)) return true; - if (jj_3R_108()) return true; + if (jj_3R_112()) return true; return false; } - static private boolean jj_3R_150() + static private boolean jj_3R_46() + { + if (jj_scan_token(LPARENTH)) return true; + if (jj_3R_54()) return true; + if (jj_scan_token(EQ)) return true; + if (jj_3R_44()) return true; + if (jj_scan_token(RPARENTH)) return true; + return false; + } + + static private boolean jj_3R_110() { + if (jj_3R_112()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_171()) { - jj_scanpos = xsp; - if (jj_3R_172()) { - jj_scanpos = xsp; - if (jj_3R_173()) return true; - } + while (true) { + xsp = jj_scanpos; + if (jj_3R_113()) { jj_scanpos = xsp; break; } } - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_174()) return true; - xsp = jj_scanpos; - if (jj_3R_175()) jj_scanpos = xsp; - if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_42() + static private boolean jj_3R_63() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_50()) return true; - if (jj_scan_token(EQ)) return true; - if (jj_3R_40()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(LBRACE)) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_72()) { + jj_scanpos = xsp; + if (jj_3R_73()) return true; + } + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_106() + static private boolean jj_3R_53() { - if (jj_3R_108()) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_44()) return true; + if (jj_scan_token(RBRACE)) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_109()) { jj_scanpos = xsp; break; } + if (jj_3R_63()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_107() + static private boolean jj_3R_54() + { + if (jj_scan_token(REG_IDENTPRIME)) return true; + return false; + } + + static private boolean jj_3R_111() { if (jj_scan_token(OR)) return true; - if (jj_3R_106()) return true; + if (jj_3R_110()) return true; return false; } - static private boolean jj_3R_36() + static private boolean jj_3R_40() { - if (jj_3R_42()) return true; + if (jj_3R_46()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_43()) { jj_scanpos = xsp; break; } + if (jj_3R_47()) { jj_scanpos = xsp; break; } } return false; } static private boolean jj_3_5() { - if (jj_3R_32()) return true; + if (jj_3R_33()) return true; return false; } - static private boolean jj_3R_104() + static private boolean jj_3R_108() { - if (jj_3R_106()) return true; + if (jj_3R_110()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_107()) { jj_scanpos = xsp; break; } + if (jj_3R_111()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_32() + static private boolean jj_3R_33() { Token xsp; xsp = jj_scanpos; - if (jj_3R_36()) { + if (jj_3R_40()) { jj_scanpos = xsp; if (jj_scan_token(49)) return true; } return false; } - static private boolean jj_3R_105() + static private boolean jj_3R_219() { - if (jj_scan_token(IFF)) return true; - if (jj_3R_104()) return true; + if (jj_scan_token(COMMA)) return true; + if (jj_3R_31()) return true; + if (jj_scan_token(RENAME)) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_94() + static private boolean jj_3R_214() { - if (jj_3R_104()) return true; + if (jj_3R_218()) return true; Token xsp; while (true) { xsp = jj_scanpos; - if (jj_3R_105()) { jj_scanpos = xsp; break; } + if (jj_3R_219()) { jj_scanpos = xsp; break; } } return false; } - static private boolean jj_3R_46() + static private boolean jj_3R_109() { - if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_34()) return true; - if (jj_scan_token(RPARENTH)) return true; + if (jj_scan_token(IFF)) return true; + if (jj_3R_108()) return true; return false; } - static private boolean jj_3R_39() + static private boolean jj_3R_98() { - if (jj_scan_token(EQ)) return true; - if (jj_scan_token(QMARK)) return true; + if (jj_3R_108()) return true; + Token xsp; + while (true) { + xsp = jj_scanpos; + if (jj_3R_109()) { jj_scanpos = xsp; break; } + } return false; } static private boolean jj_3R_38() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_46()) jj_scanpos = xsp; - if (jj_3R_47()) return true; - if (jj_3R_40()) return true; return false; } - static private boolean jj_3R_95() + static private boolean jj_3R_225() { - if (jj_scan_token(IMPLIES)) return true; - if (jj_3R_94()) return true; + if (jj_scan_token(REG_QUOTED_STRING)) return true; return false; } - static private boolean jj_3R_84() + static private boolean jj_3R_224() { - if (jj_3R_94()) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_95()) { jj_scanpos = xsp; break; } - } + if (jj_scan_token(REG_QUOTED_IDENT)) return true; return false; } - static private boolean jj_3R_56() + static private boolean jj_3R_198() { - if (jj_scan_token(LE)) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_55() + static private boolean jj_3R_99() { - if (jj_scan_token(GE)) return true; + if (jj_scan_token(IMPLIES)) return true; + if (jj_3R_98()) return true; return false; } - static private boolean jj_3R_54() + static private boolean jj_3R_37() { - if (jj_scan_token(LT)) return true; return false; } - static private boolean jj_3R_35() + static private boolean jj_3R_88() { - if (jj_scan_token(S)) return true; + if (jj_3R_98()) return true; Token xsp; - xsp = jj_scanpos; - if (jj_3R_38()) { - jj_scanpos = xsp; - if (jj_3R_39()) return true; + while (true) { + xsp = jj_scanpos; + if (jj_3R_99()) { jj_scanpos = xsp; break; } } - if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_40()) return true; - xsp = jj_scanpos; - if (jj_3R_41()) jj_scanpos = xsp; - if (jj_scan_token(RBRACKET)) return true; - return false; - } - - static private boolean jj_3R_53() - { - if (jj_scan_token(GT)) return true; return false; } - static private boolean jj_3R_47() + static private boolean jj_3R_218() { Token xsp; xsp = jj_scanpos; - if (jj_3R_53()) { - jj_scanpos = xsp; - if (jj_3R_54()) { - jj_scanpos = xsp; - if (jj_3R_55()) { + if (jj_3R_224()) { jj_scanpos = xsp; - if (jj_3R_56()) return true; - } - } + if (jj_3R_225()) return true; } return false; } - static private boolean jj_3R_85() + static private boolean jj_3_17() { - if (jj_scan_token(QMARK)) return true; - if (jj_3R_84()) return true; - if (jj_scan_token(COLON)) return true; - if (jj_3R_77()) return true; + jj_lookingAhead = true; + 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_35()) return true; return false; } - static private boolean jj_3_14() + static private boolean jj_3R_89() { - if (jj_3R_34()) return true; - if (jj_scan_token(LPARENTH)) return true; + if (jj_scan_token(QMARK)) return true; + if (jj_3R_88()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_3R_81()) return true; return false; } - static private boolean jj_3_13() + static private boolean jj_3R_36() { - if (jj_3R_34()) return true; - if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3_12() + static private boolean jj_3_14() { - if (jj_3R_34()) return true; + if (jj_3R_35()) return true; if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3_11() + static private boolean jj_3_13() { - if (jj_3R_34()) return true; + if (jj_3R_35()) return true; if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3R_121() - { - if (jj_scan_token(NE)) return true; - return false; - } - - static private boolean jj_3R_117() + static private boolean jj_3_12() { - Token xsp; - xsp = jj_scanpos; - if (jj_3R_120()) { - jj_scanpos = xsp; - if (jj_3R_121()) return true; - } + if (jj_3R_35()) return true; + if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3R_120() + static private boolean jj_3_11() { - if (jj_scan_token(EQ)) return true; + if (jj_3R_35()) return true; + if (jj_scan_token(LPARENTH)) return true; return false; } - static private boolean jj_3R_170() + static private boolean jj_3_16() { - if (jj_3R_49()) 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_37()) return true; + if (jj_scan_token(NOT)) return true; + if (jj_3R_35()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_214()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_69() + static private boolean jj_3R_32() { - if (jj_scan_token(MAX)) return true; + if (jj_3R_31()) return true; return false; } - static private boolean jj_3R_68() + static private boolean jj_3R_81() { - if (jj_scan_token(MIN)) return true; + if (jj_3R_88()) return true; + Token xsp; + xsp = jj_scanpos; + if (jj_3R_89()) jj_scanpos = xsp; return false; } - static private boolean jj_3R_77() + static private boolean jj_3R_106() { - if (jj_3R_84()) return true; - Token xsp; - xsp = jj_scanpos; - if (jj_3R_85()) jj_scanpos = xsp; + if (jj_3R_35()) return true; return false; } - static private boolean jj_3R_102() + static private boolean jj_3_15() { - 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_36()) return true; + if (jj_3R_35()) return true; + if (jj_scan_token(COLON)) return true; + if (jj_scan_token(LBRACE)) return true; + if (jj_3R_214()) return true; + if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_100() + static private boolean jj_3R_104() { - if (jj_3R_34()) return true; + if (jj_3R_35()) return true; return false; } - static private boolean jj_3R_98() + static private boolean jj_3R_102() { - if (jj_3R_34()) return true; + if (jj_3R_35()) return true; return false; } - static private boolean jj_3R_96() + static private boolean jj_3R_100() { - if (jj_3R_34()) return true; + if (jj_3R_35()) return true; return false; } - static private boolean jj_3R_59() + static private boolean jj_3R_174() { - if (jj_scan_token(LBRACE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_68()) { + if (jj_3_15()) { + jj_scanpos = xsp; + if (jj_3_16()) { + jj_scanpos = xsp; + if (jj_3_17()) { jj_scanpos = xsp; - if (jj_3R_69()) return true; + if (jj_3R_198()) return true; + } + } } - if (jj_scan_token(RBRACE)) return true; return false; } - static private boolean jj_3R_91() + static private boolean jj_3R_189() + { + if (jj_scan_token(OR)) return true; + return false; + } + + static private boolean jj_3R_95() { if (jj_scan_token(EQ)) return true; - if (jj_3R_40()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_90() + static private boolean jj_3R_94() { if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_40()) return true; + if (jj_3R_44()) return true; if (jj_scan_token(COMMA)) return true; - if (jj_3R_40()) return true; + if (jj_3R_44()) return true; if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_49() + static private boolean jj_3R_35() { - if (jj_scan_token(LBRACE)) return true; - if (jj_3R_40()) return true; - if (jj_scan_token(RBRACE)) return true; - Token xsp; - while (true) { - xsp = jj_scanpos; - if (jj_3R_59()) { jj_scanpos = xsp; break; } - } + if (jj_3R_30()) return true; return false; } - static private boolean jj_3R_89() + static private boolean jj_3R_93() { if (jj_scan_token(GT)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_102()) { + if (jj_3R_106()) { jj_scanpos = xsp; - if (jj_3R_103()) return true; + if (jj_3R_107()) return true; } return false; } - static private boolean jj_3R_88() + static private boolean jj_3R_92() { if (jj_scan_token(GE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_100()) { + if (jj_3R_104()) { jj_scanpos = xsp; - if (jj_3R_101()) return true; + if (jj_3R_105()) return true; } return false; } - static private boolean jj_3R_87() + static private boolean jj_3R_91() { if (jj_scan_token(LT)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_98()) { + if (jj_3R_102()) { jj_scanpos = xsp; - if (jj_3R_99()) return true; + if (jj_3R_103()) return true; } return false; } - static private boolean jj_3R_86() + static private boolean jj_3R_90() { if (jj_scan_token(LE)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_96()) { + if (jj_3R_100()) { jj_scanpos = xsp; - if (jj_3R_97()) return true; + if (jj_3R_101()) return true; } return false; } - static private boolean jj_3R_50() - { - if (jj_scan_token(REG_IDENTPRIME)) return true; - return false; - } - - static private boolean jj_3R_78() + static private boolean jj_3R_82() { Token xsp; xsp = jj_scanpos; - if (jj_3R_86()) { + if (jj_3R_90()) { jj_scanpos = xsp; - 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()) return true; + if (jj_3R_95()) return true; } } } @@ -5327,69 +5515,93 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_63() + static private boolean jj_3R_67() { - if (jj_3R_77()) return true; + if (jj_3R_81()) return true; return false; } - static private boolean jj_3R_76() + static private boolean jj_3R_80() { - if (jj_3R_78()) return true; + if (jj_3R_82()) return true; return false; } - static private boolean jj_3R_75() + static private boolean jj_3R_79() { if (jj_scan_token(G)) return true; return false; } - static private boolean jj_3R_74() + static private boolean jj_3R_78() { if (jj_scan_token(F)) return true; return false; } - static private boolean jj_3R_73() + static private boolean jj_3R_77() { if (jj_scan_token(X)) return true; return false; } - static private boolean jj_3R_62() + static private boolean jj_3R_31() + { + if (jj_scan_token(REG_QUOTED_IDENT)) return true; + return false; + } + + static private boolean jj_3R_188() + { + if (jj_scan_token(AND)) return true; + return false; + } + + static private boolean jj_3R_186() + { + if (jj_scan_token(MAX)) return true; + return false; + } + + static private boolean jj_3R_66() { Token xsp; xsp = jj_scanpos; - if (jj_3R_73()) { + if (jj_3R_77()) { jj_scanpos = xsp; - if (jj_3R_74()) { + if (jj_3R_78()) { jj_scanpos = xsp; - if (jj_3R_75()) return true; + if (jj_3R_79()) return true; } } xsp = jj_scanpos; - if (jj_3R_76()) jj_scanpos = xsp; - if (jj_3R_57()) return true; + if (jj_3R_80()) jj_scanpos = xsp; + if (jj_3R_61()) return true; return false; } - static private boolean jj_3R_189() + static private boolean jj_3R_194() { - if (jj_3R_47()) return true; - if (jj_3R_40()) return true; + if (jj_3R_51()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_188() + static private boolean jj_3R_193() { if (jj_scan_token(LPARENTH)) return true; - if (jj_3R_34()) return true; + if (jj_3R_35()) return true; if (jj_scan_token(RPARENTH)) return true; return false; } - static private boolean jj_3R_192() + static private boolean jj_3R_30() + { + if (jj_scan_token(REG_IDENT)) return true; + return false; + } + + static private boolean jj_3R_197() { if (jj_scan_token(MAX)) return true; if (jj_scan_token(EQ)) return true; @@ -5397,7 +5609,13 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_191() + static private boolean jj_3R_175() + { + if (jj_3R_53()) return true; + return false; + } + + static private boolean jj_3R_196() { if (jj_scan_token(MIN)) return true; if (jj_scan_token(EQ)) return true; @@ -5405,14 +5623,14 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_190() + static private boolean jj_3R_195() { if (jj_scan_token(EQ)) return true; if (jj_scan_token(QMARK)) return true; return false; } - static private boolean jj_3R_169() + static private boolean jj_3R_173() { if (jj_scan_token(PMAX)) return true; if (jj_scan_token(EQ)) return true; @@ -5420,18 +5638,18 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_57() + static private boolean jj_3R_61() { Token xsp; xsp = jj_scanpos; - if (jj_3R_62()) { + if (jj_3R_66()) { jj_scanpos = xsp; - if (jj_3R_63()) return true; + if (jj_3R_67()) return true; } return false; } - static private boolean jj_3R_168() + static private boolean jj_3R_172() { if (jj_scan_token(PMIN)) return true; if (jj_scan_token(EQ)) return true; @@ -5439,111 +5657,160 @@ fl.setLHS(s); return false; } - static private boolean jj_3R_67() + static private boolean jj_3R_71() { - if (jj_3R_78()) return true; + if (jj_3R_82()) return true; return false; } - static private boolean jj_3R_66() + static private boolean jj_3R_70() { if (jj_scan_token(R)) return true; return false; } - static private boolean jj_3R_65() + static private boolean jj_3R_69() { if (jj_scan_token(W)) return true; return false; } - static private boolean jj_3R_167() + static private boolean jj_3R_191() + { + if (jj_scan_token(COMMA)) return true; + if (jj_3R_44()) return true; + return false; + } + + static private boolean jj_3R_171() { if (jj_scan_token(P)) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_188()) jj_scanpos = xsp; + if (jj_3R_193()) jj_scanpos = xsp; xsp = jj_scanpos; - if (jj_3R_189()) { + if (jj_3R_194()) { jj_scanpos = xsp; - 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()) return true; + if (jj_3R_197()) return true; } } } return false; } - static private boolean jj_3R_64() + static private boolean jj_3R_68() { if (jj_scan_token(U)) return true; return false; } - static private boolean jj_3R_149() + static private boolean jj_3R_153() { Token xsp; xsp = jj_scanpos; - if (jj_3R_167()) { + if (jj_3R_171()) { jj_scanpos = xsp; - if (jj_3R_168()) { + if (jj_3R_172()) { jj_scanpos = xsp; - if (jj_3R_169()) return true; + if (jj_3R_173()) return true; } } if (jj_scan_token(LBRACKET)) return true; - if (jj_3R_40()) return true; + if (jj_3R_174()) return true; xsp = jj_scanpos; - if (jj_3R_170()) jj_scanpos = xsp; + if (jj_3R_175()) jj_scanpos = xsp; if (jj_scan_token(RBRACKET)) return true; return false; } - static private boolean jj_3R_58() + static private boolean jj_3R_190() + { + if (jj_3R_30()) return true; + return false; + } + + static private boolean jj_3R_62() { Token xsp; xsp = jj_scanpos; - if (jj_3R_64()) { + if (jj_3R_68()) { jj_scanpos = xsp; - if (jj_3R_65()) { + if (jj_3R_69()) { jj_scanpos = xsp; - if (jj_3R_66()) return true; + if (jj_3R_70()) return true; } } xsp = jj_scanpos; - if (jj_3R_67()) jj_scanpos = xsp; - if (jj_3R_57()) return true; + if (jj_3R_71()) jj_scanpos = xsp; + if (jj_3R_61()) return true; return false; } - static private boolean jj_3R_31() + static private boolean jj_3R_187() { - if (jj_3R_30()) return true; + if (jj_scan_token(PLUS)) return true; return false; } - static private boolean jj_3R_187() + static private boolean jj_3R_185() + { + if (jj_scan_token(MIN)) return true; + return false; + } + + static private boolean jj_3R_159() + { + if (jj_scan_token(FILTER)) return true; + if (jj_scan_token(LPARENTH)) return true; + Token xsp; + xsp = jj_scanpos; + 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()) { + jj_scanpos = xsp; + if (jj_3R_189()) { + jj_scanpos = xsp; + if (jj_3R_190()) return true; + } + } + } + } + } + if (jj_scan_token(COMMA)) return true; + if (jj_3R_44()) return true; + xsp = jj_scanpos; + if (jj_3R_191()) jj_scanpos = xsp; + if (jj_scan_token(RPARENTH)) return true; + return false; + } + + static private boolean jj_3R_192() { if (jj_scan_token(COMMA)) return true; - if (jj_3R_40()) return true; + if (jj_3R_44()) return true; return false; } - static private boolean jj_3R_166() + static private boolean jj_3R_170() { - if (jj_3R_29()) return true; + if (jj_3R_30()) return true; return false; } - static private boolean jj_3R_48() + static private boolean jj_3R_52() { - if (jj_3R_57()) return true; + if (jj_3R_61()) return true; Token xsp; xsp = jj_scanpos; - if (jj_3R_58()) jj_scanpos = xsp; + if (jj_3R_62()) jj_scanpos = xsp; return false; } @@ -5558,8 +5825,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[101]; + static final private int[] jj_la1 = new int[103]; static private int[] jj_la1_0; static private int[] jj_la1_1; static private int[] jj_la1_2; @@ -5569,15 +5839,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,0xa00000,0x0,0xa0ba0808,0xa0ba0808,0xa0ba0808,0xa0ba0808,0xa0ba0808,0x0,0x0,0x0,0x0,0x0,0x0,0xa01a0808,0x0,0x0,0x0,0x0,0x0,0x0,0xa01a0808,0xa01a0808,0x0,0xa0000000,0xa0000000,0x0,0x20000,0x0,0xa0000000,0x0,0x0,0x0,0xa0000000,0x0,0x0,0x0,0x0,0x0,0xa0000000,0x0,0x0,0xa0ba0808,0xa0ba0808,0x0,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,0xa00000,0x0,0xa0ba0808,0xa0ba0808,0xa0ba0808,0xa0ba0808,0xa0ba0808,0x0,0x0,0x0,0x0,0x0,0x0,0xa01a0808,0x0,0x0,0x0,0x0,0x0,0x0,0xa01a0808,0xa01a0808,0x0,0xa0000000,0xa0000000,0x0,0x20000,0x0,0xa0000000,0x0,0x0,0xa0ba0808,0x0,0x0,0xa0000000,0x0,0x0,0x0,0x0,0x0,0xa0000000,0x0,0x0,0xa0ba0808,0xa0ba0808,0x0,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,0xc2000,0x2,0x0,0x4012783a,0x4012783a,0x4012783a,0x4012783a,0x4012783a,0x0,0x0,0x800000,0x1000000,0x400000,0x200000,0x40127838,0x0,0x0,0x0,0x0,0x0,0x0,0x40027838,0x40027838,0x40000000,0x0,0x0,0x10000000,0x20000,0x40000000,0x0,0x38,0x0,0x0,0x0,0x40000000,0x40000000,0x0,0x40000000,0x0,0x0,0x3800,0x0,0x4012783a,0x4012783a,0x0,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,0xc2000,0x2,0x0,0x4012783a,0x4012783a,0x4012783a,0x4012783a,0x4012783a,0x0,0x0,0x800000,0x1000000,0x400000,0x200000,0x40127838,0x0,0x0,0x0,0x0,0x0,0x0,0x40027838,0x40027838,0x40000000,0x0,0x0,0x10000000,0x20000,0x40000000,0x0,0x38,0x0,0x4012783a,0x10000000,0x0,0x0,0x40000000,0x40000000,0x0,0x40000000,0x0,0x0,0x3800,0x0,0x4012783a,0x4012783a,0x0,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,0x3608404,0x0,0x3608404,0x3608404,0x0,0x3608404,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x40,0x0,0x1,0x1000000,0x0,0x1,0x1000000,0x4000,0x3608404,0x0,0x0,0x0,0x3608405,0x1000000,0x1,0x0,0x20010,0x0,0x0,0x20010,0x3000000,0x0,0x3341,0x0,0x0,0x3341,0x3608404,0x3608404,0x3608404,0x3608404,0x3608404,0x3341,0x100000,0x0,0x0,0x0,0x0,0x3608404,0xc0,0x3300,0xc000,0xc000,0x30000,0x30000,0x3608404,0x3600404,0x0,0x0,0x1000000,0x0,0x600000,0x0,0x3340,0x0,0x10,0x10,0x0,0x0,0x3340,0x10,0x0,0x10,0x3340,0x0,0x10,0x3608404,0x3608404,0x20000,0x0,0x3608404,0x404,0x0,0x0,0x0,0x1200000,0x10000,0x1200000,0x1004000,0x0,0x6000000,0x1000000,0xc0,0x3300,0x0,}; + jj_la1_2 = new int[] {0x0,0x0,0x0,0x3608404,0x0,0x3608404,0x3608404,0x0,0x3608404,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x40,0x0,0x1,0x1000000,0x0,0x1,0x1000000,0x4000,0x3608404,0x0,0x0,0x0,0x3608405,0x1000000,0x1,0x0,0x20010,0x0,0x0,0x20010,0x3000000,0x0,0x3341,0x0,0x0,0x3341,0x3608404,0x3608404,0x3608404,0x3608404,0x3608404,0x3341,0x100000,0x0,0x0,0x0,0x0,0x3608404,0xc0,0x3300,0xc000,0xc000,0x30000,0x30000,0x3608404,0x3600404,0x0,0x0,0x1000000,0x0,0x600000,0x0,0x3340,0x0,0x10,0x3608404,0x0,0x10,0x0,0x0,0x3340,0x10,0x0,0x10,0x3340,0x0,0x10,0x3608404,0x3608404,0x20000,0x0,0x3608404,0x404,0x0,0x0,0x0,0x1200000,0x10000,0x1200000,0x1004000,0x0,0x6000000,0x1000000,0xc0,0x3300,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; @@ -5599,7 +5869,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 101; i++) jj_la1[i] = -1; + for (int i = 0; i < 103; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5614,7 +5884,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 101; i++) jj_la1[i] = -1; + for (int i = 0; i < 103; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5632,7 +5902,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 101; i++) jj_la1[i] = -1; + for (int i = 0; i < 103; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5643,7 +5913,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 101; i++) jj_la1[i] = -1; + for (int i = 0; i < 103; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5660,7 +5930,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 101; i++) jj_la1[i] = -1; + for (int i = 0; i < 103; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5670,7 +5940,7 @@ fl.setLHS(s); token = new Token(); jj_ntk = -1; jj_gen = 0; - for (int i = 0; i < 101; i++) jj_la1[i] = -1; + for (int i = 0; i < 103; i++) jj_la1[i] = -1; for (int i = 0; i < jj_2_rtns.length; i++) jj_2_rtns[i] = new JJCalls(); } @@ -5734,7 +6004,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(); @@ -5788,7 +6058,7 @@ fl.setLHS(s); la1tokens[jj_kind] = true; jj_kind = -1; } - for (int i = 0; i < 101; i++) { + for (int i = 0; i < 103; i++) { if (jj_la1[i] == jj_gen) { for (int j = 0; j < 32; j++) { if ((jj_la1_0[i] & (1<