Package proguard.evaluation.value
Class IntegerValue
- java.lang.Object
-
- proguard.evaluation.value.Value
-
- proguard.evaluation.value.Category1Value
-
- proguard.evaluation.value.IntegerValue
-
- Direct Known Subclasses:
RangeIntegerValue,SpecificIntegerValue,UnknownIntegerValue
public abstract class IntegerValue extends Category1Value
Representation of 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, TYPE_UNKNOWN
-
-
Constructor Summary
Constructors Constructor Description IntegerValue()
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract IntegerValueadd(IntegerValue other)Returns the sum of this IntegerValue and the given IntegerValue.IntegerValueadd(ParticularIntegerValue other)Returns the sum of this IntegerValue and the given ParticularIntegerValue.IntegerValueadd(RangeIntegerValue other)Returns the sum of this IntegerValue and the given RangeIntegerValue.IntegerValueadd(SpecificIntegerValue other)Returns the sum of this IntegerValue and the given SpecificIntegerValue.IntegerValueadd(UnknownIntegerValue other)Returns the sum of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValueand(IntegerValue other)Returns the logical and of this IntegerValue and the given IntegerValue.IntegerValueand(ParticularIntegerValue other)Returns the logical and of this IntegerValue and the given ParticularIntegerValue.IntegerValueand(RangeIntegerValue other)Returns the logical and of this IntegerValue and the given RangeIntegerValue.IntegerValueand(SpecificIntegerValue other)Returns the logical and of this IntegerValue and the given SpecificIntegerValue.IntegerValueand(UnknownIntegerValue other)Returns the logical and of this IntegerValue and the given UnknownIntegerValue.intcomputationalType()Returns the computational type of this Value.abstract IntegerValueconvertToByte()Converts this IntegerValue to a byte IntegerValue.abstract IntegerValueconvertToCharacter()Converts this IntegerValue to a character IntegerValue.abstract DoubleValueconvertToDouble()Converts this IntegerValue to a DoubleValue.abstract FloatValueconvertToFloat()Converts this IntegerValue to a FloatValue.abstract LongValueconvertToLong()Converts this IntegerValue to a LongValue.abstract IntegerValueconvertToShort()Converts this IntegerValue to a short IntegerValue.abstract IntegerValuedivide(IntegerValue other)Returns the quotient of this IntegerValue and the given IntegerValue.IntegerValuedivide(ParticularIntegerValue other)Returns the quotient of this IntegerValue and the given ParticularIntegerValue.IntegerValuedivide(RangeIntegerValue other)Returns the quotient of this IntegerValue and the given RangeIntegerValue.IntegerValuedivide(SpecificIntegerValue other)Returns the quotient of this IntegerValue and the given SpecificIntegerValue.IntegerValuedivide(UnknownIntegerValue other)Returns the quotient of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValuedivideOf(IntegerValue other)Returns the quotient of the given IntegerValue and this IntegerValue.IntegerValuedivideOf(ParticularIntegerValue other)Returns the quotient of the given ParticularIntegerValue and this IntegerValue.IntegerValuedivideOf(RangeIntegerValue other)Returns the quotient of the given RangeIntegerValue and this IntegerValue.IntegerValuedivideOf(SpecificIntegerValue other)Returns the quotient of the given SpecificIntegerValue and this IntegerValue.IntegerValuedivideOf(UnknownIntegerValue other)Returns the quotient of the given UnknownIntegerValue and this IntegerValue.abstract intequal(IntegerValue other)Returns whether this IntegerValue and the given IntegerValue are equal:NEVER,MAYBE, orALWAYS.intequal(ParticularIntegerValue other)Returns whether this IntegerValue and the given ParticularIntegerValue are equal:NEVER,MAYBE, orALWAYS.intequal(RangeIntegerValue other)Returns whether this IntegerValue and the given RangeIntegerValue are equal:NEVER,MAYBE, orALWAYS.intequal(SpecificIntegerValue other)Returns whether this IntegerValue and the given SpecificIntegerValue are equal:NEVER,MAYBE, orALWAYS.intequal(UnknownIntegerValue other)Returns whether this IntegerValue and the given UnknownIntegerValue are equal:NEVER,MAYBE, orALWAYS.abstract IntegerValuegeneralize(IntegerValue other)Returns the generalization of this IntegerValue and the given other IntegerValue.IntegerValuegeneralize(ParticularIntegerValue other)Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.IntegerValuegeneralize(RangeIntegerValue other)Returns the generalization of this IntegerValue and the given other RangeIntegerValue.IntegerValuegeneralize(SpecificIntegerValue other)Returns the generalization of this IntegerValue and the given other SpecificIntegerValue.IntegerValuegeneralize(UnknownIntegerValue other)Returns the generalization of this IntegerValue and the given other UnknownIntegerValue.Valuegeneralize(Value other)Returns the generalization of this Value and the given other Value.intgreaterThan(IntegerValue other)Returns whether this IntegerValue is greater than the given IntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThan(ParticularIntegerValue other)Returns whether this IntegerValue is greater than the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThan(RangeIntegerValue other)Returns whether this IntegerValue is greater than the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThan(SpecificIntegerValue other)Returns whether this IntegerValue is greater than the given SpecificIntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThan(UnknownIntegerValue other)Returns whether this IntegerValue is greater than the given UnknownIntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThanOrEqual(IntegerValue other)Returns whether this IntegerValue is greater than or equal to the given IntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThanOrEqual(ParticularIntegerValue other)Returns whether this IntegerValue is greater than or equal to the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThanOrEqual(RangeIntegerValue other)Returns whether this IntegerValue is greater than or equal to the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThanOrEqual(SpecificIntegerValue other)Returns whether this IntegerValue is greater than or equal to the given SpecificIntegerValue:NEVER,MAYBE, orALWAYS.intgreaterThanOrEqual(UnknownIntegerValue other)Returns whether this IntegerValue is greater than or equal to the given UnknownIntegerValue:NEVER,MAYBE, orALWAYS.IntegerValueintegerValue()Returns this Value as an IntegerValue.java.lang.StringinternalType()Returns the internal type of this Value.abstract intlessThan(IntegerValue other)Returns whether this IntegerValue is less than the given IntegerValue:NEVER,MAYBE, orALWAYS.intlessThan(ParticularIntegerValue other)Returns whether this IntegerValue is less than the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.intlessThan(RangeIntegerValue other)Returns whether this IntegerValue is less than the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.intlessThan(SpecificIntegerValue other)Returns whether this IntegerValue is less than the given SpecificIntegerValue:NEVER,MAYBE, orALWAYS.intlessThan(UnknownIntegerValue other)Returns whether this IntegerValue is less than the given UnknownIntegerValue:NEVER,MAYBE, orALWAYS.abstract intlessThanOrEqual(IntegerValue other)Returns whether this IntegerValue is less than or equal to the given IntegerValue:NEVER,MAYBE, orALWAYS.intlessThanOrEqual(ParticularIntegerValue other)Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.intlessThanOrEqual(RangeIntegerValue other)Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.intlessThanOrEqual(SpecificIntegerValue other)Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue:NEVER,MAYBE, orALWAYS.intlessThanOrEqual(UnknownIntegerValue other)Returns whether this IntegerValue is less than or equal to the given UnknownIntegerValue:NEVER,MAYBE, orALWAYS.abstract IntegerValuemultiply(IntegerValue other)Returns the product of this IntegerValue and the given IntegerValue.IntegerValuemultiply(ParticularIntegerValue other)Returns the product of this IntegerValue and the given ParticularIntegerValue.IntegerValuemultiply(RangeIntegerValue other)Returns the product of this IntegerValue and the given RangeIntegerValue.IntegerValuemultiply(SpecificIntegerValue other)Returns the product of this IntegerValue and the given SpecificIntegerValue.IntegerValuemultiply(UnknownIntegerValue other)Returns the product of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValuenegate()Returns the negated value of this IntegerValue.intnotEqual(IntegerValue other)Returns whether this IntegerValue and the given IntegerValue are different:NEVER,MAYBE, orALWAYS.intnotEqual(ParticularIntegerValue other)Returns whether this IntegerValue and the given ParticularIntegerValue are different:NEVER,MAYBE, orALWAYS.intnotEqual(RangeIntegerValue other)Returns whether this IntegerValue and the given RangeIntegerValue are different:NEVER,MAYBE, orALWAYS.intnotEqual(SpecificIntegerValue other)Returns whether this IntegerValue and the given SpecificIntegerValue are different:NEVER,MAYBE, orALWAYS.intnotEqual(UnknownIntegerValue other)Returns whether this IntegerValue and the given UnknownIntegerValue are different:NEVER,MAYBE, orALWAYS.abstract IntegerValueor(IntegerValue other)Returns the logical or of this IntegerValue and the given IntegerValue.IntegerValueor(ParticularIntegerValue other)Returns the logical or of this IntegerValue and the given ParticularIntegerValue.IntegerValueor(RangeIntegerValue other)Returns the logical or of this IntegerValue and the given RangeIntegerValue.IntegerValueor(SpecificIntegerValue other)Returns the logical or of this IntegerValue and the given SpecificIntegerValue.IntegerValueor(UnknownIntegerValue other)Returns the logical or of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValueremainder(IntegerValue other)Returns the remainder of this IntegerValue divided by the given IntegerValue.IntegerValueremainder(ParticularIntegerValue other)Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.IntegerValueremainder(RangeIntegerValue other)Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.IntegerValueremainder(SpecificIntegerValue other)Returns the remainder of this IntegerValue divided by the given SpecificIntegerValue.IntegerValueremainder(UnknownIntegerValue other)Returns the remainder of this IntegerValue divided by the given UnknownIntegerValue.abstract IntegerValueremainderOf(IntegerValue other)Returns the remainder of the given IntegerValue divided by this IntegerValue.IntegerValueremainderOf(ParticularIntegerValue other)Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.IntegerValueremainderOf(RangeIntegerValue other)Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.IntegerValueremainderOf(SpecificIntegerValue other)Returns the remainder of the given SpecificIntegerValue divided by this IntegerValue.IntegerValueremainderOf(UnknownIntegerValue other)Returns the remainder of the given UnknownIntegerValue divided by this IntegerValue.abstract IntegerValueshiftLeft(IntegerValue other)Returns this IntegerValue, shifted left by the given IntegerValue.IntegerValueshiftLeft(ParticularIntegerValue other)Returns this IntegerValue, shifted left by the given ParticularIntegerValue.IntegerValueshiftLeft(RangeIntegerValue other)Returns this IntegerValue, shifted left by the given RangeIntegerValue.IntegerValueshiftLeft(SpecificIntegerValue other)Returns this IntegerValue, shifted left by the given SpecificIntegerValue.IntegerValueshiftLeft(UnknownIntegerValue other)Returns this IntegerValue, shifted left by the given UnknownIntegerValue.abstract IntegerValueshiftLeftOf(IntegerValue other)Returns the given IntegerValue, shifted left by this IntegerValue.abstract LongValueshiftLeftOf(LongValue other)Returns the given LongValue, shifted left by this IntegerValue.IntegerValueshiftLeftOf(ParticularIntegerValue other)Returns the given ParticularIntegerValue, shifted left by this IntegerValue.LongValueshiftLeftOf(ParticularLongValue other)Returns the given ParticularLongValue, shifted left by this IntegerValue.IntegerValueshiftLeftOf(RangeIntegerValue other)Returns the given RangeIntegerValue, shifted left by this IntegerValue.IntegerValueshiftLeftOf(SpecificIntegerValue other)Returns the given SpecificIntegerValue, shifted left by this IntegerValue.LongValueshiftLeftOf(SpecificLongValue other)Returns the given SpecificLongValue, shifted left by this IntegerValue.IntegerValueshiftLeftOf(UnknownIntegerValue other)Returns the given UnknownIntegerValue, shifted left by this IntegerValue.LongValueshiftLeftOf(UnknownLongValue other)Returns the given UnknownLongValue, shifted left by this IntegerValue.abstract IntegerValueshiftRight(IntegerValue other)Returns this IntegerValue, shifted right by the given IntegerValue.IntegerValueshiftRight(ParticularIntegerValue other)Returns this IntegerValue, shifted right by the given ParticularIntegerValue.IntegerValueshiftRight(RangeIntegerValue other)Returns this IntegerValue, shifted right by the given RangeIntegerValue.IntegerValueshiftRight(SpecificIntegerValue other)Returns this IntegerValue, shifted right by the given SpecificIntegerValue.IntegerValueshiftRight(UnknownIntegerValue other)Returns this IntegerValue, shifted right by the given UnknownIntegerValue.abstract IntegerValueshiftRightOf(IntegerValue other)Returns the given IntegerValue, shifted right by this IntegerValue.abstract LongValueshiftRightOf(LongValue other)Returns the given LongValue, shifted right by this IntegerValue.IntegerValueshiftRightOf(ParticularIntegerValue other)Returns the given ParticularIntegerValue, shifted right by this IntegerValue.LongValueshiftRightOf(ParticularLongValue other)Returns the given ParticularLongValue, shifted right by this IntegerValue.IntegerValueshiftRightOf(RangeIntegerValue other)Returns the given RangeIntegerValue, shifted right by this IntegerValue.IntegerValueshiftRightOf(SpecificIntegerValue other)Returns the given SpecificIntegerValue, shifted right by this IntegerValue.LongValueshiftRightOf(SpecificLongValue other)Returns the given SpecificLongValue, shifted right by this IntegerValue.IntegerValueshiftRightOf(UnknownIntegerValue other)Returns the given UnknownIntegerValue, shifted right by this IntegerValue.LongValueshiftRightOf(UnknownLongValue other)Returns the given UnknownLongValue, shifted right by this IntegerValue.abstract IntegerValuesubtract(IntegerValue other)Returns the difference of this IntegerValue and the given IntegerValue.IntegerValuesubtract(ParticularIntegerValue other)Returns the difference of this IntegerValue and the given ParticularIntegerValue.IntegerValuesubtract(RangeIntegerValue other)Returns the difference of this IntegerValue and the given RangeIntegerValue.IntegerValuesubtract(SpecificIntegerValue other)Returns the difference of this IntegerValue and the given SpecificIntegerValue.IntegerValuesubtract(UnknownIntegerValue other)Returns the difference of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValuesubtractFrom(IntegerValue other)Returns the difference of the given IntegerValue and this IntegerValue.IntegerValuesubtractFrom(ParticularIntegerValue other)Returns the difference of the given ParticularIntegerValue and this IntegerValue.IntegerValuesubtractFrom(RangeIntegerValue other)Returns the difference of the given RangeIntegerValue and this IntegerValue.IntegerValuesubtractFrom(SpecificIntegerValue other)Returns the difference of the given SpecificIntegerValue and this IntegerValue.IntegerValuesubtractFrom(UnknownIntegerValue other)Returns the difference of the given UnknownIntegerValue and this IntegerValue.abstract IntegerValueunsignedShiftRight(IntegerValue other)Returns this unsigned IntegerValue, shifted left by the given IntegerValue.IntegerValueunsignedShiftRight(ParticularIntegerValue other)Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.IntegerValueunsignedShiftRight(RangeIntegerValue other)Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.IntegerValueunsignedShiftRight(SpecificIntegerValue other)Returns this unsigned IntegerValue, shifted right by the given SpecificIntegerValue.IntegerValueunsignedShiftRight(UnknownIntegerValue other)Returns this unsigned IntegerValue, shifted right by the given UnknownIntegerValue.abstract IntegerValueunsignedShiftRightOf(IntegerValue other)Returns the given unsigned IntegerValue, shifted left by this IntegerValue.abstract LongValueunsignedShiftRightOf(LongValue other)Returns the given unsigned LongValue, shifted right by this IntegerValue.IntegerValueunsignedShiftRightOf(ParticularIntegerValue other)Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.LongValueunsignedShiftRightOf(ParticularLongValue other)Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.IntegerValueunsignedShiftRightOf(RangeIntegerValue other)Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.IntegerValueunsignedShiftRightOf(SpecificIntegerValue other)Returns the given unsigned SpecificIntegerValue, shifted right by this IntegerValue.LongValueunsignedShiftRightOf(SpecificLongValue other)Returns the given unsigned SpecificLongValue, shifted right by this IntegerValue.IntegerValueunsignedShiftRightOf(UnknownIntegerValue other)Returns the given unsigned UnknownIntegerValue, shifted right by this IntegerValue.LongValueunsignedShiftRightOf(UnknownLongValue other)Returns the given unsigned UnknownLongValue, shifted right by this IntegerValue.intvalue()Returns the specific integer value, if applicable.abstract IntegerValuexor(IntegerValue other)Returns the logical xor of this IntegerValue and the given IntegerValue.IntegerValuexor(ParticularIntegerValue other)Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.IntegerValuexor(RangeIntegerValue other)Returns the logical xor of this IntegerValue and the given RangeIntegerValue.IntegerValuexor(SpecificIntegerValue other)Returns the logical xor of this IntegerValue and the given SpecificIntegerValue.IntegerValuexor(UnknownIntegerValue other)Returns the logical xor of this IntegerValue and the given UnknownIntegerValue.-
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
-
-
-
-
Method Detail
-
value
public int value()
Returns the specific integer value, if applicable.
-
negate
public abstract IntegerValue negate()
Returns the negated value of this IntegerValue.
-
convertToByte
public abstract IntegerValue convertToByte()
Converts this IntegerValue to a byte IntegerValue.
-
convertToCharacter
public abstract IntegerValue convertToCharacter()
Converts this IntegerValue to a character IntegerValue.
-
convertToShort
public abstract IntegerValue convertToShort()
Converts this IntegerValue to a short IntegerValue.
-
convertToLong
public abstract LongValue convertToLong()
Converts this IntegerValue to a LongValue.
-
convertToFloat
public abstract FloatValue convertToFloat()
Converts this IntegerValue to a FloatValue.
-
convertToDouble
public abstract DoubleValue convertToDouble()
Converts this IntegerValue to a DoubleValue.
-
generalize
public abstract IntegerValue generalize(IntegerValue other)
Returns the generalization of this IntegerValue and the given other IntegerValue.
-
add
public abstract IntegerValue add(IntegerValue other)
Returns the sum of this IntegerValue and the given IntegerValue.
-
subtract
public abstract IntegerValue subtract(IntegerValue other)
Returns the difference of this IntegerValue and the given IntegerValue.
-
subtractFrom
public abstract IntegerValue subtractFrom(IntegerValue other)
Returns the difference of the given IntegerValue and this IntegerValue.
-
multiply
public abstract IntegerValue multiply(IntegerValue other) throws java.lang.ArithmeticException
Returns the product of this IntegerValue and the given IntegerValue.- Throws:
java.lang.ArithmeticException
-
divide
public abstract IntegerValue divide(IntegerValue other) throws java.lang.ArithmeticException
Returns the quotient of this IntegerValue and the given IntegerValue.- Throws:
java.lang.ArithmeticException
-
divideOf
public abstract IntegerValue divideOf(IntegerValue other) throws java.lang.ArithmeticException
Returns the quotient of the given IntegerValue and this IntegerValue.- Throws:
java.lang.ArithmeticException
-
remainder
public abstract IntegerValue remainder(IntegerValue other) throws java.lang.ArithmeticException
Returns the remainder of this IntegerValue divided by the given IntegerValue.- Throws:
java.lang.ArithmeticException
-
remainderOf
public abstract IntegerValue remainderOf(IntegerValue other) throws java.lang.ArithmeticException
Returns the remainder of the given IntegerValue divided by this IntegerValue.- Throws:
java.lang.ArithmeticException
-
shiftLeft
public abstract IntegerValue shiftLeft(IntegerValue other)
Returns this IntegerValue, shifted left by the given IntegerValue.
-
shiftRight
public abstract IntegerValue shiftRight(IntegerValue other)
Returns this IntegerValue, shifted right by the given IntegerValue.
-
unsignedShiftRight
public abstract IntegerValue unsignedShiftRight(IntegerValue other)
Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
-
shiftLeftOf
public abstract IntegerValue shiftLeftOf(IntegerValue other)
Returns the given IntegerValue, shifted left by this IntegerValue.
-
shiftRightOf
public abstract IntegerValue shiftRightOf(IntegerValue other)
Returns the given IntegerValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public abstract IntegerValue unsignedShiftRightOf(IntegerValue other)
Returns the given unsigned IntegerValue, shifted left by this IntegerValue.
-
shiftLeftOf
public abstract LongValue shiftLeftOf(LongValue other)
Returns the given LongValue, shifted left by this IntegerValue.
-
shiftRightOf
public abstract LongValue shiftRightOf(LongValue other)
Returns the given LongValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public abstract LongValue unsignedShiftRightOf(LongValue other)
Returns the given unsigned LongValue, shifted right by this IntegerValue.
-
and
public abstract IntegerValue and(IntegerValue other)
Returns the logical and of this IntegerValue and the given IntegerValue.
-
or
public abstract IntegerValue or(IntegerValue other)
Returns the logical or of this IntegerValue and the given IntegerValue.
-
xor
public abstract IntegerValue xor(IntegerValue other)
Returns the logical xor of this IntegerValue and the given IntegerValue.
-
equal
public abstract int equal(IntegerValue other)
Returns whether this IntegerValue and the given IntegerValue are equal:NEVER,MAYBE, orALWAYS.
-
lessThan
public abstract int lessThan(IntegerValue other)
Returns whether this IntegerValue is less than the given IntegerValue:NEVER,MAYBE, orALWAYS.
-
lessThanOrEqual
public abstract int lessThanOrEqual(IntegerValue other)
Returns whether this IntegerValue is less than or equal to the given IntegerValue:NEVER,MAYBE, orALWAYS.
-
notEqual
public final int notEqual(IntegerValue other)
Returns whether this IntegerValue and the given IntegerValue are different:NEVER,MAYBE, orALWAYS.
-
greaterThan
public final int greaterThan(IntegerValue other)
Returns whether this IntegerValue is greater than the given IntegerValue:NEVER,MAYBE, orALWAYS.
-
greaterThanOrEqual
public final int greaterThanOrEqual(IntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given IntegerValue:NEVER,MAYBE, orALWAYS.
-
generalize
public IntegerValue generalize(UnknownIntegerValue other)
Returns the generalization of this IntegerValue and the given other UnknownIntegerValue.
-
add
public IntegerValue add(UnknownIntegerValue other)
Returns the sum of this IntegerValue and the given UnknownIntegerValue.
-
subtract
public IntegerValue subtract(UnknownIntegerValue other)
Returns the difference of this IntegerValue and the given UnknownIntegerValue.
-
subtractFrom
public IntegerValue subtractFrom(UnknownIntegerValue other)
Returns the difference of the given UnknownIntegerValue and this IntegerValue.
-
multiply
public IntegerValue multiply(UnknownIntegerValue other)
Returns the product of this IntegerValue and the given UnknownIntegerValue.
-
divide
public IntegerValue divide(UnknownIntegerValue other)
Returns the quotient of this IntegerValue and the given UnknownIntegerValue.
-
divideOf
public IntegerValue divideOf(UnknownIntegerValue other)
Returns the quotient of the given UnknownIntegerValue and this IntegerValue.
-
remainder
public IntegerValue remainder(UnknownIntegerValue other)
Returns the remainder of this IntegerValue divided by the given UnknownIntegerValue.
-
remainderOf
public IntegerValue remainderOf(UnknownIntegerValue other)
Returns the remainder of the given UnknownIntegerValue divided by this IntegerValue.
-
shiftLeft
public IntegerValue shiftLeft(UnknownIntegerValue other)
Returns this IntegerValue, shifted left by the given UnknownIntegerValue.
-
shiftRight
public IntegerValue shiftRight(UnknownIntegerValue other)
Returns this IntegerValue, shifted right by the given UnknownIntegerValue.
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(UnknownIntegerValue other)
Returns this unsigned IntegerValue, shifted right by the given UnknownIntegerValue.
-
shiftLeftOf
public IntegerValue shiftLeftOf(UnknownIntegerValue other)
Returns the given UnknownIntegerValue, shifted left by this IntegerValue.
-
shiftRightOf
public IntegerValue shiftRightOf(UnknownIntegerValue other)
Returns the given UnknownIntegerValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(UnknownIntegerValue other)
Returns the given unsigned UnknownIntegerValue, shifted right by this IntegerValue.
-
shiftLeftOf
public LongValue shiftLeftOf(UnknownLongValue other)
Returns the given UnknownLongValue, shifted left by this IntegerValue.
-
shiftRightOf
public LongValue shiftRightOf(UnknownLongValue other)
Returns the given UnknownLongValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public LongValue unsignedShiftRightOf(UnknownLongValue other)
Returns the given unsigned UnknownLongValue, shifted right by this IntegerValue.
-
and
public IntegerValue and(UnknownIntegerValue other)
Returns the logical and of this IntegerValue and the given UnknownIntegerValue.
-
or
public IntegerValue or(UnknownIntegerValue other)
Returns the logical or of this IntegerValue and the given UnknownIntegerValue.
-
xor
public IntegerValue xor(UnknownIntegerValue other)
Returns the logical xor of this IntegerValue and the given UnknownIntegerValue.
-
equal
public int equal(UnknownIntegerValue other)
Returns whether this IntegerValue and the given UnknownIntegerValue are equal:NEVER,MAYBE, orALWAYS.
-
lessThan
public int lessThan(UnknownIntegerValue other)
Returns whether this IntegerValue is less than the given UnknownIntegerValue:NEVER,MAYBE, orALWAYS.
-
lessThanOrEqual
public int lessThanOrEqual(UnknownIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given UnknownIntegerValue:NEVER,MAYBE, orALWAYS.
-
notEqual
public final int notEqual(UnknownIntegerValue other)
Returns whether this IntegerValue and the given UnknownIntegerValue are different:NEVER,MAYBE, orALWAYS.
-
greaterThan
public final int greaterThan(UnknownIntegerValue other)
Returns whether this IntegerValue is greater than the given UnknownIntegerValue:NEVER,MAYBE, orALWAYS.
-
greaterThanOrEqual
public final int greaterThanOrEqual(UnknownIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given UnknownIntegerValue:NEVER,MAYBE, orALWAYS.
-
generalize
public IntegerValue generalize(SpecificIntegerValue other)
Returns the generalization of this IntegerValue and the given other SpecificIntegerValue.
-
add
public IntegerValue add(SpecificIntegerValue other)
Returns the sum of this IntegerValue and the given SpecificIntegerValue.
-
subtract
public IntegerValue subtract(SpecificIntegerValue other)
Returns the difference of this IntegerValue and the given SpecificIntegerValue.
-
subtractFrom
public IntegerValue subtractFrom(SpecificIntegerValue other)
Returns the difference of the given SpecificIntegerValue and this IntegerValue.
-
multiply
public IntegerValue multiply(SpecificIntegerValue other)
Returns the product of this IntegerValue and the given SpecificIntegerValue.
-
divide
public IntegerValue divide(SpecificIntegerValue other)
Returns the quotient of this IntegerValue and the given SpecificIntegerValue.
-
divideOf
public IntegerValue divideOf(SpecificIntegerValue other)
Returns the quotient of the given SpecificIntegerValue and this IntegerValue.
-
remainder
public IntegerValue remainder(SpecificIntegerValue other)
Returns the remainder of this IntegerValue divided by the given SpecificIntegerValue.
-
remainderOf
public IntegerValue remainderOf(SpecificIntegerValue other)
Returns the remainder of the given SpecificIntegerValue divided by this IntegerValue.
-
shiftLeft
public IntegerValue shiftLeft(SpecificIntegerValue other)
Returns this IntegerValue, shifted left by the given SpecificIntegerValue.
-
shiftRight
public IntegerValue shiftRight(SpecificIntegerValue other)
Returns this IntegerValue, shifted right by the given SpecificIntegerValue.
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(SpecificIntegerValue other)
Returns this unsigned IntegerValue, shifted right by the given SpecificIntegerValue.
-
shiftLeftOf
public IntegerValue shiftLeftOf(SpecificIntegerValue other)
Returns the given SpecificIntegerValue, shifted left by this IntegerValue.
-
shiftRightOf
public IntegerValue shiftRightOf(SpecificIntegerValue other)
Returns the given SpecificIntegerValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)
Returns the given unsigned SpecificIntegerValue, shifted right by this IntegerValue.
-
shiftLeftOf
public LongValue shiftLeftOf(SpecificLongValue other)
Returns the given SpecificLongValue, shifted left by this IntegerValue.
-
shiftRightOf
public LongValue shiftRightOf(SpecificLongValue other)
Returns the given SpecificLongValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public LongValue unsignedShiftRightOf(SpecificLongValue other)
Returns the given unsigned SpecificLongValue, shifted right by this IntegerValue.
-
and
public IntegerValue and(SpecificIntegerValue other)
Returns the logical and of this IntegerValue and the given SpecificIntegerValue.
-
or
public IntegerValue or(SpecificIntegerValue other)
Returns the logical or of this IntegerValue and the given SpecificIntegerValue.
-
xor
public IntegerValue xor(SpecificIntegerValue other)
Returns the logical xor of this IntegerValue and the given SpecificIntegerValue.
-
equal
public int equal(SpecificIntegerValue other)
Returns whether this IntegerValue and the given SpecificIntegerValue are equal:NEVER,MAYBE, orALWAYS.
-
lessThan
public int lessThan(SpecificIntegerValue other)
Returns whether this IntegerValue is less than the given SpecificIntegerValue:NEVER,MAYBE, orALWAYS.
-
lessThanOrEqual
public int lessThanOrEqual(SpecificIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue:NEVER,MAYBE, orALWAYS.
-
notEqual
public final int notEqual(SpecificIntegerValue other)
Returns whether this IntegerValue and the given SpecificIntegerValue are different:NEVER,MAYBE, orALWAYS.
-
greaterThan
public final int greaterThan(SpecificIntegerValue other)
Returns whether this IntegerValue is greater than the given SpecificIntegerValue:NEVER,MAYBE, orALWAYS.
-
greaterThanOrEqual
public final int greaterThanOrEqual(SpecificIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given SpecificIntegerValue:NEVER,MAYBE, orALWAYS.
-
generalize
public IntegerValue generalize(ParticularIntegerValue other)
Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.
-
add
public IntegerValue add(ParticularIntegerValue other)
Returns the sum of this IntegerValue and the given ParticularIntegerValue.
-
subtract
public IntegerValue subtract(ParticularIntegerValue other)
Returns the difference of this IntegerValue and the given ParticularIntegerValue.
-
subtractFrom
public IntegerValue subtractFrom(ParticularIntegerValue other)
Returns the difference of the given ParticularIntegerValue and this IntegerValue.
-
multiply
public IntegerValue multiply(ParticularIntegerValue other)
Returns the product of this IntegerValue and the given ParticularIntegerValue.
-
divide
public IntegerValue divide(ParticularIntegerValue other)
Returns the quotient of this IntegerValue and the given ParticularIntegerValue.
-
divideOf
public IntegerValue divideOf(ParticularIntegerValue other)
Returns the quotient of the given ParticularIntegerValue and this IntegerValue.
-
remainder
public IntegerValue remainder(ParticularIntegerValue other)
Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.
-
remainderOf
public IntegerValue remainderOf(ParticularIntegerValue other)
Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.
-
shiftLeft
public IntegerValue shiftLeft(ParticularIntegerValue other)
Returns this IntegerValue, shifted left by the given ParticularIntegerValue.
-
shiftRight
public IntegerValue shiftRight(ParticularIntegerValue other)
Returns this IntegerValue, shifted right by the given ParticularIntegerValue.
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.
-
shiftLeftOf
public IntegerValue shiftLeftOf(ParticularIntegerValue other)
Returns the given ParticularIntegerValue, shifted left by this IntegerValue.
-
shiftRightOf
public IntegerValue shiftRightOf(ParticularIntegerValue other)
Returns the given ParticularIntegerValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.
-
shiftLeftOf
public LongValue shiftLeftOf(ParticularLongValue other)
Returns the given ParticularLongValue, shifted left by this IntegerValue.
-
shiftRightOf
public LongValue shiftRightOf(ParticularLongValue other)
Returns the given ParticularLongValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public LongValue unsignedShiftRightOf(ParticularLongValue other)
Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.
-
and
public IntegerValue and(ParticularIntegerValue other)
Returns the logical and of this IntegerValue and the given ParticularIntegerValue.
-
or
public IntegerValue or(ParticularIntegerValue other)
Returns the logical or of this IntegerValue and the given ParticularIntegerValue.
-
xor
public IntegerValue xor(ParticularIntegerValue other)
Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.
-
equal
public int equal(ParticularIntegerValue other)
Returns whether this IntegerValue and the given ParticularIntegerValue are equal:NEVER,MAYBE, orALWAYS.
-
lessThan
public int lessThan(ParticularIntegerValue other)
Returns whether this IntegerValue is less than the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.
-
lessThanOrEqual
public int lessThanOrEqual(ParticularIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.
-
notEqual
public final int notEqual(ParticularIntegerValue other)
Returns whether this IntegerValue and the given ParticularIntegerValue are different:NEVER,MAYBE, orALWAYS.
-
greaterThan
public final int greaterThan(ParticularIntegerValue other)
Returns whether this IntegerValue is greater than the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.
-
greaterThanOrEqual
public final int greaterThanOrEqual(ParticularIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.
-
generalize
public IntegerValue generalize(RangeIntegerValue other)
Returns the generalization of this IntegerValue and the given other RangeIntegerValue.
-
add
public IntegerValue add(RangeIntegerValue other)
Returns the sum of this IntegerValue and the given RangeIntegerValue.
-
subtract
public IntegerValue subtract(RangeIntegerValue other)
Returns the difference of this IntegerValue and the given RangeIntegerValue.
-
subtractFrom
public IntegerValue subtractFrom(RangeIntegerValue other)
Returns the difference of the given RangeIntegerValue and this IntegerValue.
-
multiply
public IntegerValue multiply(RangeIntegerValue other)
Returns the product of this IntegerValue and the given RangeIntegerValue.
-
divide
public IntegerValue divide(RangeIntegerValue other)
Returns the quotient of this IntegerValue and the given RangeIntegerValue.
-
divideOf
public IntegerValue divideOf(RangeIntegerValue other)
Returns the quotient of the given RangeIntegerValue and this IntegerValue.
-
remainder
public IntegerValue remainder(RangeIntegerValue other)
Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.
-
remainderOf
public IntegerValue remainderOf(RangeIntegerValue other)
Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.
-
shiftLeft
public IntegerValue shiftLeft(RangeIntegerValue other)
Returns this IntegerValue, shifted left by the given RangeIntegerValue.
-
shiftRight
public IntegerValue shiftRight(RangeIntegerValue other)
Returns this IntegerValue, shifted right by the given RangeIntegerValue.
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(RangeIntegerValue other)
Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.
-
shiftLeftOf
public IntegerValue shiftLeftOf(RangeIntegerValue other)
Returns the given RangeIntegerValue, shifted left by this IntegerValue.
-
shiftRightOf
public IntegerValue shiftRightOf(RangeIntegerValue other)
Returns the given RangeIntegerValue, shifted right by this IntegerValue.
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(RangeIntegerValue other)
Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.
-
and
public IntegerValue and(RangeIntegerValue other)
Returns the logical and of this IntegerValue and the given RangeIntegerValue.
-
or
public IntegerValue or(RangeIntegerValue other)
Returns the logical or of this IntegerValue and the given RangeIntegerValue.
-
xor
public IntegerValue xor(RangeIntegerValue other)
Returns the logical xor of this IntegerValue and the given RangeIntegerValue.
-
equal
public int equal(RangeIntegerValue other)
Returns whether this IntegerValue and the given RangeIntegerValue are equal:NEVER,MAYBE, orALWAYS.
-
lessThan
public int lessThan(RangeIntegerValue other)
Returns whether this IntegerValue is less than the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.
-
lessThanOrEqual
public int lessThanOrEqual(RangeIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.
-
notEqual
public final int notEqual(RangeIntegerValue other)
Returns whether this IntegerValue and the given RangeIntegerValue are different:NEVER,MAYBE, orALWAYS.
-
greaterThan
public final int greaterThan(RangeIntegerValue other)
Returns whether this IntegerValue is greater than the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.
-
greaterThanOrEqual
public final int greaterThanOrEqual(RangeIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.
-
integerValue
public final IntegerValue integerValue()
Description copied from class:ValueReturns this Value as an IntegerValue.- Overrides:
integerValuein classValue
-
generalize
public final Value generalize(Value other)
Description copied from class:ValueReturns the generalization of this Value and the given other Value.- Specified by:
generalizein classValue
-
computationalType
public final int computationalType()
Description copied from class:ValueReturns the computational type of this Value.- Specified by:
computationalTypein classValue- Returns:
TYPE_INTEGER,TYPE_LONG,TYPE_FLOAT,TYPE_DOUBLE,TYPE_REFERENCE, orTYPE_INSTRUCTION_OFFSET.
-
internalType
public final java.lang.String internalType()
Description copied from class:ValueReturns the internal type of this Value.- Specified by:
internalTypein classValue- Returns:
TypeConstants.BOOLEAN,TypeConstants.BYTE,TypeConstants.CHAR,TypeConstants.SHORT,TypeConstants.INT,TypeConstants.LONG,TypeConstants.FLOAT,TypeConstants.DOUBLE,TypeConstants.CLASS_START ... TypeConstants.CLASS_END, or an array type containing any of these types (always as String).
-
-