Package net.sf.saxon.expr
Class ArithmeticExpression
- java.lang.Object
-
- net.sf.saxon.expr.Expression
-
- net.sf.saxon.expr.BinaryExpression
-
- net.sf.saxon.expr.ArithmeticExpression
-
- All Implemented Interfaces:
java.io.Serializable
,javax.xml.transform.SourceLocator
,LocationProvider
,SaxonLocator
,EvaluableItem
,SequenceIterable
,InstructionInfo
,org.xml.sax.Locator
public class ArithmeticExpression extends BinaryExpression
Arithmetic Expression: an expression using one of the operators plus, minus, multiply, div, idiv, mod. Note that this code does not handle backwards compatibility mode: seeArithmeticExpression10
- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class net.sf.saxon.expr.BinaryExpression
operand0, operand1, operator
-
Fields inherited from class net.sf.saxon.expr.Expression
EVALUATE_METHOD, ITERATE_METHOD, locationId, PROCESS_METHOD, staticProperties
-
-
Constructor Summary
Constructors Constructor Description ArithmeticExpression(Expression p0, int operator, Expression p1)
Create an arithmetic expression
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static AtomicValue
compute(AtomicValue value0, int operator, AtomicValue value1, XPathContext context)
Static method to apply arithmetic to two valuesExpression
copy()
Copy an expression.Item
evaluateItem(XPathContext context)
Evaluate the expression.Calculator
getCalculator()
Get the calculator allocated to evaluate this expressionItemType
getItemType(TypeHierarchy th)
Determine the data type of the expression, insofar as this is known staticallystatic int
mapOpCode(int op)
Map operator codes from those in the Token class to those in the Calculator classExpression
simplify(ExpressionVisitor visitor)
Simplify an expressionExpression
typeCheck(ExpressionVisitor visitor, ItemType contextItemType)
Type-check the expression statically.-
Methods inherited from class net.sf.saxon.expr.BinaryExpression
computeCardinality, computeSpecialProperties, displayOperator, equals, explain, getOperands, getOperator, hashCode, isAssociative, isCommutative, isInverse, iterateSubExpressions, optimize, promote, replaceSubExpression, setFlattened, toString
-
Methods inherited from class net.sf.saxon.expr.Expression
addToPathMap, adoptChildExpression, checkForUpdatingSubexpressions, checkPermittedContents, computeDependencies, computeStaticProperties, display, doPromotion, dynamicError, effectiveBooleanValue, 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, typeError
-
-
-
-
Constructor Detail
-
ArithmeticExpression
public ArithmeticExpression(Expression p0, int operator, Expression p1)
Create an arithmetic expression- Parameters:
p0
- the first operandoperator
- the operator, for exampleToken.PLUS
p1
- the second operand
-
-
Method Detail
-
simplify
public Expression simplify(ExpressionVisitor visitor) throws XPathException
Description copied from class:BinaryExpression
Simplify an expression- Overrides:
simplify
in classBinaryExpression
- Parameters:
visitor
- an expression visitor- Returns:
- the simplified expression
- Throws:
XPathException
- if an error is discovered during expression rewriting
-
getCalculator
public Calculator getCalculator()
Get the calculator allocated to evaluate this expression- Returns:
- the calculator, a helper object that does the actual calculation
-
typeCheck
public Expression typeCheck(ExpressionVisitor visitor, ItemType contextItemType) throws XPathException
Type-check the expression statically. We try to work out which particular arithmetic function to use if the types of operands are known an compile time.- Overrides:
typeCheck
in 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 original expression, rewritten to perform necessary run-time type checks, and to perform other type-related optimizations
- Throws:
XPathException
- if an error is discovered during this phase (typically a type error)
-
copy
public Expression copy()
Copy an expression. This makes a deep copy.- Specified by:
copy
in classExpression
- Returns:
- the copy of the original expression
-
compute
public static AtomicValue compute(AtomicValue value0, int operator, AtomicValue value1, XPathContext context) throws XPathException
Static method to apply arithmetic to two values- Parameters:
value0
- the first valueoperator
- the operator as denoted in the Calculator class, for exampleCalculator.PLUS
value1
- the second valuecontext
- the XPath dynamic evaluation context- Returns:
- the result of the arithmetic operation
- Throws:
XPathException
-
mapOpCode
public static int mapOpCode(int op)
Map operator codes from those in the Token class to those in the Calculator class- Parameters:
op
- an operator denoted by a constant in theToken
class, for exampleToken.PLUS
- Returns:
- an operator denoted by a constant defined in the
Calculator
class, for exampleCalculator.PLUS
-
getItemType
public ItemType getItemType(TypeHierarchy th)
Determine the data type of the expression, insofar as this is known statically- Specified by:
getItemType
in classExpression
- Parameters:
th
- the type hierarchy cache- Returns:
- the atomic type of the result of this arithmetic expression
-
evaluateItem
public Item evaluateItem(XPathContext context) throws XPathException
Evaluate the expression.- Specified by:
evaluateItem
in interfaceEvaluableItem
- Overrides:
evaluateItem
in classExpression
- Parameters:
context
- The context in which the expression is to be evaluated- Returns:
- the node or atomic value that results from evaluating the expression; or null to indicate that the result is an empty sequence
- Throws:
XPathException
- if any dynamic error occurs evaluating the expression
-
-