Package net.sf.saxon.expr
Class GeneralComparison
java.lang.Object
net.sf.saxon.expr.Expression
net.sf.saxon.expr.BinaryExpression
net.sf.saxon.expr.GeneralComparison
- All Implemented Interfaces:
Serializable,SourceLocator,LocationProvider,SaxonLocator,ComparisonExpression,EvaluableItem,SequenceIterable,InstructionInfo,Locator
GeneralComparison: a boolean expression that compares two expressions
for equals, not-equals, greater-than or less-than. This implements the operators
=, !=, invalid input: '<', >, etc. This implementation is not used when in backwards-compatible mode
- See Also:
-
Field Summary
FieldsFields inherited from class net.sf.saxon.expr.BinaryExpression
operand0, operand1, operatorFields inherited from class net.sf.saxon.expr.Expression
EVALUATE_METHOD, ITERATE_METHOD, locationId, PROCESS_METHOD, staticProperties -
Constructor Summary
ConstructorsConstructorDescriptionGeneralComparison(Expression p0, int op, Expression p1) Create a relational expression identifying the two operands and the operator -
Method Summary
Modifier and TypeMethodDescriptionprotected static booleancompare(AtomicValue a1, int operator, AtomicValue a2, AtomicComparer comparer, XPathContext context) Compare two atomic valuesintDetermine the static cardinality.booleanDetermine whether untyped atomic values should be converted to the type of the other operandcopy()Copy an expression.protected StringbooleaneffectiveBooleanValue(XPathContext context) Evaluate the expression in a boolean contextevaluateItem(XPathContext context) Evaluate the expression in a given contextGet the AtomicComparer used to compare atomic values.protected GeneralComparisonDetermine the data type of the expressionintGet the primitive (singleton) operator used: one of Token.FEQ, Token.FNE, Token.FLT, Token.FGT, Token.FLE, Token.FGEoptimize(ExpressionVisitor visitor, ItemType contextItemType) Optimize the expressiontypeCheck(ExpressionVisitor visitor, ItemType contextItemType) Type-check the expressionMethods inherited from class net.sf.saxon.expr.BinaryExpression
computeSpecialProperties, equals, explain, getOperands, getOperator, hashCode, isAssociative, isCommutative, isInverse, iterateSubExpressions, promote, replaceSubExpression, setFlattened, simplify, toStringMethods inherited from class net.sf.saxon.expr.Expression
addToPathMap, adoptChildExpression, checkForUpdatingSubexpressions, checkPermittedContents, computeDependencies, computeStaticProperties, display, doPromotion, dynamicError, evaluateAsString, evaluatePendingUpdates, explain, findParentOf, getCardinality, getColumnNumber, getColumnNumber, getConstructType, getContainer, getDependencies, getExecutable, getHostLanguage, getImplementationMethod, getIntrinsicDependencies, getLineNumber, getLineNumber, getLocationId, getLocationProvider, getObjectName, getProperties, getProperty, getPublicId, getSlotsUsed, getSpecialProperties, getSystemId, getSystemId, hasLoopingSubexpression, implementsStaticTypeCheck, isUpdatingExpression, iterate, iterateEvents, markTailFunctionCalls, process, resetLocalStaticProperties, setContainer, setFiltered, setLocationId, staticTypeCheck, suppressValidation, typeErrorMethods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, waitMethods inherited from interface net.sf.saxon.expr.ComparisonExpression
getOperands
-
Field Details
-
singletonOperator
protected int singletonOperator -
comparer
-
-
Constructor Details
-
GeneralComparison
Create a relational expression identifying the two operands and the operator- Parameters:
p0- the left-hand operandop- the operator, as a token returned by the Tokenizer (e.g. Token.LT)p1- the right-hand operand
-
-
Method Details
-
getAtomicComparer
Get the AtomicComparer used to compare atomic values. This encapsulates any collation that is used- Specified by:
getAtomicComparerin interfaceComparisonExpression
-
getSingletonOperator
public int getSingletonOperator()Get the primitive (singleton) operator used: one of Token.FEQ, Token.FNE, Token.FLT, Token.FGT, Token.FLE, Token.FGE- Specified by:
getSingletonOperatorin interfaceComparisonExpression
-
convertsUntypedToOther
public boolean convertsUntypedToOther()Determine whether untyped atomic values should be converted to the type of the other operand- Specified by:
convertsUntypedToOtherin interfaceComparisonExpression- Returns:
- true if untyped values should be converted to the type of the other operand, false if they should be converted to strings.
-
computeCardinality
public int computeCardinality()Determine the static cardinality. Returns [1..1]- Overrides:
computeCardinalityin classBinaryExpression- Returns:
- the computed cardinality, as one of the values
StaticProperty.ALLOWS_ZERO_OR_ONE,StaticProperty.EXACTLY_ONE,StaticProperty.ALLOWS_ONE_OR_MORE,StaticProperty.ALLOWS_ZERO_OR_MORE
-
typeCheck
public Expression typeCheck(ExpressionVisitor visitor, ItemType contextItemType) throws XPathException Type-check the expression- Overrides:
typeCheckin classBinaryExpression- Parameters:
visitor- an expression visitorcontextItemType- the static type of "." at the point where this expression is invoked. The parameter is set to null if it is known statically that the context item will be undefined. If the type of the context item is not known statically, the argument is set toType.ITEM_TYPE- Returns:
- the checked expression
- Throws:
XPathException- if an error is discovered during this phase (typically a type error)
-
optimize
public Expression optimize(ExpressionVisitor visitor, ItemType contextItemType) throws XPathException Optimize the expression- Overrides:
optimizein classBinaryExpression- Parameters:
visitor- an expression visitorcontextItemType- the static type of "." at the point where this expression is invoked. The parameter is set to null if it is known statically that the context item will be undefined. If the type of the context item is not known statically, the argument is set toType.ITEM_TYPE- Returns:
- the checked expression
- Throws:
XPathException- if an error is discovered during this phase (typically a type error)
-
copy
Copy an expression. This makes a deep copy.- Specified by:
copyin classExpression- Returns:
- the copy of the original expression
-
evaluateItem
Evaluate the expression in a given context- Specified by:
evaluateItemin interfaceEvaluableItem- Overrides:
evaluateItemin classExpression- Parameters:
context- the given context for evaluation- Returns:
- a BooleanValue representing the result of the numeric comparison of the two operands
- Throws:
XPathException- if any dynamic error occurs evaluating the expression
-
effectiveBooleanValue
Evaluate the expression in a boolean context- Overrides:
effectiveBooleanValuein classExpression- Parameters:
context- the given context for evaluation- Returns:
- a boolean representing the result of the numeric comparison of the two operands
- Throws:
XPathException- if any dynamic error occurs evaluating the expression
-
compare
protected static boolean compare(AtomicValue a1, int operator, AtomicValue a2, AtomicComparer comparer, XPathContext context) throws XPathException Compare two atomic values- Parameters:
a1- the first valueoperator- the operator, for exampleToken.EQUALSa2- the second valuecomparer- the comparer to be used to perform the comparisoncontext- the XPath evaluation context- Returns:
- true if the comparison succeeds
- Throws:
XPathException
-
getItemType
Determine the data type of the expression- Specified by:
getItemTypein classExpression- Parameters:
th- the type hierarchy cache- Returns:
- the value BuiltInAtomicType.BOOLEAN
-
getInverseComparison
-
displayOperator
- Overrides:
displayOperatorin classBinaryExpression
-