org.semanticweb.HermiT.datatypes.owlreal
Class Numbers

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.owlreal.Numbers

public class Numbers
extends java.lang.Object


Nested Class Summary
static class Numbers.BoundaryDirection
           
 
Constructor Summary
Numbers()
           
 
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
 

Constructor Detail

Numbers

public Numbers()
Method Detail

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)