com.saxonica.ee.expr

Class AxisExpressionADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.AxisExpressionADJ

public class AxisExpressionADJ
extends ExpressionADJ

Field Summary

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
AxisExpressionADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
byte	getAxis()
NodeTest	getNodeTest()
Set<Expression>	getPreconditions(PatternOptimizationEE patternOptimization) Get the preconditions for an 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, getRetainedStaticContext, important, interpolateVariables, 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

AxisExpressionADJ

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

getAxis

public byte getAxis()

getNodeTest

public NodeTest getNodeTest()

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