com.saxonica.ee.expr

Class UnaryExpressionADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.UnaryExpressionADJ

Direct Known Subclasses:

AtomicSequenceConverterADJ, AtomizerADJ, CardinalityCheckerADJ, CastExpressionADJ, ItemCheckerADJ, SingletonAtomizerADJ

public class UnaryExpressionADJ
extends ExpressionADJ

Field Summary

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
UnaryExpressionADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
Set<Expression>	getPreconditions(PatternOptimizationEE patternOptimization) Get the preconditions for an expression
Expression	interpolateVariables(RewriteContext rc) Intepolate variable values into this expression
Expression	optimizeForContextType(ContextItemStaticInfo contextItemType) Optimize a pattern with respect to a context item type
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, 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

UnaryExpressionADJ

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

optimizeForContextType

public Expression optimizeForContextType(ContextItemStaticInfo contextItemType)

Description copied from class: ExpressionADJ

Optimize a pattern with respect to a context item type

Overrides:

optimizeForContextType in class ExpressionADJ

Parameters:

contextItemType - the type of the context item

Returns:

a modified expression or the expression itself.

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