com.saxonica.ee.expr

Class VariableReferenceADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.VariableReferenceADJ

public class VariableReferenceADJ
extends ExpressionADJ

Field Summary

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
VariableReferenceADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
Expression	interpolateVariables(RewriteContext rc) When we interpolate a variable reference, we pull the stored value from the slot.
Expression	unify(ExpressionADJ source, RewriteContext rc) When we unify an unbound variable reference with something, we bind to that something held in an appropriate slot

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

VariableReferenceADJ

public VariableReferenceADJ(Expression e)

Method Detail

unify

public Expression unify(ExpressionADJ source,
               RewriteContext rc)

When we unify an unbound variable reference with something, we bind to that something held in an appropriate slot

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:

interpolateVariables

public Expression interpolateVariables(RewriteContext rc)

When we interpolate a variable reference, we pull the stored value from the slot. Naturally we anticipate that the slot has already been filled, by a previous unification

Overrides:

interpolateVariables in class ExpressionADJ

Parameters:

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

Returns: