org.grinvin.invariants.values
Class IntegerValue
- InvariantValue
public class IntegerValue
Invariant type which allows integral values, positive and negative infinity
and undefined values. Identified by the string integer
.
IntegerValue
public IntegerValue(int value,
InvariantComputer computer)
Create an object of this type with the given integral value.
negativeInfinity
public static IntegerValue negativeInfinity(InvariantComputer computer)
Return an object of this type representing negative infinity.
positiveInfinity
public static IntegerValue positiveInfinity(InvariantComputer computer)
Return an object of this type representing positive infinity.
toText
public static String toText(double value)
undefinedValue
public static IntegerValue undefinedValue(InvariantComputer computer)
Return an object of this type representing an undefined value.