com.saxonica.ee.expr

Class SystemFunctionCallADJ

java.lang.Object

com.saxonica.ee.pattern.Adjunct

com.saxonica.ee.expr.ExpressionADJ

com.saxonica.ee.expr.SystemFunctionCallADJ

public class SystemFunctionCallADJ
extends ExpressionADJ

Field Summary

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

ci, expr

Constructor Summary

Constructors

Constructor and Description
SystemFunctionCallADJ(Expression e)

Method Summary

Methods

Modifier and Type	Method and Description
Expression	evaluateAgainstBoolean(Expression t, PatternOptimizationEE patternOptimization) Given an expression that is known to be true, produce a simplified version of this expression.
ExpressionADJ	getArg(int i)
int	getArity()
SystemFunction	getTargetFunction()
ExpressionADJ	important() Return the adjunct that is important for unification
Expression	interpolateVariables(RewriteContext rc) Intepolate variable values into this expression
Expression	optimizeForContextType(ContextItemStaticInfo contextItemType) Optimize a pattern with respect to a context item type
Adjunct	processRewrites(PatternOptimizationEE patternOptimization) process any rewrites for the attached expression or pattern
boolean	sameSignature(ExpressionADJ exp) Determine if this and another expression are calls to the same function and arity
Expression	unify(ExpressionADJ source, RewriteContext rc) Unify this expression against another expression
Set<RewriteContext>	unifyingBindings(ExpressionADJ source, RewriteContext rc) Unify this expression against another expression

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

applyAxis, copyLocationInfo, export, getOperandPreconditions, getOperandPreconditions, getPreconditions, getPreconditions, getRetainedStaticContext, interpolateVariablesOperands, isCallOn, optimizeForName, optimizeForType, optimizeOperandsForContextType, sameClass, unifyOperandBindings, unifyOperands

Methods inherited from class com.saxonica.ee.pattern.Adjunct

getExpressionAdjunct, getNodeTestAdjunct, getPatternAdjunct, index

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SystemFunctionCallADJ

public SystemFunctionCallADJ(Expression e)

Method Detail

getArity

public int getArity()

getTargetFunction

public SystemFunction getTargetFunction()

getArg

public ExpressionADJ getArg(int i)

evaluateAgainstBoolean

public Expression evaluateAgainstBoolean(Expression t,
                                PatternOptimizationEE patternOptimization)

Description copied from class: ExpressionADJ

Given an expression that is known to be true, produce a simplified version of this expression. For example, if this expression is A[@x = 3], and the expression known to be true is (@x = 3), then this method might return A.

Overrides:

evaluateAgainstBoolean in class ExpressionADJ

Parameters:

t - the expression assumed to be true.

Returns:

a possibly modified 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.

sameSignature

public boolean sameSignature(ExpressionADJ exp)

Determine if this and another expression are calls to the same function and arity

Parameters:

exp - the adjunct for the expression to be compared

Returns:

true if both call the same function#arity

unifyingBindings

public Set<RewriteContext> unifyingBindings(ExpressionADJ source,
                                   RewriteContext rc)

Description copied from class: ExpressionADJ

Unify this expression against another expression

Overrides:

unifyingBindings in class ExpressionADJ

Parameters:

source - the expression to be unified against

rc - the evaluation context to use (which may be side-effected)

Returns:

a set of rewrite context bindings if it can unify, otherwise null

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

processRewrites

public Adjunct processRewrites(PatternOptimizationEE patternOptimization)

Description copied from class: Adjunct

process any rewrites for the attached expression or pattern

Overrides:

processRewrites in class Adjunct

Parameters:

patternOptimization - definitions of pattern optimization controls

important

public ExpressionADJ important()

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'