com.saxonica.ee.expr

Class CardinalityCheckerADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.UnaryExpressionADJ

com.saxonica.ee.expr.CardinalityCheckerADJ

public class CardinalityCheckerADJ
extends UnaryExpressionADJ

Description for class

Field Summary

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
CardinalityCheckerADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
ExpressionADJ	important() Return the adjunct that is important for unification

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

getPreconditions, interpolateVariables, optimizeForContextType, unify

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

CardinalityCheckerADJ

public CardinalityCheckerADJ(Expression e)

Method Detail

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'