Num (TAJS)

All Known Implementing Classes:

Value
```
public interface Num
```
'Number' facet for abstract values.

Method Summary

Methods
Modifier and Type	Method and Description
`Double`	`getNum()` Returns the singleton number value, or null if definitely not a singleton number.
`boolean`	`isMaybeAnyNum()` Returns true if this value is maybe any number.
`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`	`isMaybeNumOther()` Returns true if this value is maybe any non-UInt, non-Inf, non-NaN number.
`boolean`	`isMaybeNumUInt()` Returns true if this value is maybe any UInt number.
`boolean`	`isMaybeOtherThanNum()` Returns true if this value is maybe a non-number.
`boolean`	`isMaybeOtherThanNumUInt()` Returns true if this value is maybe not an UInt-number.
`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`	`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 maybe any number.
`Value`	`joinAnyNumOther()` Constructs a value as the join of this value and maybe any non-UInt number (excluding NaN and +/-Infinity).
`Value`	`joinAnyNumUInt()` Constructs a value as the join of this value and maybe 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`	`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`	`restrictToNum()` Constructs a value from this value where only the number facet is considered.

- Method Detail
  - getNum
```
Double getNum()
```
    Returns the singleton number value, or null if definitely not a singleton number.
  - isMaybeAnyNum
```
boolean isMaybeAnyNum()
```
    Returns true if this value is maybe any number.
  - isMaybeFuzzyNum
```
boolean isMaybeFuzzyNum()
```
    Returns true if this value is maybe a non-singleton number or NaN or +/-Inf.
  - isMaybeInf
```
boolean isMaybeInf()
```
    Returns true if this value is maybe infinite.
  - isMaybeNaN
```
boolean isMaybeNaN()
```
    Returns true if this value is maybe NaN.
  - isMaybeNumOther
```
boolean isMaybeNumOther()
```
    Returns true if this value is maybe any non-UInt, non-Inf, non-NaN number.
  - isMaybeNumUInt
```
boolean isMaybeNumUInt()
```
    Returns true if this value is maybe any UInt number.
  - isMaybeOtherThanNum
```
boolean isMaybeOtherThanNum()
```
    Returns true if this value is maybe a non-number.
  - isMaybeOtherThanNumUInt
```
boolean isMaybeOtherThanNumUInt()
```
    Returns true if this value is maybe not an UInt-number.
  - isMaybeSingleNum
```
boolean isMaybeSingleNum()
```
    Returns true if this value is maybe a singleton number, excluding NaN and +/-Inf.
  - isMaybeSingleNumUInt
```
boolean isMaybeSingleNumUInt()
```
    Returns true if this value is maybe a singleton UInt number.
  - isNaN
```
boolean isNaN()
```
    Returns true if this value is definitely NaN.
  - isNotNum
```
boolean isNotNum()
```
    Returns true if this value is definitely not a number.
  - joinAnyNum
```
Value joinAnyNum()
```
    Constructs a value as the join of this value and maybe any number.
  - joinAnyNumOther
```
Value joinAnyNumOther()
```
    Constructs a value as the join of this value and maybe any non-UInt number (excluding NaN and +/-Infinity).
  - joinAnyNumUInt
```
Value joinAnyNumUInt()
```
    Constructs a value as the join of this value and maybe any UInt number.
  - joinNum
```
Value joinNum(double v)
```
    Constructs a value as the join of this value and the given concrete number.
  - joinNumInf
```
Value joinNumInf()
```
    Constructs a value as the join of this value and +/-Inf.
  - joinNumNaN
```
Value joinNumNaN()
```
    Constructs a value as the join of this value and NaN.
  - restrictToNotNaN
```
Value restrictToNotNaN()
```
    Constructs a value as a copy of this value but definitely not NaN.
  - restrictToNotNum
```
Value restrictToNotNum()
```
    Constructs a value from this value but definitely not a number.
  - restrictToNum
```
Value restrictToNum()
```
    Constructs a value from this value where only the number facet is considered.

Interface Num

Method Summary

Method Detail

getNum

isMaybeAnyNum

isMaybeFuzzyNum

isMaybeInf

isMaybeNaN

isMaybeNumOther

isMaybeNumUInt

isMaybeOtherThanNum

isMaybeOtherThanNumUInt

isMaybeSingleNum

isMaybeSingleNumUInt

isNaN

isNotNum

joinAnyNum

joinAnyNumOther

joinAnyNumUInt

joinNum

joinNumInf

joinNumNaN

restrictToNotNaN

restrictToNotNum

restrictToNum