org.semanticweb.HermiT.datatypes.owlreal
Class Numbers
java.lang.Object
org.semanticweb.HermiT.datatypes.owlreal.Numbers
public class Numbers
- extends java.lang.Object
Method Summary |
static int |
compare(java.lang.Number n1,
java.lang.Number n2)
|
static java.lang.Number |
getNearestIntegerInBound(java.lang.Number bound,
Numbers.BoundaryDirection boundaryDirection,
boolean boundIsInclusive)
|
protected static int |
getNumberType(java.lang.Number n)
|
static boolean |
isValidNumber(java.lang.Number n)
|
static java.lang.Number |
nextInteger(java.lang.Number integer)
|
static java.lang.Number |
parseDecimal(java.lang.String string)
Parses the given string into a Java Number object representing an decimal. |
static java.lang.Number |
parseInteger(java.lang.String string)
Parses the given string into a Java Number object representing an integer. |
static java.lang.Number |
parseRational(java.lang.String string)
Parses the given string into a Java Number object representing a rational. |
static int |
subtractIntegerIntervalSizeFrom(java.lang.Number lowerBoundInclusive,
java.lang.Number upperBoundInclusive,
int argument)
|
protected static java.math.BigDecimal |
toBigDecimal(java.lang.Number n,
int nType)
|
protected static java.math.BigInteger |
toBigInteger(java.lang.Number n,
int nType)
|
protected static BigRational |
toBigRational(java.lang.Number n,
int nType)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Numbers
public Numbers()
isValidNumber
public static boolean isValidNumber(java.lang.Number n)
parseInteger
public static java.lang.Number parseInteger(java.lang.String string)
throws java.lang.NumberFormatException
- Parses the given string into a Java Number object representing an integer.
The Java object is chosen such that .equals() works correctly across all Number-derived objects.
- Throws:
java.lang.NumberFormatException
parseDecimal
public static java.lang.Number parseDecimal(java.lang.String string)
throws java.lang.NumberFormatException
- Parses the given string into a Java Number object representing an decimal.
The Java object is chosen such that .equals() works correctly across all Number-derived objects.
- Throws:
java.lang.NumberFormatException
parseRational
public static java.lang.Number parseRational(java.lang.String string)
throws java.lang.NumberFormatException
- Parses the given string into a Java Number object representing a rational.
The Java object is chosen such that .equals() works correctly across all Number-derived objects.
- Throws:
java.lang.NumberFormatException
compare
public static int compare(java.lang.Number n1,
java.lang.Number n2)
getNumberType
protected static int getNumberType(java.lang.Number n)
toBigInteger
protected static java.math.BigInteger toBigInteger(java.lang.Number n,
int nType)
toBigDecimal
protected static java.math.BigDecimal toBigDecimal(java.lang.Number n,
int nType)
toBigRational
protected static BigRational toBigRational(java.lang.Number n,
int nType)
getNearestIntegerInBound
public static java.lang.Number getNearestIntegerInBound(java.lang.Number bound,
Numbers.BoundaryDirection boundaryDirection,
boolean boundIsInclusive)
subtractIntegerIntervalSizeFrom
public static int subtractIntegerIntervalSizeFrom(java.lang.Number lowerBoundInclusive,
java.lang.Number upperBoundInclusive,
int argument)
nextInteger
public static java.lang.Number nextInteger(java.lang.Number integer)