com.clarkparsia.pellet.datatypes

Class IEEEDoubleType

java.lang.Object

com.clarkparsia.pellet.datatypes.IEEEDoubleType

All Implemented Interfaces:

FloatingPointType<Double>

public class IEEEDoubleType
extends Object
implements FloatingPointType<Double>

Title: IEEE Double Type

Description: Implementation of FloatingPointType to support xsd:double

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Mike Smith

Method Summary

Methods

Modifier and Type	Method and Description
Double	cast(Object o) Casts an object to the class described by this FloatingPointType object.
Double	decrement(Double n) Return the next floating point value in the direction of -Inf.
static IEEEDoubleType	getInstance()
Double	getNaN() Gets the Not-a-Number constant for the type.
Double	getNegativeInfinity() Gets the negative infinity constant for the type.
Double	getPositiveInfinity() Gets the positive infinity constant for the type.
Double	increment(Double n) Return the next floating point value in the direction of +Inf.
Number	intervalSize(Double lower, Double upper) Count the number of floating point values in an inclusive interval
boolean	isInstance(Object o) Determine if the specified Object is assignment compatible with the object represented by this FloatingPointType.
boolean	isNaN(Double f) Returns true if this floating point value is a Not-a-Number (NaN) value, false otherwise.

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static IEEEDoubleType getInstance()

cast

public Double cast(Object o)

Description copied from interface: FloatingPointType

Casts an object to the class described by this FloatingPointType object.

Specified by:

cast in interface FloatingPointType<Double>

Parameters:

o - the object to cast

Returns:

o in the appropriate type

decrement

public Double decrement(Double n)

Description copied from interface: FloatingPointType

Return the next floating point value in the direction of -Inf.

Specified by:

decrement in interface FloatingPointType<Double>

Parameters:

n - The value to decrement

Returns:

If n > -Inf, the next floating point value in the direction of -Inf. If n == -Inf, -Inf.

getNaN

public Double getNaN()

Description copied from interface: FloatingPointType

Gets the Not-a-Number constant for the type.

Specified by:

getNaN in interface FloatingPointType<Double>

Returns:

T.NaN

getNegativeInfinity

public Double getNegativeInfinity()

Description copied from interface: FloatingPointType

Gets the negative infinity constant for the type.

Specified by:

getNegativeInfinity in interface FloatingPointType<Double>

Returns:

T.NEGATIVE_INFINITY

getPositiveInfinity

public Double getPositiveInfinity()

Description copied from interface: FloatingPointType

Gets the positive infinity constant for the type.

Specified by:

getPositiveInfinity in interface FloatingPointType<Double>

Returns:

T.POSITIVE_INFINITY

increment

public Double increment(Double n)

Description copied from interface: FloatingPointType

Return the next floating point value in the direction of +Inf.

Specified by:

increment in interface FloatingPointType<Double>

Parameters:

n - The value to increment

Returns:

If n < +Inf, the next floating point value in the direction of +Inf. If n == +Inf, +Inf.

intervalSize

public Number intervalSize(Double lower,
                  Double upper)

Description copied from interface: FloatingPointType

Count the number of floating point values in an inclusive interval

Specified by:

intervalSize in interface FloatingPointType<Double>

Parameters:

lower - The lower bound of the interval

upper - The upper bound of the interval

Returns:

If lower.equals(upper), 1. Else, the number of floating point values between lower and upper plus 2

isInstance

public boolean isInstance(Object o)

Description copied from interface: FloatingPointType

Determine if the specified Object is assignment compatible with the object represented by this FloatingPointType. Typically implemented as a wrapper for T.class.isInstance(Object).

Specified by:

isInstance in interface FloatingPointType<Double>

Parameters:

o - the object to check

Returns:

true if o is an instance of T, false else.

isNaN

public boolean isNaN(Double f)

Description copied from interface: FloatingPointType

Returns true if this floating point value is a Not-a-Number (NaN) value, false otherwise.

Specified by:

isNaN in interface FloatingPointType<Double>

Parameters:

f - the value to be tested

Returns:

true if the argument is NaN, else false