proguard.evaluation.value

Class SpecificIntegerValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.IntegerValue

proguard.evaluation.value.SpecificIntegerValue

Direct Known Subclasses:

ComparisonValue, CompositeIntegerValue, ConvertedByteValue, ConvertedCharacterValue, ConvertedIntegerValue, ConvertedShortValue, IdentifiedIntegerValue, NegatedIntegerValue, ParticularIntegerValue

public abstract class SpecificIntegerValue
extends IntegerValue

This IntegerValue represents a specific integer value.

This class handles interactions with: - RangeIntegerValue - SpecificInteger (in general)

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

It notably doesn't handle interactions with: - UnknownInteger

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

Constructor Summary

Constructors

Constructor and Description
SpecificIntegerValue()

Method Summary

Modifier and Type	Method and Description
IntegerValue	add(IntegerValue other) Returns the sum of this IntegerValue and the given IntegerValue.
IntegerValue	add(RangeIntegerValue other) Returns the sum of this IntegerValue and the given RangeIntegerValue.
IntegerValue	add(SpecificIntegerValue other) Returns the sum of this IntegerValue and the given SpecificIntegerValue.
IntegerValue	and(IntegerValue other) Returns the logical and of this IntegerValue and the given IntegerValue.
IntegerValue	and(RangeIntegerValue other) Returns the logical and of this IntegerValue and the given RangeIntegerValue.
IntegerValue	and(SpecificIntegerValue other) Returns the logical and of this IntegerValue and the given SpecificIntegerValue.
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(RangeIntegerValue other) Returns the quotient of this IntegerValue and the given RangeIntegerValue.
IntegerValue	divide(SpecificIntegerValue other) Returns the quotient of this IntegerValue and the given SpecificIntegerValue.
IntegerValue	divideOf(IntegerValue other) Returns the quotient of the given IntegerValue and this IntegerValue.
IntegerValue	divideOf(RangeIntegerValue other) Returns the quotient of the given RangeIntegerValue and this IntegerValue.
IntegerValue	divideOf(SpecificIntegerValue other) Returns the quotient of the given SpecificIntegerValue and this IntegerValue.
int	equal(IntegerValue other) Returns whether this IntegerValue and the given IntegerValue are equal: NEVER, MAYBE, or ALWAYS.
int	equal(RangeIntegerValue other) Returns whether this IntegerValue and the given RangeIntegerValue are equal: NEVER, MAYBE, or ALWAYS.
int	equal(SpecificIntegerValue other) Returns whether this IntegerValue and the given SpecificIntegerValue are equal: NEVER, MAYBE, or ALWAYS.
boolean	equals(java.lang.Object object)
IntegerValue	generalize(IntegerValue other) Returns the generalization of this IntegerValue and the given other IntegerValue.
IntegerValue	generalize(RangeIntegerValue other) Returns the generalization of this IntegerValue and the given other RangeIntegerValue.
IntegerValue	generalize(SpecificIntegerValue other) Returns the generalization of this IntegerValue and the given other SpecificIntegerValue.
int	hashCode()
boolean	isSpecific() Returns whether this Value represents a single specific (but possibly unknown) value.
int	lessThan(IntegerValue other) Returns whether this IntegerValue is less than the given IntegerValue: NEVER, MAYBE, or ALWAYS.
int	lessThan(RangeIntegerValue other) Returns whether this IntegerValue is less than the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
int	lessThan(SpecificIntegerValue other) Returns whether this IntegerValue is less than the given SpecificIntegerValue: 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(RangeIntegerValue other) Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
int	lessThanOrEqual(SpecificIntegerValue other) Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue: NEVER, MAYBE, or ALWAYS.
IntegerValue	multiply(IntegerValue other) Returns the product of this IntegerValue and the given IntegerValue.
IntegerValue	multiply(RangeIntegerValue other) Returns the product of this IntegerValue and the given RangeIntegerValue.
IntegerValue	multiply(SpecificIntegerValue other) Returns the product of this IntegerValue and the given SpecificIntegerValue.
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(RangeIntegerValue other) Returns the logical or of this IntegerValue and the given RangeIntegerValue.
IntegerValue	or(SpecificIntegerValue other) Returns the logical or of this IntegerValue and the given SpecificIntegerValue.
IntegerValue	remainder(IntegerValue other) Returns the remainder of this IntegerValue divided by the given IntegerValue.
IntegerValue	remainder(RangeIntegerValue other) Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.
IntegerValue	remainder(SpecificIntegerValue other) Returns the remainder of this IntegerValue divided by the given SpecificIntegerValue.
IntegerValue	remainderOf(IntegerValue other) Returns the remainder of the given IntegerValue divided by this IntegerValue.
IntegerValue	remainderOf(RangeIntegerValue other) Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.
IntegerValue	remainderOf(SpecificIntegerValue other) Returns the remainder of the given SpecificIntegerValue divided by this IntegerValue.
IntegerValue	shiftLeft(IntegerValue other) Returns this IntegerValue, shifted left by the given IntegerValue.
IntegerValue	shiftLeft(RangeIntegerValue other) Returns this IntegerValue, shifted left by the given RangeIntegerValue.
IntegerValue	shiftLeft(SpecificIntegerValue other) Returns this IntegerValue, shifted left by the given SpecificIntegerValue.
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(RangeIntegerValue other) Returns the given RangeIntegerValue, shifted left by this IntegerValue.
IntegerValue	shiftLeftOf(SpecificIntegerValue other) Returns the given SpecificIntegerValue, shifted left by this IntegerValue.
LongValue	shiftLeftOf(SpecificLongValue other) Returns the given SpecificLongValue, shifted left by this IntegerValue.
IntegerValue	shiftRight(IntegerValue other) Returns this IntegerValue, shifted right by the given IntegerValue.
IntegerValue	shiftRight(RangeIntegerValue other) Returns this IntegerValue, shifted right by the given RangeIntegerValue.
IntegerValue	shiftRight(SpecificIntegerValue other) Returns this IntegerValue, shifted right by the given SpecificIntegerValue.
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(RangeIntegerValue other) Returns the given RangeIntegerValue, shifted right by this IntegerValue.
IntegerValue	shiftRightOf(SpecificIntegerValue other) Returns the given SpecificIntegerValue, shifted right by this IntegerValue.
LongValue	shiftRightOf(SpecificLongValue other) Returns the given SpecificLongValue, shifted right by this IntegerValue.
IntegerValue	subtract(IntegerValue other) Returns the difference of this IntegerValue and the given IntegerValue.
IntegerValue	subtract(RangeIntegerValue other) Returns the difference of this IntegerValue and the given RangeIntegerValue.
IntegerValue	subtract(SpecificIntegerValue other) Returns the difference of this IntegerValue and the given SpecificIntegerValue.
IntegerValue	subtractFrom(IntegerValue other) Returns the difference of the given IntegerValue and this IntegerValue.
IntegerValue	subtractFrom(RangeIntegerValue other) Returns the difference of the given RangeIntegerValue and this IntegerValue.
IntegerValue	subtractFrom(SpecificIntegerValue other) Returns the difference of the given SpecificIntegerValue and this IntegerValue.
IntegerValue	unsignedShiftRight(IntegerValue other) Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
IntegerValue	unsignedShiftRight(RangeIntegerValue other) Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.
IntegerValue	unsignedShiftRight(SpecificIntegerValue other) Returns this unsigned IntegerValue, shifted right by the given SpecificIntegerValue.
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(RangeIntegerValue other) Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.
IntegerValue	unsignedShiftRightOf(SpecificIntegerValue other) Returns the given unsigned SpecificIntegerValue, shifted right by this IntegerValue.
LongValue	unsignedShiftRightOf(SpecificLongValue other) Returns the given unsigned SpecificLongValue, shifted right by this IntegerValue.
IntegerValue	xor(IntegerValue other) Returns the logical xor of this IntegerValue and the given IntegerValue.
IntegerValue	xor(RangeIntegerValue other) Returns the logical xor of this IntegerValue and the given RangeIntegerValue.
IntegerValue	xor(SpecificIntegerValue other) Returns the logical xor of this IntegerValue and the given SpecificIntegerValue.

