com.saxonica.ee.expr

Class FilterExpressionADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.BinaryExpressionADJ

com.saxonica.ee.expr.FilterExpressionADJ

public class FilterExpressionADJ
extends BinaryExpressionADJ

Field Summary

Fields inherited from class com.saxonica.ee.expr.BinaryExpressionADJ

lhs, lhsADJ, op, rhs, rhsADJ

Fields inherited from class com.saxonica.ee.expr.ExpressionADJ

ci, expr

Constructor Summary

Constructors

Constructor and Description
FilterExpressionADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
Set<Expression>	getPreconditions(PatternOptimizationEE patternOptimization) Get the preconditions for an expression
Expression	ZZunify(ExpressionADJ source, RewriteContext rc) Unify against a pattern - there is special treatment if the LH is a variable reference

Methods inherited from class com.saxonica.ee.expr.BinaryExpressionADJ

interpolateVariables, optimizeForContextType, processRewrites, unify, unifyingBindings, updated

Methods inherited from class com.saxonica.ee.expr.ExpressionADJ

applyAxis, copyLocationInfo, evaluateAgainstBoolean, export, getOperandPreconditions, getOperandPreconditions, getPreconditions, getRetainedStaticContext, important, interpolateVariablesOperands, isCallOn, optimizeForName, optimizeForType, optimizeOperandsForContextType, sameClass, unifyOperandBindings, unifyOperands

Methods inherited from class com.saxonica.ee.pattern.Adjunct

getExpressionAdjunct, getNodeTestAdjunct, getPatternAdjunct, index

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FilterExpressionADJ

public FilterExpressionADJ(Expression e)

Method Detail

getPreconditions

public Set<Expression> getPreconditions(PatternOptimizationEE patternOptimization)

Description copied from class: ExpressionADJ

Get the preconditions for an expression

Note that as a Pattern is a subclass of Expression, we need different named functions for each type.

Overrides:

getPreconditions in class BinaryExpressionADJ

Returns:

a set of precondition expressions for this expression

ZZunify

public Expression ZZunify(ExpressionADJ source,
                 RewriteContext rc)

Unify against a pattern - there is special treatment if the LH is a variable reference

Parameters:

source -

rc -

Returns: