public class ComparisonADJ extends BinaryExpressionADJ
ci, expr| Constructor and Description |
|---|
ComparisonADJ(Expression e) |
| Modifier and Type | Method and Description |
|---|---|
Set<Expression> |
getPreconditions(PatternOptimizationEE patternOptimization)
Find any necessary preconditions for the satisfaction of this expression
in either GeneralComparison or ValueComparison
as a set of boolean expressions to be evaluated on the context node
|
interpolateVariables, optimizeForContextType, processRewrites, unify, unifyingBindings, updatedapplyAxis, copyLocationInfo, evaluateAgainstBoolean, export, getOperandPreconditions, getOperandPreconditions, getPreconditions, getRetainedStaticContext, important, interpolateVariablesOperands, isCallOn, optimizeForName, optimizeForType, optimizeOperandsForContextType, sameClass, unifyOperandBindings, unifyOperandsgetExpressionAdjunct, getNodeTestAdjunct, getPatternAdjunct, indexpublic ComparisonADJ(Expression e)
public Set<Expression> getPreconditions(PatternOptimizationEE patternOptimization)
getPreconditions in class BinaryExpressionADJCopyright (c) 2004-2014 Saxonica Limited. All rights reserved.