com.saxonica.ee.expr

Class OrExpressionADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.BinaryExpressionADJ

com.saxonica.ee.expr.BooleanExpressionADJ

com.saxonica.ee.expr.OrExpressionADJ

public class OrExpressionADJ
extends BooleanExpressionADJ

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
OrExpressionADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
Set<Expression>	getPreconditions(PatternOptimizationEE patternOptimization) Get the preconditions for an expression
Set<IndexDefn.Indexation>	index(List<IndexDefn> idfl) find any indexable terms for the attached pattern or expression
Set<RewriteContext>	unifyingBindings(ExpressionADJ source, RewriteContext rc) Unify this expression against another expression

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

interpolateVariables, optimizeForContextType, processRewrites, unify, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

OrExpressionADJ

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

index

public Set<IndexDefn.Indexation> index(List<IndexDefn> idfl)

Description copied from class: Adjunct

find any indexable terms for the attached pattern or expression

Overrides:

index in class Adjunct

Parameters:

idfl - definitions of indexation directives

Returns:

unifyingBindings

public Set<RewriteContext> unifyingBindings(ExpressionADJ source,
                                   RewriteContext rc)

Description copied from class: ExpressionADJ

Unify this expression against another expression

Overrides:

unifyingBindings in class BinaryExpressionADJ

Parameters:

source - the expression to be unified against

rc - the evaluation context to use (which may be side-effected)

Returns:

a set of rewrite context bindings if it can unify, otherwise null