com.saxonica.ee.expr

Class SlashExpressionADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.BinaryExpressionADJ

com.saxonica.ee.expr.SlashExpressionADJ

Direct Known Subclasses:

SimpleStepExpressionADJ

public class SlashExpressionADJ
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
SlashExpressionADJ(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.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

SlashExpressionADJ

public SlashExpressionADJ(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