org.checkerframework.common.value.util

Class DoubleMath

java.lang.Object

org.checkerframework.common.value.util.NumberMath<java.lang.Double>

org.checkerframework.common.value.util.DoubleMath

public class DoubleMath
extends NumberMath<java.lang.Double>

Constructor Summary

Constructors

Constructor and Description
DoubleMath(double i)

Method Summary

Modifier and Type	Method and Description
java.lang.Number	bitwiseAnd(java.lang.Number right)
java.lang.Number	bitwiseComplement()
java.lang.Number	bitwiseOr(java.lang.Number right)
java.lang.Number	bitwiseXor(java.lang.Number right)
java.lang.Number	divide(java.lang.Number right) Returns the result of dividing the this by right.
java.lang.Boolean	equalTo(java.lang.Number right)
java.lang.Boolean	greaterThan(java.lang.Number right)
java.lang.Boolean	greaterThanEq(java.lang.Number right)
java.lang.Boolean	lessThan(java.lang.Number right)
java.lang.Boolean	lessThanEq(java.lang.Number right)
java.lang.Number	minus(java.lang.Number right)
java.lang.Boolean	notEqualTo(java.lang.Number right)
java.lang.Number	plus(java.lang.Number right)
java.lang.Number	remainder(java.lang.Number right) Returns the result of this % right.
java.lang.Number	shiftLeft(java.lang.Number right)
java.lang.Number	signedShiftRight(java.lang.Number right)
java.lang.Number	times(java.lang.Number right)
java.lang.Number	unaryMinus()
java.lang.Number	unaryPlus()
java.lang.Number	unsignedShiftRight(java.lang.Number right)

Methods inherited from class org.checkerframework.common.value.util.NumberMath

getNumberMath, isIntegralZero

Methods inherited from class java.lang.Object

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

Constructor Detail

DoubleMath

public DoubleMath(double i)

Method Detail

plus

public java.lang.Number plus(java.lang.Number right)

Specified by:

plus in class NumberMath<java.lang.Double>

minus

public java.lang.Number minus(java.lang.Number right)

Specified by:

minus in class NumberMath<java.lang.Double>

times

public java.lang.Number times(java.lang.Number right)

Specified by:

times in class NumberMath<java.lang.Double>

divide

public java.lang.Number divide(java.lang.Number right)

Description copied from class: NumberMath

Returns the result of dividing the this by right. If right is zero and this is an integer division, null is returned.

Specified by:

divide in class NumberMath<java.lang.Double>

remainder

public java.lang.Number remainder(java.lang.Number right)

Description copied from class: NumberMath

Returns the result of this % right. If right is zero and this is an integer remainder, null is returned.

Specified by:

remainder in class NumberMath<java.lang.Double>

shiftLeft

public java.lang.Number shiftLeft(java.lang.Number right)

Specified by:

shiftLeft in class NumberMath<java.lang.Double>

signedShiftRight

public java.lang.Number signedShiftRight(java.lang.Number right)

Specified by:

signedShiftRight in class NumberMath<java.lang.Double>

unsignedShiftRight

public java.lang.Number unsignedShiftRight(java.lang.Number right)

Specified by:

unsignedShiftRight in class NumberMath<java.lang.Double>

bitwiseAnd

public java.lang.Number bitwiseAnd(java.lang.Number right)

Specified by:

bitwiseAnd in class NumberMath<java.lang.Double>

bitwiseXor

public java.lang.Number bitwiseXor(java.lang.Number right)

Specified by:

bitwiseXor in class NumberMath<java.lang.Double>

bitwiseOr

public java.lang.Number bitwiseOr(java.lang.Number right)

Specified by:

bitwiseOr in class NumberMath<java.lang.Double>

unaryPlus

public java.lang.Number unaryPlus()

Specified by:

unaryPlus in class NumberMath<java.lang.Double>

unaryMinus

public java.lang.Number unaryMinus()

Specified by:

unaryMinus in class NumberMath<java.lang.Double>

bitwiseComplement

public java.lang.Number bitwiseComplement()

Specified by:

bitwiseComplement in class NumberMath<java.lang.Double>

equalTo

public java.lang.Boolean equalTo(java.lang.Number right)

Specified by:

equalTo in class NumberMath<java.lang.Double>

notEqualTo

public java.lang.Boolean notEqualTo(java.lang.Number right)

Specified by:

notEqualTo in class NumberMath<java.lang.Double>

greaterThan

public java.lang.Boolean greaterThan(java.lang.Number right)

Specified by:

greaterThan in class NumberMath<java.lang.Double>

greaterThanEq

public java.lang.Boolean greaterThanEq(java.lang.Number right)

Specified by:

greaterThanEq in class NumberMath<java.lang.Double>

lessThan

public java.lang.Boolean lessThan(java.lang.Number right)

Specified by:

lessThan in class NumberMath<java.lang.Double>

lessThanEq

public java.lang.Boolean lessThanEq(java.lang.Number right)

Specified by:

lessThanEq in class NumberMath<java.lang.Double>