Package proguard.evaluation.value

Class ParticularIntegerValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.IntegerValue

proguard.evaluation.value.SpecificIntegerValue

proguard.evaluation.value.ParticularIntegerValue

public final class ParticularIntegerValue
extends SpecificIntegerValue

This IntegerValue represents a particular integer value.

This class handles interactions with: - ParticularIntegerValue

It reverses and delegates interactions with: - RangeIntegerValue - IntegerValue (in general)

It notably doesn't handle interactions with: - UnknownInteger - RangeIntegerValue - SpecificInteger (in general)

Field Summary

Fields inherited from class proguard.evaluation.value.Value

ALWAYS, MAYBE, NEVER, TYPE_DOUBLE, TYPE_FLOAT, TYPE_INSTRUCTION_OFFSET, TYPE_INTEGER, TYPE_LONG, TYPE_REFERENCE, TYPE_TOP, TYPE_UNKNOWN

Constructor Summary

Constructors

Constructor	Description
ParticularIntegerValue(int value)	Creates a new particular integer value.

Method Summary

Modifier and Type	Method	Description
IntegerValue	add(IntegerValue other)	Returns the sum of this IntegerValue and the given IntegerValue.
IntegerValue	add(ParticularIntegerValue other)	Returns the sum of this IntegerValue and the given ParticularIntegerValue.
IntegerValue	add(RangeIntegerValue other)	Returns the sum of this IntegerValue and the given RangeIntegerValue.
IntegerValue	and(IntegerValue other)	Returns the logical and of this IntegerValue and the given IntegerValue.
IntegerValue	and(ParticularIntegerValue other)	Returns the logical and of this IntegerValue and the given ParticularIntegerValue.
IntegerValue	and(RangeIntegerValue other)	Returns the logical and of this IntegerValue and the given RangeIntegerValue.
IntegerValue	convertToByte()	Converts this IntegerValue to a byte IntegerValue.
IntegerValue	convertToCharacter()	Converts this IntegerValue to a character IntegerValue.
DoubleValue	convertToDouble()	Converts this IntegerValue to a DoubleValue.
FloatValue	convertToFloat()	Converts this IntegerValue to a FloatValue.
LongValue	convertToLong()	Converts this IntegerValue to a LongValue.
IntegerValue	convertToShort()	Converts this IntegerValue to a short IntegerValue.
IntegerValue	divide(IntegerValue other)	Returns the quotient of this IntegerValue and the given IntegerValue.
IntegerValue	divide(ParticularIntegerValue other)	Returns the quotient of this IntegerValue and the given ParticularIntegerValue.
IntegerValue	divide(RangeIntegerValue other)	Returns the quotient of this IntegerValue and the given RangeIntegerValue.
IntegerValue	divideOf(IntegerValue other)	Returns the quotient of the given IntegerValue and this IntegerValue.
IntegerValue	divideOf(ParticularIntegerValue other)	Returns the quotient of the given ParticularIntegerValue and this IntegerValue.
IntegerValue	divideOf(RangeIntegerValue other)	Returns the quotient of the given RangeIntegerValue and this IntegerValue.
int	equal(IntegerValue other)	Returns whether this IntegerValue and the given IntegerValue are equal: NEVER, MAYBE, or ALWAYS.
int	equal(ParticularIntegerValue other)	Returns whether this IntegerValue and the given ParticularIntegerValue are equal: NEVER , MAYBE, or ALWAYS.
int	equal(RangeIntegerValue other)	Returns whether this IntegerValue and the given RangeIntegerValue are equal: NEVER , MAYBE, or ALWAYS.
boolean	equals(Object object)
IntegerValue	generalize(IntegerValue other)	Returns the generalization of this IntegerValue and the given other IntegerValue.
IntegerValue	generalize(ParticularIntegerValue other)	Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.
IntegerValue	generalize(RangeIntegerValue other)	Returns the generalization of this IntegerValue and the given other RangeIntegerValue.
int	hashCode()
boolean	isParticular()	Returns whether this Value represents a single particular (known) value.
int	lessThan(IntegerValue other)	Returns whether this IntegerValue is less than the given IntegerValue: NEVER, MAYBE, or ALWAYS.
int	lessThan(ParticularIntegerValue other)	Returns whether this IntegerValue is less than the given ParticularIntegerValue: NEVER , MAYBE, or ALWAYS.
int	lessThan(RangeIntegerValue other)	Returns whether this IntegerValue is less than the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
int	lessThanOrEqual(IntegerValue other)	Returns whether this IntegerValue is less than or equal to the given IntegerValue: NEVER , MAYBE, or ALWAYS.
int	lessThanOrEqual(ParticularIntegerValue other)	Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue: NEVER, MAYBE, or ALWAYS.
int	lessThanOrEqual(RangeIntegerValue other)	Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
IntegerValue	multiply(IntegerValue other)	Returns the product of this IntegerValue and the given IntegerValue.
IntegerValue	multiply(ParticularIntegerValue other)	Returns the product of this IntegerValue and the given ParticularIntegerValue.
IntegerValue	multiply(RangeIntegerValue other)	Returns the product of this IntegerValue and the given RangeIntegerValue.
IntegerValue	negate()	Returns the negated value of this IntegerValue.
IntegerValue	or(IntegerValue other)	Returns the logical or of this IntegerValue and the given IntegerValue.
IntegerValue	or(ParticularIntegerValue other)	Returns the logical or of this IntegerValue and the given ParticularIntegerValue.
IntegerValue	or(RangeIntegerValue other)	Returns the logical or of this IntegerValue and the given RangeIntegerValue.
IntegerValue	remainder(IntegerValue other)	Returns the remainder of this IntegerValue divided by the given IntegerValue.
IntegerValue	remainder(ParticularIntegerValue other)	Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.
IntegerValue	remainder(RangeIntegerValue other)	Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.
IntegerValue	remainderOf(IntegerValue other)	Returns the remainder of the given IntegerValue divided by this IntegerValue.
IntegerValue	remainderOf(ParticularIntegerValue other)	Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.
IntegerValue	remainderOf(RangeIntegerValue other)	Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.
IntegerValue	shiftLeft(IntegerValue other)	Returns this IntegerValue, shifted left by the given IntegerValue.
IntegerValue	shiftLeft(ParticularIntegerValue other)	Returns this IntegerValue, shifted left by the given ParticularIntegerValue.
IntegerValue	shiftLeft(RangeIntegerValue other)	Returns this IntegerValue, shifted left by the given RangeIntegerValue.
IntegerValue	shiftLeftOf(IntegerValue other)	Returns the given IntegerValue, shifted left by this IntegerValue.
LongValue	shiftLeftOf(LongValue other)	Returns the given LongValue, shifted left by this IntegerValue.
IntegerValue	shiftLeftOf(ParticularIntegerValue other)	Returns the given ParticularIntegerValue, shifted left by this IntegerValue.
LongValue	shiftLeftOf(ParticularLongValue other)	Returns the given ParticularLongValue, shifted left by this IntegerValue.
IntegerValue	shiftLeftOf(RangeIntegerValue other)	Returns the given RangeIntegerValue, shifted left by this IntegerValue.
IntegerValue	shiftRight(IntegerValue other)	Returns this IntegerValue, shifted right by the given IntegerValue.
IntegerValue	shiftRight(ParticularIntegerValue other)	Returns this IntegerValue, shifted right by the given ParticularIntegerValue.
IntegerValue	shiftRight(RangeIntegerValue other)	Returns this IntegerValue, shifted right by the given RangeIntegerValue.
IntegerValue	shiftRightOf(IntegerValue other)	Returns the given IntegerValue, shifted right by this IntegerValue.
LongValue	shiftRightOf(LongValue other)	Returns the given LongValue, shifted right by this IntegerValue.
IntegerValue	shiftRightOf(ParticularIntegerValue other)	Returns the given ParticularIntegerValue, shifted right by this IntegerValue.
LongValue	shiftRightOf(ParticularLongValue other)	Returns the given ParticularLongValue, shifted right by this IntegerValue.
IntegerValue	shiftRightOf(RangeIntegerValue other)	Returns the given RangeIntegerValue, shifted right by this IntegerValue.
IntegerValue	subtract(IntegerValue other)	Returns the difference of this IntegerValue and the given IntegerValue.
IntegerValue	subtract(ParticularIntegerValue other)	Returns the difference of this IntegerValue and the given ParticularIntegerValue.
IntegerValue	subtract(RangeIntegerValue other)	Returns the difference of this IntegerValue and the given RangeIntegerValue.
IntegerValue	subtractFrom(IntegerValue other)	Returns the difference of the given IntegerValue and this IntegerValue.
IntegerValue	subtractFrom(ParticularIntegerValue other)	Returns the difference of the given ParticularIntegerValue and this IntegerValue.
IntegerValue	subtractFrom(RangeIntegerValue other)	Returns the difference of the given RangeIntegerValue and this IntegerValue.
String	toString()
IntegerValue	unsignedShiftRight(IntegerValue other)	Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
IntegerValue	unsignedShiftRight(ParticularIntegerValue other)	Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.
IntegerValue	unsignedShiftRight(RangeIntegerValue other)	Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.
IntegerValue	unsignedShiftRightOf(IntegerValue other)	Returns the given unsigned IntegerValue, shifted left by this IntegerValue.
LongValue	unsignedShiftRightOf(LongValue other)	Returns the given unsigned LongValue, shifted right by this IntegerValue.
IntegerValue	unsignedShiftRightOf(ParticularIntegerValue other)	Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.
LongValue	unsignedShiftRightOf(ParticularLongValue other)	Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.
IntegerValue	unsignedShiftRightOf(RangeIntegerValue other)	Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.
int	value()	Returns the specific integer value, if applicable.
IntegerValue	xor(IntegerValue other)	Returns the logical xor of this IntegerValue and the given IntegerValue.
IntegerValue	xor(ParticularIntegerValue other)	Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.
IntegerValue	xor(RangeIntegerValue other)	Returns the logical xor of this IntegerValue and the given RangeIntegerValue.

