proguard.evaluation.value
Class UnknownIntegerValue

java.lang.Object
  extended by proguard.evaluation.value.Value
      extended by proguard.evaluation.value.Category1Value
          extended by proguard.evaluation.value.IntegerValue
              extended by proguard.evaluation.value.UnknownIntegerValue

public class UnknownIntegerValue
extends IntegerValue

This class represents a partially evaluated integer value.


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
UnknownIntegerValue()
           
 
Method Summary
 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, and, and, and, computationalType, divide, divide, divide, divideOf, divideOf, divideOf, equal, equal, equal, generalize, generalize, generalize, generalize, greaterThan, greaterThan, greaterThan, greaterThan, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, integerValue, internalType, lessThan, lessThan, lessThan, lessThanOrEqual, lessThanOrEqual, lessThanOrEqual, multiply, multiply, multiply, notEqual, notEqual, notEqual, notEqual, or, or, or, remainder, remainder, remainder, remainderOf, remainderOf, remainderOf, shiftLeft, shiftLeft, shiftLeft, shiftLeftOf, shiftLeftOf, shiftLeftOf, shiftLeftOf, shiftLeftOf, shiftLeftOf, shiftRight, shiftRight, shiftRight, shiftRightOf, shiftRightOf, shiftRightOf, shiftRightOf, shiftRightOf, shiftRightOf, subtract, subtract, subtract, subtractFrom, subtractFrom, subtractFrom, unsignedShiftRight, unsignedShiftRight, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, unsignedShiftRightOf, unsignedShiftRightOf, unsignedShiftRightOf, unsignedShiftRightOf, value, xor, 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, 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