Package net.sf.saxon.value
Class IntegerValue
java.lang.Object
net.sf.saxon.value.AtomicValue
net.sf.saxon.value.NumericValue
net.sf.saxon.value.DecimalValue
net.sf.saxon.value.IntegerValue
- All Implemented Interfaces:
Comparable<XPathComparable>
,Iterable<AtomicValue>
,AtomicMatchKey
,XPathComparable
,AtomicSequence
,GroundedValue
,IdentityComparable
,Item
,Sequence
,ConversionResult
,ContextFreeAtomicValue
- Direct Known Subclasses:
BigIntegerValue
,Int64Value
This class represents the XPath built-in type xs:integer. It is used for all
subtypes of xs:integer, other than user-defined subtypes. There are two implementations
of IntegerValue:
Int64Value
, which accommodates values up to 2^63, and
BigIntegerValue
, which accommodates unlimited-length integers.- Since:
- 9.8: changed in 9.8 to make this class a subclass of the new abstract class DecimalValue, to better reflect the XDM type hierarchy
-
Field Summary
Fields inherited from class net.sf.saxon.value.AtomicValue
typeLabel
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionabstract BigInteger
Get the value as a BigIntegerstatic ValidationFailure
castableAsInteger
(UnicodeString input) Determine whether a string is castable as an integerstatic boolean
checkBigRange
(BigInteger big, BuiltInAtomicType type) Check that a BigInteger is within the required range for a given integer subtype.static boolean
checkRange
(long value, BuiltInAtomicType type) Check that a value is in range for the specified subtype of xs:integerabstract NumericValue
div
(IntegerValue other) Divide by another integerdiv
(IntegerValue other, Location locator) Divide by another integer, providing location information for any exceptionstatic ConversionResult
fromDouble
(double value) Convert a double to an integerabstract BigDecimal
Get the numeric value converted to a decimalstatic IntegerValue
Get the maxInclusive facet for a built-in integer subtypestatic IntegerValue
Get the minInclusive facet for a built-in integer subtypeDetermine the primitive type of the value.abstract IntegerValue
idiv
(IntegerValue other) Integer divide by another integeridiv
(IntegerValue other, Location locator) Integer divide by another integer, providing location information for any exceptionboolean
Determine whether two atomic values are identical, as determined by XML Schema rules.boolean
Determine whether the value is a whole number, that is, whether it compares equal to some integerstatic IntegerValue
makeIntegerValue
(BigInteger value) Factory method: makes either an Int64Value or a BigIntegerValue depending on the value suppliedabstract IntegerValue
minus
(IntegerValue other) Subtract another integerabstract IntegerValue
mod
(IntegerValue other) Take modulo another integermod
(IntegerValue other, Location locator) Take modulo another integer, providing location information for any exceptionabstract IntegerValue
plus
(IntegerValue other) Add another integerprotected static int
signum
(int i) Get the signum of an intstatic ConversionResult
Static factory method to convert strings to integers.abstract IntegerValue
times
(IntegerValue other) Multiply by another integerabstract ValidationFailure
This class allows subtypes of xs:integer to be held, as well as xs:integer values.Methods inherited from class net.sf.saxon.value.NumericValue
abs, asSubscript, ceiling, compareTo, compareTo, effectiveBooleanValue, equals, floor, getDoubleValue, getFloatValue, getXPathComparable, getXPathComparable, getXPathMatchKey, hashCode, isInteger, isNegativeZero, longValue, negate, parseNumber, round, round, show, signum
Methods inherited from class net.sf.saxon.value.AtomicValue
asAtomic, asMapKey, atomize, checkPermittedContents, checkValidInJavascript, copyAsSubType, getCanonicalLexicalRepresentation, getCardinality, getComponent, getGenre, getItemType, getLength, getPrimitiveStringValue, getUnicodeStringValue, getUType, head, identityHashCode, isIdentical, isNaN, isUntypedAtomic, itemAt, iterate, iterator, toShortString, toString
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface net.sf.saxon.expr.sort.AtomicMatchKey
asAtomic
Methods inherited from interface net.sf.saxon.om.GroundedValue
asIterable, concatenate, containsNode, materialize
Methods inherited from interface net.sf.saxon.om.Item
getStringValue, isStreamed, reduce, subsequence
Methods inherited from interface java.lang.Iterable
forEach, spliterator
Methods inherited from interface net.sf.saxon.om.Sequence
makeRepeatable
-
Constructor Details
-
IntegerValue
-
-
Method Details
-
makeIntegerValue
Factory method: makes either an Int64Value or a BigIntegerValue depending on the value supplied- Parameters:
value
- the supplied integer value- Returns:
- the value as a BigIntegerValue or Int64Value as appropriate
-
fromDouble
Convert a double to an integer- Parameters:
value
- the double to be converted- Returns:
- the result of the conversion, or the validation failure if the input is NaN or infinity
-
validateAgainstSubType
This class allows subtypes of xs:integer to be held, as well as xs:integer values. This method sets the required type label. Note that this method modifies the value in situ.- Parameters:
type
- the subtype of integer required- Returns:
- null if the operation succeeds, or a ValidationException if the value is out of range
-
checkRange
Check that a value is in range for the specified subtype of xs:integer- Parameters:
value
- the value to be checkedtype
- the required item type, a subtype of xs:integer- Returns:
- true if successful, false if value is out of range for the subtype
-
getMinInclusive
Get the minInclusive facet for a built-in integer subtype- Parameters:
type
- the built-in type, which must be derived from xs:integer- Returns:
- the value of the minInclusive facet if there is a lower limit, or null if not
-
getMaxInclusive
Get the maxInclusive facet for a built-in integer subtype- Parameters:
type
- the built-in type, which must be derived from xs:integer- Returns:
- the value of the minInclusive facet if there is a lower limit, or null if not
-
checkBigRange
Check that a BigInteger is within the required range for a given integer subtype. This method is expensive, so it should not be used unless the BigInteger is outside the range of a long.- Parameters:
big
- the supplied BigIntegertype
- the derived type (a built-in restriction of xs:integer) to check the value against- Returns:
- true if the value is within the range for the derived type
-
stringToInteger
Static factory method to convert strings to integers.- Parameters:
s
- the string to be converted- Returns:
- either an Int64Value or a BigIntegerValue representing the value of the String, or a ValidationFailure encapsulating an Exception if the value cannot be converted.
-
castableAsInteger
Determine whether a string is castable as an integer- Parameters:
input
- the string to be tested- Returns:
- null if the string is castable to an integer, or a validation failure otherwise
-
getPrimitiveType
Determine the primitive type of the value. This delivers the same answer as getItemType().getPrimitiveItemType(). The primitive types are the 19 primitive types of XML Schema, plus xs:integer, xs:dayTimeDuration and xs:yearMonthDuration, and xs:untypedAtomic. For external objects, the result is AnyAtomicType.- Specified by:
getPrimitiveType
in classAtomicValue
- Returns:
- the primitive type
-
getDecimalValue
Get the numeric value converted to a decimal- Specified by:
getDecimalValue
in classDecimalValue
- Returns:
- a decimal representing this numeric value;
-
isWholeNumber
public boolean isWholeNumber()Determine whether the value is a whole number, that is, whether it compares equal to some integer- Specified by:
isWholeNumber
in classNumericValue
- Returns:
- always true for this implementation
-
plus
Add another integer- Parameters:
other
- the other integer- Returns:
- the result of the addition
-
minus
Subtract another integer- Parameters:
other
- the other integer- Returns:
- the result of the subtraction
-
times
Multiply by another integer- Parameters:
other
- the other integer- Returns:
- the result of the multiplication
-
div
Divide by another integer- Parameters:
other
- the other integer- Returns:
- the result of the division
- Throws:
XPathException
- if the other integer is zero
-
div
Divide by another integer, providing location information for any exception- Parameters:
other
- the other integerlocator
- the location of the expression, for use in diagnostics- Returns:
- the result of the division
- Throws:
XPathException
- if the other integer is zero
-
mod
Take modulo another integer- Parameters:
other
- the other integer- Returns:
- the result of the modulo operation (the remainder)
- Throws:
XPathException
- if the other integer is zero
-
mod
Take modulo another integer, providing location information for any exception- Parameters:
other
- the other integerlocator
- the location of the expression, for use in diagnostics- Returns:
- the result of the division
- Throws:
XPathException
- if the other integer is zero
-
idiv
Integer divide by another integer- Parameters:
other
- the other integer- Returns:
- the result of the integer division
- Throws:
XPathException
- if the other integer is zero
-
idiv
Integer divide by another integer, providing location information for any exception- Parameters:
other
- the other integerlocator
- the location of the expression, for use in diagnostics- Returns:
- the result of the division
- Throws:
XPathException
- if the other integer is zero
-
asBigInteger
Get the value as a BigInteger- Returns:
- the value, as a BigInteger
-
signum
protected static int signum(int i) Get the signum of an int- Parameters:
i
- the int- Returns:
- -1 if the integer is negative, 0 if it is zero, +1 if it is positive
-
isIdentical
Determine whether two atomic values are identical, as determined by XML Schema rules. This is a stronger test than equality (even schema-equality); for example two dateTime values are not identical unless they are in the same timezone.Note that even this check ignores the type annotation of the value. The integer 3 and the short 3 are considered identical, even though they are not fully interchangeable. "Identical" means the same point in the value space, regardless of type annotation.
NaN is identical to itself.
- Overrides:
isIdentical
in classAtomicValue
- Parameters:
v
- the other value to be compared with this one- Returns:
- true if the two values are identical, false otherwise.
-