Methods inherited from class proguard.evaluation.value.SpecificIntegerValue

add, and, divide, divideOf, equal, generalize, isSpecific, lessThan, lessThanOrEqual, multiply, or, remainder, remainderOf, shiftLeft, shiftLeftOf, shiftLeftOf, shiftRight, shiftRightOf, shiftRightOf, subtract, subtractFrom, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, xor

Methods inherited from class proguard.evaluation.value.IntegerValue

add, and, computationalType, divide, divideOf, equal, generalize, generalize, greaterThan, greaterThan, greaterThan, greaterThan, greaterThan, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, integerValue, internalType, lessThan, lessThanOrEqual, multiply, notEqual, notEqual, notEqual, notEqual, notEqual, or, remainder, remainderOf, shiftLeft, shiftLeftOf, shiftLeftOf, shiftRight, shiftRightOf, shiftRightOf, subtract, subtractFrom, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, xor

Methods inherited from class proguard.evaluation.value.Category1Value

category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

category2Value, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, longValue, referenceValue

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

ParticularIntegerValue

public ParticularIntegerValue(int value)

Creates a new particular integer value.

Method Details

value

public int value()

Description copied from class: IntegerValue

Returns the specific integer value, if applicable.

Overrides:

value in class IntegerValue

negate

public IntegerValue negate()

