public AbstractExpression exprFor (QuantifiedExpression expr) { Satisfies.Quantifier quantifier = expr.getOperator() == Token.SOME ? Quantifier.SOME : Quantifier.EVERY; return new Satisfies(quantifier, new Variable(qnameFor(expr.getVariableQName())), exprFor(expr.getSequence()), exprFor (expr.getAction())); }
if (getOperator() == Token.SOME) { return SystemFunction.makeCall("exists", getRetainedStaticContext(), getSequence()); } else { if (getOperator() == Token.SOME) { Expression e2 = new Literal(BooleanValue.FALSE); ExpressionTool.copyLocationInfo(this, e2); int len = seq.getLength(); if (len == 0) { Expression e2 = new Literal(BooleanValue.get(getOperator() == Token.EVERY)); ExpressionTool.copyLocationInfo(this, e2); return e2;
if (getOperator() == Token.SOME) { return SystemFunction.makeCall("exists", getRetainedStaticContext(), getSequence()); } else { if (getOperator() == Token.SOME) { Expression e2 = new Literal(BooleanValue.FALSE); ExpressionTool.copyLocationInfo(this, e2); int len = seq.getLength(); if (len == 0) { Expression e2 = new Literal(BooleanValue.get(getOperator() == Token.EVERY)); ExpressionTool.copyLocationInfo(this, e2); return e2;