org.checkerframework.common.value.util

Class IntegerMath

java.lang.Object

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

org.checkerframework.common.value.util.IntegerMath

public class IntegerMath
extends NumberMath<Integer>

Constructor Summary

Constructors

Constructor and Description
IntegerMath(int 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)
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)
Number	shiftLeft(Number right)
Number	signedSiftRight(Number right)
Number	times(Number right)
Number	unaryMinus()
Number	unaryPlus()
Number	unsignedSiftRight(Number right)

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

getNumberMath

Methods inherited from class java.lang.Object

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

Constructor Detail

IntegerMath

public IntegerMath(int i)

Method Detail

plus

public Number plus(Number right)

Specified by:

plus in class NumberMath<Integer>

minus

public Number minus(Number right)

Specified by:

minus in class NumberMath<Integer>

times

public Number times(Number right)

Specified by:

times in class NumberMath<Integer>

divide

public Number divide(Number right)

Specified by:

divide in class NumberMath<Integer>

remainder

public Number remainder(Number right)

Specified by:

remainder in class NumberMath<Integer>

shiftLeft

public Number shiftLeft(Number right)

Specified by:

shiftLeft in class NumberMath<Integer>

signedSiftRight

public Number signedSiftRight(Number right)

Specified by:

signedSiftRight in class NumberMath<Integer>

unsignedSiftRight

public Number unsignedSiftRight(Number right)

Specified by:

unsignedSiftRight in class NumberMath<Integer>

bitwiseAnd

public Number bitwiseAnd(Number right)

Specified by:

bitwiseAnd in class NumberMath<Integer>

bitwiseXor

public Number bitwiseXor(Number right)

Specified by:

bitwiseXor in class NumberMath<Integer>

bitwiseOr

public Number bitwiseOr(Number right)

Specified by:

bitwiseOr in class NumberMath<Integer>

unaryPlus

public Number unaryPlus()

Specified by:

unaryPlus in class NumberMath<Integer>

unaryMinus

public Number unaryMinus()

Specified by:

unaryMinus in class NumberMath<Integer>

bitwiseComplement

public Number bitwiseComplement()

Specified by:

bitwiseComplement in class NumberMath<Integer>

equalTo

public Boolean equalTo(Number right)

Specified by:

equalTo in class NumberMath<Integer>

notEqualTo

public Boolean notEqualTo(Number right)

Specified by:

notEqualTo in class NumberMath<Integer>

greaterThan

public Boolean greaterThan(Number right)

Specified by:

greaterThan in class NumberMath<Integer>

greaterThanEq

public Boolean greaterThanEq(Number right)

Specified by:

greaterThanEq in class NumberMath<Integer>

lessThan

public Boolean lessThan(Number right)

Specified by:

lessThan in class NumberMath<Integer>

lessThanEq

public Boolean lessThanEq(Number right)

Specified by:

lessThanEq in class NumberMath<Integer>