com.saxonica.ee.expr

Class BlockADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.BlockADJ

public class BlockADJ
extends ExpressionADJ

Field Summary

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
BlockADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
Expression	interpolateVariables(RewriteContext rc) Intepolate variable values into this expression
Expression	unify(ExpressionADJ source, RewriteContext rc) Unify this expression against another expression

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

applyAxis, copyLocationInfo, evaluateAgainstBoolean, export, getOperandPreconditions, getOperandPreconditions, getPreconditions, getPreconditions, getRetainedStaticContext, important, interpolateVariablesOperands, isCallOn, optimizeForContextType, optimizeForName, optimizeForType, optimizeOperandsForContextType, sameClass, 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

BlockADJ

public BlockADJ(Expression e)

Method Detail

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

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