static CtxExpr ctxParseExpression(S exp) { Explain e = explain(exp, ctxParsingRules(), "exp"); if (e == null) fail("Couldn't parse expression: " + exp); ret ctxParseExpression(e); } static CtxExpr ctxParseExpression(Explain exp) { try { if (exp.is("bracket")) { CtxExpr e = ctxParseExpression(exp.sub(0)); if (e instanceof CtxConst) ret new CtxRegexp(e/CtxConst.value); ret e; } if (exp.is("fcall")) { CtxFCall call = new(exp.str(0)); for (int i = 1; i < l(exp.subs); i++) call.add(ctxParseSub(exp, i)); ret call; } if (exp.is("and")) ret new CtxAnd(ctxParseSub(exp, 0), ctxParseSub(exp, 1)); if (exp.is("or")) ret new CtxOr(ctxParseSub(exp, 0), ctxParseSub(exp, 1)); if (exp.is("neg")) ret new CtxNeg(ctxParseSub(exp, 0)); if (exp.is("int")) ret new CtxConst(exp.tok().get(1)); if (exp.is("quoted")) ret new CtxConst(unquoteCtx(exp.tok().get(1))); //ret new CtxRegexp(unquoteCtx(exp.tok().get(1))); //if (exp.is("id")) if (l(exp.tok()) == 3 && isIdentifier(exp.tok().get(1))) ret new CtxVar(exp.tok().get(1)); if (exp.is("comp")) ret new CtxComp(ctxParseSub(exp, 0), ctxParseSub(exp, 1)); if (exp.is("uneq")) ret new CtxUneq(ctxParseSub(exp, 0), ctxParseSub(exp, 1)); if (exp.is("match")) ret new CtxMatch(ctxParseSub(exp, 0), unquoteCtx(exp.str(1))); if (exp.singleEqualChild()) ret ctxParseExpression(exp.sub(0)); } catch e { printExplainTree(exp); throw rethrow(e); } throw todo(exp.className() + " - " + quote(exp.string())); }