org.checkerframework.common.value.util

Class NumberMath<T extends Number>

java.lang.Object

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

Direct Known Subclasses:

ByteMath, DoubleMath, FloatMath, IntegerMath, LongMath, ShortMath

public abstract class NumberMath<T extends Number>
extends Object

Constructor Summary

Constructors

Constructor and Description
NumberMath()

Method Summary

Modifier and Type	Method and Description
abstract Number	bitwiseAnd(Number right)
abstract Number	bitwiseComplement()
abstract Number	bitwiseOr(Number right)
abstract Number	bitwiseXor(Number right)
abstract Number	divide(Number right)
abstract Boolean	equalTo(Number right)
static NumberMath<?>	getNumberMath(Number number)
abstract Boolean	greaterThan(Number right)
abstract Boolean	greaterThanEq(Number right)
abstract Boolean	lessThan(Number right)
abstract Boolean	lessThanEq(Number right)
abstract Number	minus(Number right)
abstract Boolean	notEqualTo(Number right)
abstract Number	plus(Number right)
abstract Number	remainder(Number right)
abstract Number	shiftLeft(Number right)
abstract Number	signedSiftRight(Number right)
abstract Number	times(Number right)
abstract Number	unaryMinus()
abstract Number	unaryPlus()
abstract Number	unsignedSiftRight(Number right)

Methods inherited from class java.lang.Object

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

Constructor Detail

NumberMath

public NumberMath()

Method Detail

getNumberMath

public static NumberMath<?> getNumberMath(Number number)

plus

public abstract Number plus(Number right)

minus

public abstract Number minus(Number right)

times

public abstract Number times(Number right)

divide

public abstract Number divide(Number right)

remainder

public abstract Number remainder(Number right)

shiftLeft

public abstract Number shiftLeft(Number right)

signedSiftRight

public abstract Number signedSiftRight(Number right)

unsignedSiftRight

public abstract Number unsignedSiftRight(Number right)

bitwiseAnd

public abstract Number bitwiseAnd(Number right)

bitwiseOr

public abstract Number bitwiseOr(Number right)

bitwiseXor

public abstract Number bitwiseXor(Number right)

unaryPlus

public abstract Number unaryPlus()

unaryMinus

public abstract Number unaryMinus()

bitwiseComplement

public abstract Number bitwiseComplement()

equalTo

public abstract Boolean equalTo(Number right)

notEqualTo

public abstract Boolean notEqualTo(Number right)

greaterThan

public abstract Boolean greaterThan(Number right)

greaterThanEq

public abstract Boolean greaterThanEq(Number right)

lessThan

public abstract Boolean lessThan(Number right)

lessThanEq

public abstract Boolean lessThanEq(Number right)