com.saxonica.ee.expr

Class WhichOfADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.WhichOfADJ

public class WhichOfADJ
extends ExpressionADJ

Field Summary

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
WhichOfADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
Set<Expression>	getPreconditions(PatternOptimizationEE patternOptimization) Get the preconditions for an expression

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

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

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

getExpressionAdjunct, getNodeTestAdjunct, getPatternAdjunct, index, processRewrites

Methods inherited from class java.lang.Object

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

Constructor Detail

WhichOfADJ

public WhichOfADJ(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 ExpressionADJ

Returns:

a set of precondition expressions for this expression