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 IntegerValue
add(IntegerValue other)
Returns the sum of this IntegerValue and the given IntegerValue.IntegerValue
add(ParticularIntegerValue other)
Returns the sum of this IntegerValue and the given ParticularIntegerValue.IntegerValue
add(RangeIntegerValue other)
Returns the sum of this IntegerValue and the given RangeIntegerValue.IntegerValue
add(SpecificIntegerValue other)
Returns the sum of this IntegerValue and the given SpecificIntegerValue.IntegerValue
add(UnknownIntegerValue other)
Returns the sum of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValue
and(IntegerValue other)
Returns the logical and of this IntegerValue and the given IntegerValue.IntegerValue
and(ParticularIntegerValue other)
Returns the logical and of this IntegerValue and the given ParticularIntegerValue.IntegerValue
and(RangeIntegerValue other)
Returns the logical and of this IntegerValue and the given RangeIntegerValue.IntegerValue
and(SpecificIntegerValue other)
Returns the logical and of this IntegerValue and the given SpecificIntegerValue.IntegerValue
and(UnknownIntegerValue other)
Returns the logical and of this IntegerValue and the given UnknownIntegerValue.int
computationalType()
Returns the computational type of this Value.abstract IntegerValue
convertToByte()
Converts this IntegerValue to a byte IntegerValue.abstract IntegerValue
convertToCharacter()
Converts this IntegerValue to a character IntegerValue.abstract DoubleValue
convertToDouble()
Converts this IntegerValue to a DoubleValue.abstract FloatValue
convertToFloat()
Converts this IntegerValue to a FloatValue.abstract LongValue
convertToLong()
Converts this IntegerValue to a LongValue.abstract IntegerValue
convertToShort()
Converts this IntegerValue to a short IntegerValue.abstract IntegerValue
divide(IntegerValue other)
Returns the quotient of this IntegerValue and the given IntegerValue.IntegerValue
divide(ParticularIntegerValue other)
Returns the quotient of this IntegerValue and the given ParticularIntegerValue.IntegerValue
divide(RangeIntegerValue other)
Returns the quotient of this IntegerValue and the given RangeIntegerValue.IntegerValue
divide(SpecificIntegerValue other)
Returns the quotient of this IntegerValue and the given SpecificIntegerValue.IntegerValue
divide(UnknownIntegerValue other)
Returns the quotient of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValue
divideOf(IntegerValue other)
Returns the quotient of the given IntegerValue and this IntegerValue.IntegerValue
divideOf(ParticularIntegerValue other)
Returns the quotient of the given ParticularIntegerValue and this IntegerValue.IntegerValue
divideOf(RangeIntegerValue other)
Returns the quotient of the given RangeIntegerValue and this IntegerValue.IntegerValue
divideOf(SpecificIntegerValue other)
Returns the quotient of the given SpecificIntegerValue and this IntegerValue.IntegerValue
divideOf(UnknownIntegerValue other)
Returns the quotient of the given UnknownIntegerValue and this IntegerValue.abstract int
equal(IntegerValue other)
Returns whether this IntegerValue and the given IntegerValue are equal:NEVER
,MAYBE
, orALWAYS
.int
equal(ParticularIntegerValue other)
Returns whether this IntegerValue and the given ParticularIntegerValue are equal:NEVER
,MAYBE
, orALWAYS
.int
equal(RangeIntegerValue other)
Returns whether this IntegerValue and the given RangeIntegerValue are equal:NEVER
,MAYBE
, orALWAYS
.int
equal(SpecificIntegerValue other)
Returns whether this IntegerValue and the given SpecificIntegerValue are equal:NEVER
,MAYBE
, orALWAYS
.int
equal(UnknownIntegerValue other)
Returns whether this IntegerValue and the given UnknownIntegerValue are equal:NEVER
,MAYBE
, orALWAYS
.abstract IntegerValue
generalize(IntegerValue other)
Returns the generalization of this IntegerValue and the given other IntegerValue.IntegerValue
generalize(ParticularIntegerValue other)
Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.IntegerValue
generalize(RangeIntegerValue other)
Returns the generalization of this IntegerValue and the given other RangeIntegerValue.IntegerValue
generalize(SpecificIntegerValue other)
Returns the generalization of this IntegerValue and the given other SpecificIntegerValue.IntegerValue
generalize(UnknownIntegerValue other)
Returns the generalization of this IntegerValue and the given other UnknownIntegerValue.Value
generalize(Value other)
Returns the generalization of this Value and the given other Value.int
greaterThan(IntegerValue other)
Returns whether this IntegerValue is greater than the given IntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThan(ParticularIntegerValue other)
Returns whether this IntegerValue is greater than the given ParticularIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThan(RangeIntegerValue other)
Returns whether this IntegerValue is greater than the given RangeIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThan(SpecificIntegerValue other)
Returns whether this IntegerValue is greater than the given SpecificIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThan(UnknownIntegerValue other)
Returns whether this IntegerValue is greater than the given UnknownIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThanOrEqual(IntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given IntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThanOrEqual(ParticularIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given ParticularIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThanOrEqual(RangeIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given RangeIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThanOrEqual(SpecificIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given SpecificIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
greaterThanOrEqual(UnknownIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given UnknownIntegerValue:NEVER
,MAYBE
, orALWAYS
.IntegerValue
integerValue()
Returns this Value as an IntegerValue.java.lang.String
internalType()
Returns the internal type of this Value.abstract int
lessThan(IntegerValue other)
Returns whether this IntegerValue is less than the given IntegerValue:NEVER
,MAYBE
, orALWAYS
.int
lessThan(ParticularIntegerValue other)
Returns whether this IntegerValue is less than the given ParticularIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
lessThan(RangeIntegerValue other)
Returns whether this IntegerValue is less than the given RangeIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
lessThan(SpecificIntegerValue other)
Returns whether this IntegerValue is less than the given SpecificIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
lessThan(UnknownIntegerValue other)
Returns whether this IntegerValue is less than the given UnknownIntegerValue:NEVER
,MAYBE
, orALWAYS
.abstract int
lessThanOrEqual(IntegerValue other)
Returns whether this IntegerValue is less than or equal to the given IntegerValue:NEVER
,MAYBE
, orALWAYS
.int
lessThanOrEqual(ParticularIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
lessThanOrEqual(RangeIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
lessThanOrEqual(SpecificIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue:NEVER
,MAYBE
, orALWAYS
.int
lessThanOrEqual(UnknownIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given UnknownIntegerValue:NEVER
,MAYBE
, orALWAYS
.abstract IntegerValue
multiply(IntegerValue other)
Returns the product of this IntegerValue and the given IntegerValue.IntegerValue
multiply(ParticularIntegerValue other)
Returns the product of this IntegerValue and the given ParticularIntegerValue.IntegerValue
multiply(RangeIntegerValue other)
Returns the product of this IntegerValue and the given RangeIntegerValue.IntegerValue
multiply(SpecificIntegerValue other)
Returns the product of this IntegerValue and the given SpecificIntegerValue.IntegerValue
multiply(UnknownIntegerValue other)
Returns the product of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValue
negate()
Returns the negated value of this IntegerValue.int
notEqual(IntegerValue other)
Returns whether this IntegerValue and the given IntegerValue are different:NEVER
,MAYBE
, orALWAYS
.int
notEqual(ParticularIntegerValue other)
Returns whether this IntegerValue and the given ParticularIntegerValue are different:NEVER
,MAYBE
, orALWAYS
.int
notEqual(RangeIntegerValue other)
Returns whether this IntegerValue and the given RangeIntegerValue are different:NEVER
,MAYBE
, orALWAYS
.int
notEqual(SpecificIntegerValue other)
Returns whether this IntegerValue and the given SpecificIntegerValue are different:NEVER
,MAYBE
, orALWAYS
.int
notEqual(UnknownIntegerValue other)
Returns whether this IntegerValue and the given UnknownIntegerValue are different:NEVER
,MAYBE
, orALWAYS
.abstract IntegerValue
or(IntegerValue other)
Returns the logical or of this IntegerValue and the given IntegerValue.IntegerValue
or(ParticularIntegerValue other)
Returns the logical or of this IntegerValue and the given ParticularIntegerValue.IntegerValue
or(RangeIntegerValue other)
Returns the logical or of this IntegerValue and the given RangeIntegerValue.IntegerValue
or(SpecificIntegerValue other)
Returns the logical or of this IntegerValue and the given SpecificIntegerValue.IntegerValue
or(UnknownIntegerValue other)
Returns the logical or of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValue
remainder(IntegerValue other)
Returns the remainder of this IntegerValue divided by the given IntegerValue.IntegerValue
remainder(ParticularIntegerValue other)
Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.IntegerValue
remainder(RangeIntegerValue other)
Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.IntegerValue
remainder(SpecificIntegerValue other)
Returns the remainder of this IntegerValue divided by the given SpecificIntegerValue.IntegerValue
remainder(UnknownIntegerValue other)
Returns the remainder of this IntegerValue divided by the given UnknownIntegerValue.abstract IntegerValue
remainderOf(IntegerValue other)
Returns the remainder of the given IntegerValue divided by this IntegerValue.IntegerValue
remainderOf(ParticularIntegerValue other)
Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.IntegerValue
remainderOf(RangeIntegerValue other)
Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.IntegerValue
remainderOf(SpecificIntegerValue other)
Returns the remainder of the given SpecificIntegerValue divided by this IntegerValue.IntegerValue
remainderOf(UnknownIntegerValue other)
Returns the remainder of the given UnknownIntegerValue divided by this IntegerValue.abstract IntegerValue
shiftLeft(IntegerValue other)
Returns this IntegerValue, shifted left by the given IntegerValue.IntegerValue
shiftLeft(ParticularIntegerValue other)
Returns this IntegerValue, shifted left by the given ParticularIntegerValue.IntegerValue
shiftLeft(RangeIntegerValue other)
Returns this IntegerValue, shifted left by the given RangeIntegerValue.IntegerValue
shiftLeft(SpecificIntegerValue other)
Returns this IntegerValue, shifted left by the given SpecificIntegerValue.IntegerValue
shiftLeft(UnknownIntegerValue other)
Returns this IntegerValue, shifted left by the given UnknownIntegerValue.abstract IntegerValue
shiftLeftOf(IntegerValue other)
Returns the given IntegerValue, shifted left by this IntegerValue.abstract LongValue
shiftLeftOf(LongValue other)
Returns the given LongValue, shifted left by this IntegerValue.IntegerValue
shiftLeftOf(ParticularIntegerValue other)
Returns the given ParticularIntegerValue, shifted left by this IntegerValue.LongValue
shiftLeftOf(ParticularLongValue other)
Returns the given ParticularLongValue, shifted left by this IntegerValue.IntegerValue
shiftLeftOf(RangeIntegerValue other)
Returns the given RangeIntegerValue, shifted left by this IntegerValue.IntegerValue
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
shiftLeftOf(UnknownIntegerValue other)
Returns the given UnknownIntegerValue, shifted left by this IntegerValue.LongValue
shiftLeftOf(UnknownLongValue other)
Returns the given UnknownLongValue, shifted left by this IntegerValue.abstract IntegerValue
shiftRight(IntegerValue other)
Returns this IntegerValue, shifted right by the given IntegerValue.IntegerValue
shiftRight(ParticularIntegerValue other)
Returns this IntegerValue, shifted right by the given ParticularIntegerValue.IntegerValue
shiftRight(RangeIntegerValue other)
Returns this IntegerValue, shifted right by the given RangeIntegerValue.IntegerValue
shiftRight(SpecificIntegerValue other)
Returns this IntegerValue, shifted right by the given SpecificIntegerValue.IntegerValue
shiftRight(UnknownIntegerValue other)
Returns this IntegerValue, shifted right by the given UnknownIntegerValue.abstract IntegerValue
shiftRightOf(IntegerValue other)
Returns the given IntegerValue, shifted right by this IntegerValue.abstract LongValue
shiftRightOf(LongValue other)
Returns the given LongValue, shifted right by this IntegerValue.IntegerValue
shiftRightOf(ParticularIntegerValue other)
Returns the given ParticularIntegerValue, shifted right by this IntegerValue.LongValue
shiftRightOf(ParticularLongValue other)
Returns the given ParticularLongValue, shifted right by this IntegerValue.IntegerValue
shiftRightOf(RangeIntegerValue other)
Returns the given RangeIntegerValue, shifted right by this IntegerValue.IntegerValue
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
shiftRightOf(UnknownIntegerValue other)
Returns the given UnknownIntegerValue, shifted right by this IntegerValue.LongValue
shiftRightOf(UnknownLongValue other)
Returns the given UnknownLongValue, shifted right by this IntegerValue.abstract IntegerValue
subtract(IntegerValue other)
Returns the difference of this IntegerValue and the given IntegerValue.IntegerValue
subtract(ParticularIntegerValue other)
Returns the difference of this IntegerValue and the given ParticularIntegerValue.IntegerValue
subtract(RangeIntegerValue other)
Returns the difference of this IntegerValue and the given RangeIntegerValue.IntegerValue
subtract(SpecificIntegerValue other)
Returns the difference of this IntegerValue and the given SpecificIntegerValue.IntegerValue
subtract(UnknownIntegerValue other)
Returns the difference of this IntegerValue and the given UnknownIntegerValue.abstract IntegerValue
subtractFrom(IntegerValue other)
Returns the difference of the given IntegerValue and this IntegerValue.IntegerValue
subtractFrom(ParticularIntegerValue other)
Returns the difference of the given ParticularIntegerValue and this IntegerValue.IntegerValue
subtractFrom(RangeIntegerValue other)
Returns the difference of the given RangeIntegerValue and this IntegerValue.IntegerValue
subtractFrom(SpecificIntegerValue other)
Returns the difference of the given SpecificIntegerValue and this IntegerValue.IntegerValue
subtractFrom(UnknownIntegerValue other)
Returns the difference of the given UnknownIntegerValue and this IntegerValue.abstract IntegerValue
unsignedShiftRight(IntegerValue other)
Returns this unsigned IntegerValue, shifted left by the given IntegerValue.IntegerValue
unsignedShiftRight(ParticularIntegerValue other)
Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.IntegerValue
unsignedShiftRight(RangeIntegerValue other)
Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.IntegerValue
unsignedShiftRight(SpecificIntegerValue other)
Returns this unsigned IntegerValue, shifted right by the given SpecificIntegerValue.IntegerValue
unsignedShiftRight(UnknownIntegerValue other)
Returns this unsigned IntegerValue, shifted right by the given UnknownIntegerValue.abstract IntegerValue
unsignedShiftRightOf(IntegerValue other)
Returns the given unsigned IntegerValue, shifted left by this IntegerValue.abstract LongValue
unsignedShiftRightOf(LongValue other)
Returns the given unsigned LongValue, shifted right by this IntegerValue.IntegerValue
unsignedShiftRightOf(ParticularIntegerValue other)
Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.LongValue
unsignedShiftRightOf(ParticularLongValue other)
Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.IntegerValue
unsignedShiftRightOf(RangeIntegerValue other)
Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.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
unsignedShiftRightOf(UnknownIntegerValue other)
Returns the given unsigned UnknownIntegerValue, shifted right by this IntegerValue.LongValue
unsignedShiftRightOf(UnknownLongValue other)
Returns the given unsigned UnknownLongValue, shifted right by this IntegerValue.int
value()
Returns the specific integer value, if applicable.abstract IntegerValue
xor(IntegerValue other)
Returns the logical xor of this IntegerValue and the given IntegerValue.IntegerValue
xor(ParticularIntegerValue other)
Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.IntegerValue
xor(RangeIntegerValue other)
Returns the logical xor of this IntegerValue and the given RangeIntegerValue.IntegerValue
xor(SpecificIntegerValue other)
Returns the logical xor of this IntegerValue and the given SpecificIntegerValue.IntegerValue
xor(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:Value
Returns this Value as an IntegerValue.- Overrides:
integerValue
in classValue
-
generalize
public final Value generalize(Value other)
Description copied from class:Value
Returns the generalization of this Value and the given other Value.- Specified by:
generalize
in classValue
-
computationalType
public final int computationalType()
Description copied from class:Value
Returns the computational type of this Value.- Specified by:
computationalType
in 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:Value
Returns the internal type of this Value.- Specified by:
internalType
in 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).
-
-