public interface Num
Modifier and Type | Method and Description |
---|---|
java.lang.Double |
getNum()
Returns the singleton number value, or null if definitely not a singleton number.
|
boolean |
isInf()
Returns true if this value is definitely infinite.
|
boolean |
isMaybeAnyNum()
Returns true if this value is maybe any number.
|
boolean |
isMaybeAnyNumNotNaNInf()
Returns true if this value is maybe any number but not NaN or infinite.
|
boolean |
isMaybeFuzzyNum()
Returns true if this value is maybe a non-singleton number or NaN or +/-Inf.
|
boolean |
isMaybeInf()
Returns true if this value is maybe infinite.
|
boolean |
isMaybeNaN()
Returns true if this value is maybe NaN.
|
boolean |
isMaybeNum(double num)
Returns true if the given number is matched by this value.
|
boolean |
isMaybeNumOther()
Returns true if this value is maybe any non-UInt, non-Inf, and non-NaN number.
|
boolean |
isMaybeNumUInt()
Returns true if this value is maybe any UInt number.
|
boolean |
isMaybeNumUIntPos()
Returns true is this value may be any positive UInt32.
|
boolean |
isMaybeOtherThanNum()
Returns true if this value is maybe a non-number.
|
boolean |
isMaybeOtherThanNumUInt()
Returns true if this value is maybe a non-UInt-number.
|
boolean |
isMaybeSameNumber(Value v)
Returns true if this number value is maybe the same as the given one.
|
boolean |
isMaybeSameNumberWhenNegated(Value v)
Returns true if this number value is maybe the same as the given one when negated.
|
boolean |
isMaybeSingleNum()
Returns true if this value is maybe a singleton number, excluding NaN and +/-Inf.
|
boolean |
isMaybeSingleNumUInt()
Returns true if this value is maybe a singleton UInt number.
|
boolean |
isMaybeZero()
Returns true is this value may be the number 0.
|
boolean |
isNaN()
Returns true if this value is definitely NaN.
|
boolean |
isNotNum()
Returns true if this value is definitely not a number.
|
Value |
joinAnyNum()
Constructs a value as the join of this value and any number.
|
Value |
joinAnyNumOther()
Constructs a value as the join of this value and any non-UInt number (excluding NaN and +/-Infinity).
|
Value |
joinAnyNumUInt()
Constructs a value as the join of this value and any UInt number.
|
Value |
joinNum(double v)
Constructs a value as the join of this value and the given concrete number.
|
Value |
joinNumInf()
Constructs a value as the join of this value and +/-Inf.
|
Value |
joinNumNaN()
Constructs a value as the join of this value and NaN.
|
Value |
restrictToNotInf()
Constructs a value as a copy of this value but definitely not +/- Infinity.
|
Value |
restrictToNotNaN()
Constructs a value as a copy of this value but definitely not NaN.
|
Value |
restrictToNotNum()
Constructs a value from this value but definitely not a number.
|
Value |
restrictToNotNumInf()
Constructs a value from this value but definitely not +/- infinity.
|
Value |
restrictToNotNumOther()
Constructs a value from this value but definitely not an "other" number.
|
Value |
restrictToNotNumUInt()
Constructs a value from this value but definitely not a UInt number.
|
Value |
restrictToNotNumZero()
Constructs a value from this value but definitely not zero.
|
Value |
restrictToNum()
Constructs a value from this value where only the number facet is considered.
|
java.lang.Double getNum()
boolean isInf()
boolean isMaybeAnyNum()
boolean isMaybeAnyNumNotNaNInf()
boolean isMaybeFuzzyNum()
boolean isMaybeInf()
boolean isMaybeNaN()
boolean isMaybeNum(double num)
boolean isMaybeNumOther()
boolean isMaybeNumUInt()
boolean isMaybeNumUIntPos()
boolean isMaybeOtherThanNum()
boolean isMaybeOtherThanNumUInt()
boolean isMaybeSameNumber(Value v)
boolean isMaybeSameNumberWhenNegated(Value v)
boolean isMaybeSingleNum()
boolean isMaybeSingleNumUInt()
boolean isMaybeZero()
boolean isNaN()
boolean isNotNum()
Value joinAnyNum()
Value joinAnyNumOther()
Value joinAnyNumUInt()
Value joinNum(double v)
Value joinNumInf()
Value joinNumNaN()
Value restrictToNotInf()
Value restrictToNotNaN()
Value restrictToNotNum()
Value restrictToNotNumInf()
Value restrictToNotNumOther()
Value restrictToNotNumUInt()
Value restrictToNotNumZero()
Value restrictToNum()
Copyright © 2009-2019 Aarhus University