Description copied from class: IntegerValue

Returns the negated value of this IntegerValue.

Overrides:

negate in class SpecificIntegerValue

convertToByte

public IntegerValue convertToByte()

Description copied from class: IntegerValue

Converts this IntegerValue to a byte IntegerValue.

Overrides:

convertToByte in class SpecificIntegerValue

convertToCharacter

public IntegerValue convertToCharacter()

Description copied from class: IntegerValue

Converts this IntegerValue to a character IntegerValue.

Overrides:

convertToCharacter in class SpecificIntegerValue

convertToShort

public IntegerValue convertToShort()

Description copied from class: IntegerValue

Converts this IntegerValue to a short IntegerValue.

Overrides:

convertToShort in class SpecificIntegerValue

convertToLong

public LongValue convertToLong()

Description copied from class: IntegerValue

Converts this IntegerValue to a LongValue.

Overrides:

convertToLong in class SpecificIntegerValue

convertToFloat

public FloatValue convertToFloat()

Description copied from class: IntegerValue

Converts this IntegerValue to a FloatValue.

Overrides:

convertToFloat in class SpecificIntegerValue

convertToDouble

public DoubleValue convertToDouble()

Description copied from class: IntegerValue

Converts this IntegerValue to a DoubleValue.

Overrides:

convertToDouble in class SpecificIntegerValue

generalize

public IntegerValue generalize(IntegerValue other)

Description copied from class: IntegerValue

Returns the generalization of this IntegerValue and the given other IntegerValue.

Overrides:

generalize in class SpecificIntegerValue

add

public IntegerValue add(IntegerValue other)

Description copied from class: IntegerValue

