Package proguard.evaluation.value

Class UnknownIntegerValue

java.lang.Object

proguard.evaluation.value.Value

proguard.evaluation.value.Category1Value

proguard.evaluation.value.IntegerValue

proguard.evaluation.value.UnknownIntegerValue

public class UnknownIntegerValue
extends IntegerValue

IntegerValue that is unknown.

This class handles interactions with: - IntegerValue (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
UnknownIntegerValue()

Method Summary

Modifier and Type	Method	Description
IntegerValue	add(IntegerValue other)	Returns the sum of this IntegerValue and the given IntegerValue.
IntegerValue	and(IntegerValue other)	Returns the logical and of this IntegerValue and the given IntegerValue.
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	divideOf(IntegerValue other)	Returns the quotient of the given IntegerValue and this IntegerValue.
int	equal(IntegerValue other)	Returns whether this IntegerValue and the given IntegerValue 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.
int	hashCode()
int	lessThan(IntegerValue other)	Returns whether this IntegerValue is less than the given IntegerValue: 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.
IntegerValue	multiply(IntegerValue other)	Returns the product of this IntegerValue and the given IntegerValue.
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	remainder(IntegerValue other)	Returns the remainder of this IntegerValue divided by the given IntegerValue.
IntegerValue	remainderOf(IntegerValue other)	Returns the remainder of the given IntegerValue divided by this IntegerValue.
IntegerValue	shiftLeft(IntegerValue other)	Returns this IntegerValue, shifted left by the given IntegerValue.
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	shiftRight(IntegerValue other)	Returns this IntegerValue, shifted right by the given IntegerValue.
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	subtract(IntegerValue other)	Returns the difference of this IntegerValue and the given IntegerValue.
IntegerValue	subtractFrom(IntegerValue other)	Returns the difference of the given IntegerValue and this IntegerValue.
java.lang.String	toString()
IntegerValue	unsignedShiftRight(IntegerValue other)	Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
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	xor(IntegerValue other)	Returns the logical xor of this IntegerValue and the given IntegerValue.

Methods inherited from class proguard.evaluation.value.IntegerValue

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

Methods inherited from class proguard.evaluation.value.Category1Value

category1Value, isCategory2

Methods inherited from class proguard.evaluation.value.Value

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

Methods inherited from class java.lang.Object

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

Constructor Detail

UnknownIntegerValue

public UnknownIntegerValue()

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)
                      throws java.lang.ArithmeticException

Description copied from class: IntegerValue

Returns the product of this IntegerValue and the given IntegerValue.

Specified by:

multiply in class IntegerValue

Throws:

java.lang.ArithmeticException

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

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object