Methods inherited from class proguard.evaluation.value.IntegerValue

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

Methods inherited from class proguard.evaluation.value.Category1Value

category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

category2Value, doubleValue, floatValue, instructionOffsetValue, isParticular, longValue, referenceValue

Methods inherited from class java.lang.Object

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

Constructor Detail

SpecificIntegerValue

public SpecificIntegerValue()

Method Detail

negate

public IntegerValue negate()

Description copied from class: IntegerValue

Returns the negated value of this IntegerValue.

Specified by:

negate in class IntegerValue

convertToByte

public IntegerValue convertToByte()

Description copied from class: IntegerValue

Converts this IntegerValue to a byte IntegerValue.

Specified by:

convertToByte in class IntegerValue

convertToCharacter

public IntegerValue convertToCharacter()

Description copied from class: IntegerValue

Converts this IntegerValue to a character IntegerValue.

Specified by:

convertToCharacter in class IntegerValue

convertToShort

public IntegerValue convertToShort()

Description copied from class: IntegerValue

Converts this IntegerValue to a short IntegerValue.

Specified by:

convertToShort in class IntegerValue

convertToLong

public LongValue convertToLong()

Description copied from class: IntegerValue

Converts this IntegerValue to a LongValue.

Specified by:

convertToLong in class IntegerValue

