org.semanticweb.HermiT.datatypes.owlreal

Class Numbers

java.lang.Object

org.semanticweb.HermiT.datatypes.owlreal.Numbers

public class Numbers
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Numbers.BoundaryDirection

Constructor Summary

Constructors

Constructor and Description
Numbers()

Method Summary

Modifier and Type	Method and Description
static int	compare(Number n1, Number n2)
static Number	getNearestIntegerInBound(Number bound, Numbers.BoundaryDirection boundaryDirection, boolean boundIsInclusive)
static boolean	isValidNumber(Number n)
static Number	nextInteger(Number integer)
static Number	parseDecimal(String string) Parses the given string into a Java Number object representing an decimal.
static Number	parseInteger(String string) Parses the given string into a Java Number object representing an integer.
static Number	parseRational(String string) Parses the given string into a Java Number object representing a rational.
static int	subtractIntegerIntervalSizeFrom(Number lowerBoundInclusive, Number upperBoundInclusive, int argument)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Numbers

public Numbers()

Method Detail

isValidNumber

public static boolean isValidNumber(Number n)

parseInteger

public static Number parseInteger(String string)
                           throws 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.

Parameters:

string - string

Returns:

number

Throws:

NumberFormatException - if number is malformed

parseDecimal

public static Number parseDecimal(String string)
                           throws 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.

Parameters:

string - string

Returns:

number

Throws:

NumberFormatException - if number is malformed

parseRational

public static Number parseRational(String string)
                            throws 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.

Parameters:

string - string

Returns:

number

Throws:

NumberFormatException - if number is malformed

compare

public static int compare(Number n1,
                          Number n2)

getNearestIntegerInBound

public static Number getNearestIntegerInBound(Number bound,
                                              Numbers.BoundaryDirection boundaryDirection,
                                              boolean boundIsInclusive)

subtractIntegerIntervalSizeFrom

public static int subtractIntegerIntervalSizeFrom(Number lowerBoundInclusive,
                                                  Number upperBoundInclusive,
                                                  int argument)

nextInteger

public static Number nextInteger(Number integer)