com.saxonica.ee.expr

Class ItemCheckerADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.UnaryExpressionADJ

com.saxonica.ee.expr.ItemCheckerADJ

public class ItemCheckerADJ
extends UnaryExpressionADJ

Field Summary

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
ItemCheckerADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
ExpressionADJ	important() Return the adjunct that is important for unification
Expression	optimizeForContextType(ContextItemStaticInfo contextItemType) When we have the context item being checked and the types match, the check can be removed.
Expression	unify(ExpressionADJ source, RewriteContext rc) This is transparent as far as unification is concerned

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

getPreconditions, interpolateVariables

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

applyAxis, copyLocationInfo, evaluateAgainstBoolean, export, getOperandPreconditions, getOperandPreconditions, getPreconditions, getRetainedStaticContext, interpolateVariablesOperands, isCallOn, 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

ItemCheckerADJ

public ItemCheckerADJ(Expression e)

Method Detail

optimizeForContextType

public Expression optimizeForContextType(ContextItemStaticInfo contextItemType)

When we have the context item being checked and the types match, the check can be removed.

Overrides:

optimizeForContextType in class UnaryExpressionADJ

Parameters:

contextItemType -

Returns:

unify

public Expression unify(ExpressionADJ source,
               RewriteContext rc)

This is transparent as far as unification is concerned

Overrides:

unify in class UnaryExpressionADJ

Parameters:

source -

rc -

Returns:

important

public ExpressionADJ important()

Description copied from class: ExpressionADJ

Return the adjunct that is important for unification

Overrides:

important in class ExpressionADJ

Returns:

this adjunct, or the important adjunct of a child adjunct if this is deemed 'transparent'