convertToFloat

public FloatValue convertToFloat()

Description copied from class: IntegerValue

Converts this IntegerValue to a FloatValue.

Specified by:

convertToFloat in class IntegerValue

convertToDouble

public DoubleValue convertToDouble()

Description copied from class: IntegerValue

Converts this IntegerValue to a DoubleValue.

Specified by:

convertToDouble in class IntegerValue

generalize

public IntegerValue generalize(IntegerValue other)

Description copied from class: IntegerValue

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

Specified by:

generalize in class IntegerValue

add

public IntegerValue add(IntegerValue other)

Description copied from class: IntegerValue

Returns the sum of this IntegerValue and the given IntegerValue.

Specified by:

add in class IntegerValue

subtract

public IntegerValue subtract(IntegerValue other)

Description copied from class: IntegerValue

Returns the difference of this IntegerValue and the given IntegerValue.

Specified by:

subtract in class IntegerValue

subtractFrom

public IntegerValue subtractFrom(IntegerValue other)

Description copied from class: IntegerValue

Returns the difference of the given IntegerValue and this IntegerValue.

Specified by:

subtractFrom in class IntegerValue

multiply

public IntegerValue multiply(IntegerValue other)

Description copied from class: IntegerValue

Returns the product of this IntegerValue and the given IntegerValue.

Specified by:

multiply in class IntegerValue

divide

public IntegerValue divide(IntegerValue other)
                    throws java.lang.ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of this IntegerValue and the given IntegerValue.

Specified by:

divide in class IntegerValue

Throws:

java.lang.ArithmeticException

divideOf

public IntegerValue divideOf(IntegerValue other)
                      throws java.lang.ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of the given IntegerValue and this IntegerValue.

Specified by:

divideOf in class IntegerValue

Throws:

java.lang.ArithmeticException

remainder

public IntegerValue remainder(IntegerValue other)
                       throws java.lang.ArithmeticException

Description copied from class: IntegerValue

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

Specified by:

remainder in class IntegerValue

Throws:

java.lang.ArithmeticException

remainderOf

public IntegerValue remainderOf(IntegerValue other)
                         throws java.lang.ArithmeticException

Description copied from class: IntegerValue

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

Specified by:

remainderOf in class IntegerValue

Throws:

java.lang.ArithmeticException

shiftLeft

