org.checkerframework.common.value.util

Class DoubleMath

java.lang.Object

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

org.checkerframework.common.value.util.DoubleMath

public class DoubleMath
extends NumberMath<Double>

Constructor Summary

Constructors

Constructor and Description
DoubleMath(double i)

Method Summary

Modifier and Type	Method and Description
Number	bitwiseAnd(Number right)
Number	bitwiseComplement()
Number	bitwiseOr(Number right)
Number	bitwiseXor(Number right)
Number	divide(Number right) Returns the result of dividing the this by right.
Boolean	equalTo(Number right)
Boolean	greaterThan(Number right)
Boolean	greaterThanEq(Number right)
Boolean	lessThan(Number right)
Boolean	lessThanEq(Number right)
Number	minus(Number right)
Boolean	notEqualTo(Number right)
Number	plus(Number right)
Number	remainder(Number right) Returns the result of this % right.
Number	shiftLeft(Number right)
Number	signedShiftRight(Number right)
Number	times(Number right)
Number	unaryMinus()
Number	unaryPlus()
Number	unsignedShiftRight(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 Number plus(Number right)

Specified by:

plus in class NumberMath<Double>

minus

public Number minus(Number right)

Specified by:

minus in class NumberMath<Double>

times

public Number times(Number right)

Specified by:

times in class NumberMath<Double>

divide

public Number divide(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<Double>

remainder

public Number remainder(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<Double>

shiftLeft

public Number shiftLeft(Number right)

Specified by:

shiftLeft in class NumberMath<Double>

signedShiftRight

public Number signedShiftRight(Number right)

Specified by:

signedShiftRight in class NumberMath<Double>

unsignedShiftRight

public Number unsignedShiftRight(Number right)

Specified by:

unsignedShiftRight in class NumberMath<Double>

bitwiseAnd

public Number bitwiseAnd(Number right)

Specified by:

bitwiseAnd in class NumberMath<Double>

bitwiseXor

public Number bitwiseXor(Number right)

Specified by:

bitwiseXor in class NumberMath<Double>

bitwiseOr

public Number bitwiseOr(Number right)

Specified by:

bitwiseOr in class NumberMath<Double>

unaryPlus

public Number unaryPlus()

Specified by:

unaryPlus in class NumberMath<Double>

unaryMinus

public Number unaryMinus()

Specified by:

unaryMinus in class NumberMath<Double>

bitwiseComplement

public Number bitwiseComplement()

Specified by:

bitwiseComplement in class NumberMath<Double>

equalTo

public Boolean equalTo(Number right)

Specified by:

equalTo in class NumberMath<Double>

notEqualTo

public Boolean notEqualTo(Number right)

Specified by:

notEqualTo in class NumberMath<Double>

greaterThan

public Boolean greaterThan(Number right)

Specified by:

greaterThan in class NumberMath<Double>

greaterThanEq

public Boolean greaterThanEq(Number right)

Specified by:

greaterThanEq in class NumberMath<Double>

lessThan

public Boolean lessThan(Number right)

Specified by:

lessThan in class NumberMath<Double>

lessThanEq

public Boolean lessThanEq(Number right)

Specified by:

lessThanEq in class NumberMath<Double>