Returns the sum of this IntegerValue and the given IntegerValue.

Overrides:

add in class SpecificIntegerValue

subtract

public IntegerValue subtract(IntegerValue other)

Description copied from class: IntegerValue

Returns the difference of this IntegerValue and the given IntegerValue.

Overrides:

subtract in class SpecificIntegerValue

subtractFrom

public IntegerValue subtractFrom(IntegerValue other)

Description copied from class: IntegerValue

Returns the difference of the given IntegerValue and this IntegerValue.

Overrides:

subtractFrom in class SpecificIntegerValue

multiply

public IntegerValue multiply(IntegerValue other)

Description copied from class: IntegerValue

Returns the product of this IntegerValue and the given IntegerValue.

Overrides:

multiply in class SpecificIntegerValue

divide

public IntegerValue divide(IntegerValue other)
                    throws ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of this IntegerValue and the given IntegerValue.

Overrides:

divide in class SpecificIntegerValue

Throws:

ArithmeticException

divideOf

public IntegerValue divideOf(IntegerValue other)
                      throws ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of the given IntegerValue and this IntegerValue.

Overrides:

divideOf in class SpecificIntegerValue

Throws:

ArithmeticException

remainder

public IntegerValue remainder(IntegerValue other)
                       throws ArithmeticException

Description copied from class: IntegerValue

Returns the remainder of this IntegerValue divided by the given IntegerValue.

Overrides:

remainder in class SpecificIntegerValue

Throws:

ArithmeticException

remainderOf

public IntegerValue remainderOf(IntegerValue other)
                         throws ArithmeticException

Description copied from class: IntegerValue

Returns the remainder of the given IntegerValue divided by this IntegerValue.

Overrides:

remainderOf in class SpecificIntegerValue

Throws:

ArithmeticException

shiftLeft