public IntegerValue shiftLeft(IntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted left by the given IntegerValue.

Specified by:

shiftLeft in class IntegerValue

shiftLeftOf

public IntegerValue shiftLeftOf(IntegerValue other)

Description copied from class: IntegerValue

Returns the given IntegerValue, shifted left by this IntegerValue.

Specified by:

shiftLeftOf in class IntegerValue

shiftRight

public IntegerValue shiftRight(IntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted right by the given IntegerValue.

Specified by:

shiftRight in class IntegerValue

shiftRightOf

public IntegerValue shiftRightOf(IntegerValue other)

Description copied from class: IntegerValue

Returns the given IntegerValue, shifted right by this IntegerValue.

Specified by:

shiftRightOf in class IntegerValue

unsignedShiftRight

public IntegerValue unsignedShiftRight(IntegerValue other)

Description copied from class: IntegerValue

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

Specified by:

unsignedShiftRight in class IntegerValue

unsignedShiftRightOf

public IntegerValue unsignedShiftRightOf(IntegerValue other)

Description copied from class: IntegerValue

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

Specified by:

unsignedShiftRightOf in class IntegerValue

shiftLeftOf

public LongValue shiftLeftOf(LongValue other)

Description copied from class: IntegerValue

Returns the given LongValue, shifted left by this IntegerValue.

Specified by:

shiftLeftOf in class IntegerValue

shiftRightOf

public LongValue shiftRightOf(LongValue other)

Description copied from class: IntegerValue

Returns the given LongValue, shifted right by this IntegerValue.

Specified by:

shiftRightOf in class IntegerValue

unsignedShiftRightOf

public LongValue unsignedShiftRightOf(LongValue other)

Description copied from class: IntegerValue

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

Specified by:

unsignedShiftRightOf in class IntegerValue

and

public IntegerValue and(IntegerValue other)

Description copied from class: IntegerValue

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

Specified by:

and in class IntegerValue

or

public IntegerValue or(IntegerValue other)

Description copied from class: IntegerValue

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

Specified by:

or in class IntegerValue

xor

public IntegerValue xor(IntegerValue other)

Description copied from class: IntegerValue

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

Specified by:

xor in class IntegerValue

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.

Specified by:

equal in class IntegerValue

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.

Specified by:

lessThan in class IntegerValue

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.

Specified by:

lessThanOrEqual in class IntegerValue

generalize

public IntegerValue generalize(SpecificIntegerValue other)

Description copied from class: IntegerValue

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

Overrides:

generalize in class IntegerValue

add

public IntegerValue add(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns the sum of this IntegerValue and the given SpecificIntegerValue.

Overrides:

add in class IntegerValue

subtract

public IntegerValue subtract(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns the difference of this IntegerValue and the given SpecificIntegerValue.

Overrides:

subtract in class IntegerValue

subtractFrom

public IntegerValue subtractFrom(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns the difference of the given SpecificIntegerValue and this IntegerValue.

Overrides:

subtractFrom in class IntegerValue

multiply

public IntegerValue multiply(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns the product of this IntegerValue and the given SpecificIntegerValue.

Overrides:

multiply in class IntegerValue

divide

public IntegerValue divide(SpecificIntegerValue other)
                    throws java.lang.ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of this IntegerValue and the given SpecificIntegerValue.

Overrides:

divide in class IntegerValue

Throws:

java.lang.ArithmeticException

divideOf

public IntegerValue divideOf(SpecificIntegerValue other)
                      throws java.lang.ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of the given SpecificIntegerValue and this IntegerValue.

Overrides:

divideOf in class IntegerValue

Throws:

java.lang.ArithmeticException

remainder

public IntegerValue remainder(SpecificIntegerValue other)
                       throws java.lang.ArithmeticException

Description copied from class: IntegerValue

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

Overrides:

remainder in class IntegerValue

Throws:

java.lang.ArithmeticException

remainderOf

public IntegerValue remainderOf(SpecificIntegerValue other)
                         throws java.lang.ArithmeticException

Description copied from class: IntegerValue

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

Overrides:

remainderOf in class IntegerValue

Throws:

java.lang.ArithmeticException

shiftLeft

public IntegerValue shiftLeft(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted left by the given SpecificIntegerValue.

Overrides:

shiftLeft in class IntegerValue

shiftRight

public IntegerValue shiftRight(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted right by the given SpecificIntegerValue.

Overrides:

shiftRight in class IntegerValue

unsignedShiftRight

public IntegerValue unsignedShiftRight(SpecificIntegerValue other)

Description copied from class: IntegerValue

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

Overrides:

unsignedShiftRight in class IntegerValue

shiftLeftOf

public IntegerValue shiftLeftOf(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns the given SpecificIntegerValue, shifted left by this IntegerValue.

Overrides:

shiftLeftOf in class IntegerValue

shiftRightOf

public IntegerValue shiftRightOf(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns the given SpecificIntegerValue, shifted right by this IntegerValue.

Overrides:

shiftRightOf in class IntegerValue

unsignedShiftRightOf

public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)

Description copied from class: IntegerValue

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

Overrides:

unsignedShiftRightOf in class IntegerValue

shiftLeftOf

public LongValue shiftLeftOf(SpecificLongValue other)

Description copied from class: IntegerValue

Returns the given SpecificLongValue, shifted left by this IntegerValue.

Overrides:

shiftLeftOf in class IntegerValue

shiftRightOf

public LongValue shiftRightOf(SpecificLongValue other)

Description copied from class: IntegerValue

Returns the given SpecificLongValue, shifted right by this IntegerValue.

Overrides:

shiftRightOf in class IntegerValue

unsignedShiftRightOf

public LongValue unsignedShiftRightOf(SpecificLongValue other)

Description copied from class: IntegerValue

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

Overrides:

unsignedShiftRightOf in class IntegerValue

and

public IntegerValue and(SpecificIntegerValue other)

Description copied from class: IntegerValue

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

Overrides:

and in class IntegerValue

or

public IntegerValue or(SpecificIntegerValue other)

Description copied from class: IntegerValue

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

Overrides:

or in class IntegerValue

xor

public IntegerValue xor(SpecificIntegerValue other)

Description copied from class: IntegerValue

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

Overrides:

xor in class IntegerValue

equal

public int equal(SpecificIntegerValue other)

Description copied from class: IntegerValue

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

Overrides:

equal in class IntegerValue

lessThan

public int lessThan(SpecificIntegerValue other)

Description copied from class: IntegerValue

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

Overrides:

lessThan in class IntegerValue

lessThanOrEqual

public int lessThanOrEqual(SpecificIntegerValue other)

Description copied from class: IntegerValue

Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue: 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 IntegerValue

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 IntegerValue

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 IntegerValue

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 IntegerValue

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 IntegerValue

divide

public IntegerValue divide(RangeIntegerValue other)
                    throws java.lang.ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of this IntegerValue and the given RangeIntegerValue.

Overrides:

divide in class IntegerValue

Throws:

java.lang.ArithmeticException

divideOf

public IntegerValue divideOf(RangeIntegerValue other)
                      throws java.lang.ArithmeticException

Description copied from class: IntegerValue

Returns the quotient of the given RangeIntegerValue and this IntegerValue.

Overrides:

divideOf in class IntegerValue

Throws:

java.lang.ArithmeticException

remainder

public IntegerValue remainder(RangeIntegerValue other)
                       throws java.lang.ArithmeticException

Description copied from class: IntegerValue

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

Overrides:

remainder in class IntegerValue

Throws:

java.lang.ArithmeticException

remainderOf

public IntegerValue remainderOf(RangeIntegerValue other)
                         throws java.lang.ArithmeticException

Description copied from class: IntegerValue

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

Overrides:

remainderOf in class IntegerValue

Throws:

java.lang.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 IntegerValue

shiftRight

public IntegerValue shiftRight(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns this IntegerValue, shifted right by the given RangeIntegerValue.

Overrides:

shiftRight in class IntegerValue

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 IntegerValue

shiftLeftOf

public IntegerValue shiftLeftOf(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the given RangeIntegerValue, shifted left by this IntegerValue.

Overrides:

shiftLeftOf in class IntegerValue

shiftRightOf

public IntegerValue shiftRightOf(RangeIntegerValue other)

Description copied from class: IntegerValue

Returns the given RangeIntegerValue, shifted right by this IntegerValue.

Overrides:

shiftRightOf in class IntegerValue

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 IntegerValue

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 IntegerValue

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 IntegerValue

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 IntegerValue

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 IntegerValue

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 IntegerValue

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 IntegerValue

isSpecific

public boolean isSpecific()

Description copied from class: Value

Returns whether this Value represents a single specific (but possibly unknown) value.

Overrides:

isSpecific in class Value

equals

public boolean equals(java.lang.Object object)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object