com.saxonica.ee.expr

Class BinaryExpressionADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.BinaryExpressionADJ

Direct Known Subclasses:

BooleanExpressionADJ, ComparisonADJ, FilterExpressionADJ, SlashExpressionADJ

public class BinaryExpressionADJ
extends ExpressionADJ

Field Summary

Fields

Modifier and Type	Field and Description
protected Expression	lhs
protected ExpressionADJ	lhsADJ
protected int	op
protected Expression	rhs
protected ExpressionADJ	rhsADJ

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
BinaryExpressionADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
Set<Expression>	getPreconditions(PatternOptimizationEE patternOptimization) Get the preconditions for an expression
Expression	interpolateVariables(RewriteContext rc) Intepolate variable values into this expression
Expression	optimizeForContextType(ContextItemStaticInfo contextItemType) Optimize a pattern with respect to a context item type
Adjunct	processRewrites(PatternOptimizationEE patternOptimization) process any rewrites for this pattern
Expression	unify(ExpressionADJ source, RewriteContext rc) Unify this expression against another expression
Set<RewriteContext>	unifyingBindings(ExpressionADJ source, RewriteContext rc) Unify this expression against another expression
Adjunct	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

Field Detail

lhs

protected Expression lhs

rhs

protected Expression rhs

lhsADJ

protected ExpressionADJ lhsADJ

rhsADJ

protected ExpressionADJ rhsADJ

op

protected int op

Constructor Detail

BinaryExpressionADJ

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

optimizeForContextType

public Expression optimizeForContextType(ContextItemStaticInfo contextItemType)

Description copied from class: ExpressionADJ

Optimize a pattern with respect to a context item type

Overrides:

optimizeForContextType in class ExpressionADJ

Parameters:

contextItemType - the type of the context item

Returns:

a modified expression or the expression itself.

unify

public Expression unify(ExpressionADJ source,
               RewriteContext rc)

Description copied from class: ExpressionADJ

Unify this expression against another expression

Overrides:

unify in class ExpressionADJ

Parameters:

source - the expression to be unified against

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

Returns:

a unified expression if it can unify, otherwise null

unifyingBindings

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

Description copied from class: ExpressionADJ

Unify this expression against another expression

Overrides:

unifyingBindings in class ExpressionADJ

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

interpolateVariables

public Expression interpolateVariables(RewriteContext rc)

Description copied from class: ExpressionADJ

Intepolate variable values into this expression

Overrides:

interpolateVariables in class ExpressionADJ

Parameters:

rc - the evaluation context (which contains any variable bindings)

Returns:

a possibly modified expression with variable values interpolated

processRewrites

public Adjunct processRewrites(PatternOptimizationEE patternOptimization)

process any rewrites for this pattern

Overrides:

processRewrites in class Adjunct

Parameters:

patternOptimization - definitions of pattern optimization controls

updated

public Adjunct updated()