public IntegerValue shiftLeft(IntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted left by the given IntegerValue.

Overrides:

shiftLeft in class SpecificIntegerValue

shiftLeftOf

public IntegerValue shiftLeftOf(IntegerValue other)

Description copied from class: IntegerValue

Returns the given IntegerValue, shifted left by this IntegerValue.

Overrides:

shiftLeftOf in class SpecificIntegerValue

shiftRight

public IntegerValue shiftRight(IntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted right by the given IntegerValue.

Overrides:

shiftRight in class SpecificIntegerValue

shiftRightOf

public IntegerValue shiftRightOf(IntegerValue other)

Description copied from class: IntegerValue

Returns the given IntegerValue, shifted right by this IntegerValue.

Overrides:

shiftRightOf in class SpecificIntegerValue

unsignedShiftRight

public IntegerValue unsignedShiftRight(IntegerValue other)

Description copied from class: IntegerValue

Returns this unsigned IntegerValue, shifted left by the given IntegerValue.

Overrides:

unsignedShiftRight in class SpecificIntegerValue

unsignedShiftRightOf

public IntegerValue unsignedShiftRightOf(IntegerValue other)

Description copied from class: IntegerValue

Returns the given unsigned IntegerValue, shifted left by this IntegerValue.

Overrides:

unsignedShiftRightOf in class SpecificIntegerValue

shiftLeftOf

public LongValue shiftLeftOf(LongValue other)

Description copied from class: IntegerValue

Returns the given LongValue, shifted left by this IntegerValue.

Overrides:

shiftLeftOf in class SpecificIntegerValue

shiftRightOf

public LongValue shiftRightOf(LongValue other)

Description copied from class: IntegerValue

Returns the given LongValue, shifted right by this IntegerValue.

Overrides:

shiftRightOf in class SpecificIntegerValue

unsignedShiftRightOf

public LongValue unsignedShiftRightOf(LongValue other)

Description copied from class: IntegerValue

Returns the given unsigned LongValue, shifted right by this IntegerValue.

Overrides:

unsignedShiftRightOf in class SpecificIntegerValue

and

public IntegerValue and(IntegerValue other)

Description copied from class: IntegerValue

Returns the logical and of this IntegerValue and the given IntegerValue.

Overrides:

and in class SpecificIntegerValue

or

public IntegerValue or(IntegerValue other)

Description copied from class: IntegerValue

Returns the logical or of this IntegerValue and the given IntegerValue.

Overrides:

or in class SpecificIntegerValue

xor

public IntegerValue xor(IntegerValue other)

Description copied from class: IntegerValue

Returns the logical xor of this IntegerValue and the given IntegerValue.

Overrides:

xor in class SpecificIntegerValue

equal

public int equal(IntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue and the given IntegerValue are equal: NEVER, MAYBE, or ALWAYS.

Overrides:

equal in class SpecificIntegerValue

lessThan

public int lessThan(IntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue is less than the given IntegerValue: NEVER, MAYBE, or ALWAYS.

Overrides:

lessThan in class SpecificIntegerValue

lessThanOrEqual

public int lessThanOrEqual(IntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue is less than or equal to the given IntegerValue: NEVER , MAYBE, or ALWAYS.

Overrides:

lessThanOrEqual in class SpecificIntegerValue

generalize

public IntegerValue generalize(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.

Overrides:

generalize in class IntegerValue

add

public IntegerValue add(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the sum of this IntegerValue and the given ParticularIntegerValue.

Overrides:

add in class IntegerValue

subtract

public IntegerValue subtract(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the difference of this IntegerValue and the given ParticularIntegerValue.

Overrides:

subtract in class IntegerValue

subtractFrom

public IntegerValue subtractFrom(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the difference of the given ParticularIntegerValue and this IntegerValue.

Overrides:

subtractFrom in class IntegerValue

multiply

public IntegerValue multiply(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the product of this IntegerValue and the given ParticularIntegerValue.

Overrides:

multiply in class IntegerValue

divide

public IntegerValue divide(ParticularIntegerValue other)
                    throws ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of this IntegerValue and the given ParticularIntegerValue.

Overrides:

divide in class IntegerValue

Throws:

ArithmeticException

divideOf

public IntegerValue divideOf(ParticularIntegerValue other)
                      throws ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of the given ParticularIntegerValue and this IntegerValue.

Overrides:

divideOf in class IntegerValue

Throws:

ArithmeticException

remainder

public IntegerValue remainder(ParticularIntegerValue other)
                       throws ArithmeticException

Description copied from class: IntegerValue

Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.

Overrides:

remainder in class IntegerValue

Throws:

ArithmeticException

remainderOf

public IntegerValue remainderOf(ParticularIntegerValue other)
                         throws ArithmeticException

Description copied from class: IntegerValue

Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.

Overrides:

remainderOf in class IntegerValue

Throws:

ArithmeticException

shiftLeft

public IntegerValue shiftLeft(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted left by the given ParticularIntegerValue.

Overrides:

shiftLeft in class IntegerValue

shiftRight

public IntegerValue shiftRight(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted right by the given ParticularIntegerValue.

Overrides:

shiftRight in class IntegerValue

unsignedShiftRight

public IntegerValue unsignedShiftRight(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.

Overrides:

unsignedShiftRight in class IntegerValue

shiftLeftOf

public IntegerValue shiftLeftOf(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the given ParticularIntegerValue, shifted left by this IntegerValue.

Overrides:

shiftLeftOf in class IntegerValue

shiftRightOf

public IntegerValue shiftRightOf(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the given ParticularIntegerValue, shifted right by this IntegerValue.

Overrides:

shiftRightOf in class IntegerValue

unsignedShiftRightOf

public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.

Overrides:

unsignedShiftRightOf in class IntegerValue

shiftLeftOf

public LongValue shiftLeftOf(ParticularLongValue other)

Description copied from class: IntegerValue

Returns the given ParticularLongValue, shifted left by this IntegerValue.

Overrides:

shiftLeftOf in class IntegerValue

shiftRightOf

public LongValue shiftRightOf(ParticularLongValue other)

Description copied from class: IntegerValue

Returns the given ParticularLongValue, shifted right by this IntegerValue.

Overrides:

shiftRightOf in class IntegerValue

unsignedShiftRightOf

public LongValue unsignedShiftRightOf(ParticularLongValue other)

Description copied from class: IntegerValue

Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.

Overrides:

unsignedShiftRightOf in class IntegerValue

and

public IntegerValue and(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the logical and of this IntegerValue and the given ParticularIntegerValue.

Overrides:

and in class IntegerValue

or

public IntegerValue or(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the logical or of this IntegerValue and the given ParticularIntegerValue.

Overrides:

or in class IntegerValue

xor

public IntegerValue xor(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.

Overrides:

xor in class IntegerValue

equal

public int equal(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue and the given ParticularIntegerValue are equal: NEVER , MAYBE, or ALWAYS.

Overrides:

equal in class IntegerValue

lessThan

public int lessThan(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue is less than the given ParticularIntegerValue: NEVER , MAYBE, or ALWAYS.

Overrides:

lessThan in class IntegerValue

lessThanOrEqual

public int lessThanOrEqual(ParticularIntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue: NEVER, MAYBE, or ALWAYS.

Overrides:

lessThanOrEqual in class IntegerValue

generalize

public IntegerValue generalize(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the generalization of this IntegerValue and the given other RangeIntegerValue.

Overrides:

generalize in class SpecificIntegerValue

add

public IntegerValue add(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the sum of this IntegerValue and the given RangeIntegerValue.

Overrides:

add in class SpecificIntegerValue

subtract

public IntegerValue subtract(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the difference of this IntegerValue and the given RangeIntegerValue.

Overrides:

subtract in class SpecificIntegerValue

subtractFrom

public IntegerValue subtractFrom(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the difference of the given RangeIntegerValue and this IntegerValue.

Overrides:

subtractFrom in class SpecificIntegerValue

multiply

public IntegerValue multiply(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the product of this IntegerValue and the given RangeIntegerValue.

Overrides:

multiply in class SpecificIntegerValue

divide

public IntegerValue divide(RangeIntegerValue other)
                    throws ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of this IntegerValue and the given RangeIntegerValue.

Overrides:

divide in class SpecificIntegerValue

Throws:

ArithmeticException

divideOf

public IntegerValue divideOf(RangeIntegerValue other)
                      throws ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of the given RangeIntegerValue and this IntegerValue.

Overrides:

divideOf in class SpecificIntegerValue

Throws:

ArithmeticException

remainder

public IntegerValue remainder(RangeIntegerValue other)
                       throws ArithmeticException

Description copied from class: IntegerValue

Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.

Overrides:

remainder in class SpecificIntegerValue

Throws:

ArithmeticException

remainderOf

public IntegerValue remainderOf(RangeIntegerValue other)
                         throws ArithmeticException

Description copied from class: IntegerValue

Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.

Overrides:

remainderOf in class SpecificIntegerValue

Throws:

ArithmeticException

shiftLeft

public IntegerValue shiftLeft(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted left by the given RangeIntegerValue.

Overrides:

shiftLeft in class SpecificIntegerValue

shiftLeftOf

public IntegerValue shiftLeftOf(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the given RangeIntegerValue, shifted left by this IntegerValue.

Overrides:

shiftLeftOf in class SpecificIntegerValue

shiftRight

public IntegerValue shiftRight(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted right by the given RangeIntegerValue.

Overrides:

shiftRight in class SpecificIntegerValue

shiftRightOf

public IntegerValue shiftRightOf(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the given RangeIntegerValue, shifted right by this IntegerValue.

Overrides:

shiftRightOf in class SpecificIntegerValue

unsignedShiftRight

public IntegerValue unsignedShiftRight(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.

Overrides:

unsignedShiftRight in class SpecificIntegerValue

unsignedShiftRightOf

public IntegerValue unsignedShiftRightOf(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.

Overrides:

unsignedShiftRightOf in class SpecificIntegerValue

and

public IntegerValue and(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the logical and of this IntegerValue and the given RangeIntegerValue.

Overrides:

and in class SpecificIntegerValue

or

public IntegerValue or(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the logical or of this IntegerValue and the given RangeIntegerValue.

Overrides:

or in class SpecificIntegerValue

xor

public IntegerValue xor(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the logical xor of this IntegerValue and the given RangeIntegerValue.

Overrides:

xor in class SpecificIntegerValue

equal

public int equal(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue and the given RangeIntegerValue are equal: NEVER , MAYBE, or ALWAYS.

Overrides:

equal in class SpecificIntegerValue

lessThan

public int lessThan(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue is less than the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.

Overrides:

lessThan in class SpecificIntegerValue

lessThanOrEqual

public int lessThanOrEqual(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.

Overrides:

lessThanOrEqual in class SpecificIntegerValue

isParticular

public boolean isParticular()

Description copied from class: Value

Returns whether this Value represents a single particular (known) value.

Overrides:

isParticular in class Value

equals

public boolean equals(Object object)

Overrides:

equals in class SpecificIntegerValue

hashCode

public int hashCode()

Overrides:

hashCode in class SpecificIntegerValue

toString

public String toString()

Overrides:

toString in class Object