public abstract class IntegerValue extends Category1Value
ALWAYS, MAYBE, NEVER, TYPE_DOUBLE, TYPE_FLOAT, TYPE_INSTRUCTION_OFFSET, TYPE_INTEGER, TYPE_LONG, TYPE_REFERENCE, TYPE_TOP, TYPE_UNKNOWN
Constructor and Description |
---|
IntegerValue() |
Modifier and Type | Method and 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 , or ALWAYS . |
int |
equal(ParticularIntegerValue other)
Returns whether this IntegerValue and the given ParticularIntegerValue are equal:
NEVER
, MAYBE , or ALWAYS . |
int |
equal(RangeIntegerValue other)
Returns whether this IntegerValue and the given RangeIntegerValue are equal:
NEVER
, MAYBE , or ALWAYS . |
int |
equal(SpecificIntegerValue other)
Returns whether this IntegerValue and the given SpecificIntegerValue are equal:
NEVER
, MAYBE , or ALWAYS . |
int |
equal(UnknownIntegerValue other)
Returns whether this IntegerValue and the given UnknownIntegerValue are equal:
NEVER
, MAYBE , or ALWAYS . |
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 , or ALWAYS . |
int |
greaterThan(ParticularIntegerValue other)
Returns whether this IntegerValue is greater than the given ParticularIntegerValue:
NEVER
, MAYBE , or ALWAYS . |
int |
greaterThan(RangeIntegerValue other)
Returns whether this IntegerValue is greater than the given RangeIntegerValue:
NEVER
, MAYBE , or ALWAYS . |
int |
greaterThan(SpecificIntegerValue other)
Returns whether this IntegerValue is greater than the given SpecificIntegerValue:
NEVER
, MAYBE , or ALWAYS . |
int |
greaterThan(UnknownIntegerValue other)
Returns whether this IntegerValue is greater than the given UnknownIntegerValue:
NEVER
, MAYBE , or ALWAYS . |
int |
greaterThanOrEqual(IntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given IntegerValue:
NEVER , MAYBE , or ALWAYS . |
int |
greaterThanOrEqual(ParticularIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given ParticularIntegerValue:
NEVER , MAYBE , or ALWAYS . |
int |
greaterThanOrEqual(RangeIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given RangeIntegerValue:
NEVER , MAYBE , or ALWAYS . |
int |
greaterThanOrEqual(SpecificIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given SpecificIntegerValue:
NEVER , MAYBE , or ALWAYS . |
int |
greaterThanOrEqual(UnknownIntegerValue other)
Returns whether this IntegerValue is greater than or equal to the given UnknownIntegerValue:
NEVER , MAYBE , or ALWAYS . |
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 , or ALWAYS . |
int |
lessThan(ParticularIntegerValue other)
Returns whether this IntegerValue is less than the given ParticularIntegerValue:
NEVER
, MAYBE , or ALWAYS . |
int |
lessThan(RangeIntegerValue other)
Returns whether this IntegerValue is less than the given RangeIntegerValue:
NEVER ,
MAYBE , or ALWAYS . |
int |
lessThan(SpecificIntegerValue other)
Returns whether this IntegerValue is less than the given SpecificIntegerValue:
NEVER
, MAYBE , or ALWAYS . |
int |
lessThan(UnknownIntegerValue other)
Returns whether this IntegerValue is less than the given UnknownIntegerValue:
NEVER
, MAYBE , or ALWAYS . |
abstract int |
lessThanOrEqual(IntegerValue other)
Returns whether this IntegerValue is less than or equal to the given IntegerValue:
NEVER
, MAYBE , or ALWAYS . |
int |
lessThanOrEqual(ParticularIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue:
NEVER , MAYBE , or ALWAYS . |
int |
lessThanOrEqual(RangeIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue:
NEVER , MAYBE , or ALWAYS . |
int |
lessThanOrEqual(SpecificIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue:
NEVER , MAYBE , or ALWAYS . |
int |
lessThanOrEqual(UnknownIntegerValue other)
Returns whether this IntegerValue is less than or equal to the given UnknownIntegerValue:
NEVER , MAYBE , or ALWAYS . |
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 , or ALWAYS . |
int |
notEqual(ParticularIntegerValue other)
Returns whether this IntegerValue and the given ParticularIntegerValue are different:
NEVER , MAYBE , or ALWAYS . |
int |
notEqual(RangeIntegerValue other)
Returns whether this IntegerValue and the given RangeIntegerValue are different:
NEVER
, MAYBE , or ALWAYS . |
int |
notEqual(SpecificIntegerValue other)
Returns whether this IntegerValue and the given SpecificIntegerValue are different:
NEVER
, MAYBE , or ALWAYS . |
int |
notEqual(UnknownIntegerValue other)
Returns whether this IntegerValue and the given UnknownIntegerValue are different:
NEVER
, MAYBE , or ALWAYS . |
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.
|
category1Value, isCategory2
category2Value, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, isParticular, isSpecific, longValue, referenceValue
public int value()
public abstract IntegerValue negate()
public abstract IntegerValue convertToByte()
public abstract IntegerValue convertToCharacter()
public abstract IntegerValue convertToShort()
public abstract LongValue convertToLong()
public abstract FloatValue convertToFloat()
public abstract DoubleValue convertToDouble()
public abstract IntegerValue generalize(IntegerValue other)
public abstract IntegerValue add(IntegerValue other)
public abstract IntegerValue subtract(IntegerValue other)
public abstract IntegerValue subtractFrom(IntegerValue other)
public abstract IntegerValue multiply(IntegerValue other) throws java.lang.ArithmeticException
java.lang.ArithmeticException
public abstract IntegerValue divide(IntegerValue other) throws java.lang.ArithmeticException
java.lang.ArithmeticException
public abstract IntegerValue divideOf(IntegerValue other) throws java.lang.ArithmeticException
java.lang.ArithmeticException
public abstract IntegerValue remainder(IntegerValue other) throws java.lang.ArithmeticException
java.lang.ArithmeticException
public abstract IntegerValue remainderOf(IntegerValue other) throws java.lang.ArithmeticException
java.lang.ArithmeticException
public abstract IntegerValue shiftLeft(IntegerValue other)
public abstract IntegerValue shiftRight(IntegerValue other)
public abstract IntegerValue unsignedShiftRight(IntegerValue other)
public abstract IntegerValue shiftLeftOf(IntegerValue other)
public abstract IntegerValue shiftRightOf(IntegerValue other)
public abstract IntegerValue unsignedShiftRightOf(IntegerValue other)
public abstract LongValue shiftLeftOf(LongValue other)
public abstract LongValue shiftRightOf(LongValue other)
public abstract LongValue unsignedShiftRightOf(LongValue other)
public abstract IntegerValue and(IntegerValue other)
public abstract IntegerValue or(IntegerValue other)
public abstract IntegerValue xor(IntegerValue other)
public abstract int equal(IntegerValue other)
NEVER
,
MAYBE
, or ALWAYS
.public abstract int lessThan(IntegerValue other)
NEVER
,
MAYBE
, or ALWAYS
.public abstract int lessThanOrEqual(IntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int notEqual(IntegerValue other)
NEVER
,
MAYBE
, or ALWAYS
.public final int greaterThan(IntegerValue other)
NEVER
,
MAYBE
, or ALWAYS
.public final int greaterThanOrEqual(IntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public IntegerValue generalize(UnknownIntegerValue other)
public IntegerValue add(UnknownIntegerValue other)
public IntegerValue subtract(UnknownIntegerValue other)
public IntegerValue subtractFrom(UnknownIntegerValue other)
public IntegerValue multiply(UnknownIntegerValue other)
public IntegerValue divide(UnknownIntegerValue other)
public IntegerValue divideOf(UnknownIntegerValue other)
public IntegerValue remainder(UnknownIntegerValue other)
public IntegerValue remainderOf(UnknownIntegerValue other)
public IntegerValue shiftLeft(UnknownIntegerValue other)
public IntegerValue shiftRight(UnknownIntegerValue other)
public IntegerValue unsignedShiftRight(UnknownIntegerValue other)
public IntegerValue shiftLeftOf(UnknownIntegerValue other)
public IntegerValue shiftRightOf(UnknownIntegerValue other)
public IntegerValue unsignedShiftRightOf(UnknownIntegerValue other)
public LongValue shiftLeftOf(UnknownLongValue other)
public LongValue shiftRightOf(UnknownLongValue other)
public LongValue unsignedShiftRightOf(UnknownLongValue other)
public IntegerValue and(UnknownIntegerValue other)
public IntegerValue or(UnknownIntegerValue other)
public IntegerValue xor(UnknownIntegerValue other)
public int equal(UnknownIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public int lessThan(UnknownIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public int lessThanOrEqual(UnknownIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int notEqual(UnknownIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int greaterThan(UnknownIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int greaterThanOrEqual(UnknownIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public IntegerValue generalize(SpecificIntegerValue other)
public IntegerValue add(SpecificIntegerValue other)
public IntegerValue subtract(SpecificIntegerValue other)
public IntegerValue subtractFrom(SpecificIntegerValue other)
public IntegerValue multiply(SpecificIntegerValue other)
public IntegerValue divide(SpecificIntegerValue other)
public IntegerValue divideOf(SpecificIntegerValue other)
public IntegerValue remainder(SpecificIntegerValue other)
public IntegerValue remainderOf(SpecificIntegerValue other)
public IntegerValue shiftLeft(SpecificIntegerValue other)
public IntegerValue shiftRight(SpecificIntegerValue other)
public IntegerValue unsignedShiftRight(SpecificIntegerValue other)
public IntegerValue shiftLeftOf(SpecificIntegerValue other)
public IntegerValue shiftRightOf(SpecificIntegerValue other)
public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)
public LongValue shiftLeftOf(SpecificLongValue other)
public LongValue shiftRightOf(SpecificLongValue other)
public LongValue unsignedShiftRightOf(SpecificLongValue other)
public IntegerValue and(SpecificIntegerValue other)
public IntegerValue or(SpecificIntegerValue other)
public IntegerValue xor(SpecificIntegerValue other)
public int equal(SpecificIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public int lessThan(SpecificIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public int lessThanOrEqual(SpecificIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int notEqual(SpecificIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int greaterThan(SpecificIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int greaterThanOrEqual(SpecificIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public IntegerValue generalize(ParticularIntegerValue other)
public IntegerValue add(ParticularIntegerValue other)
public IntegerValue subtract(ParticularIntegerValue other)
public IntegerValue subtractFrom(ParticularIntegerValue other)
public IntegerValue multiply(ParticularIntegerValue other)
public IntegerValue divide(ParticularIntegerValue other)
public IntegerValue divideOf(ParticularIntegerValue other)
public IntegerValue remainder(ParticularIntegerValue other)
public IntegerValue remainderOf(ParticularIntegerValue other)
public IntegerValue shiftLeft(ParticularIntegerValue other)
public IntegerValue shiftRight(ParticularIntegerValue other)
public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
public IntegerValue shiftLeftOf(ParticularIntegerValue other)
public IntegerValue shiftRightOf(ParticularIntegerValue other)
public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
public LongValue shiftLeftOf(ParticularLongValue other)
public LongValue shiftRightOf(ParticularLongValue other)
public LongValue unsignedShiftRightOf(ParticularLongValue other)
public IntegerValue and(ParticularIntegerValue other)
public IntegerValue or(ParticularIntegerValue other)
public IntegerValue xor(ParticularIntegerValue other)
public int equal(ParticularIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public int lessThan(ParticularIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public int lessThanOrEqual(ParticularIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int notEqual(ParticularIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int greaterThan(ParticularIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int greaterThanOrEqual(ParticularIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public IntegerValue generalize(RangeIntegerValue other)
public IntegerValue add(RangeIntegerValue other)
public IntegerValue subtract(RangeIntegerValue other)
public IntegerValue subtractFrom(RangeIntegerValue other)
public IntegerValue multiply(RangeIntegerValue other)
public IntegerValue divide(RangeIntegerValue other)
public IntegerValue divideOf(RangeIntegerValue other)
public IntegerValue remainder(RangeIntegerValue other)
public IntegerValue remainderOf(RangeIntegerValue other)
public IntegerValue shiftLeft(RangeIntegerValue other)
public IntegerValue shiftRight(RangeIntegerValue other)
public IntegerValue unsignedShiftRight(RangeIntegerValue other)
public IntegerValue shiftLeftOf(RangeIntegerValue other)
public IntegerValue shiftRightOf(RangeIntegerValue other)
public IntegerValue unsignedShiftRightOf(RangeIntegerValue other)
public IntegerValue and(RangeIntegerValue other)
public IntegerValue or(RangeIntegerValue other)
public IntegerValue xor(RangeIntegerValue other)
public int equal(RangeIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public int lessThan(RangeIntegerValue other)
NEVER
,
MAYBE
, or ALWAYS
.public int lessThanOrEqual(RangeIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int notEqual(RangeIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int greaterThan(RangeIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final int greaterThanOrEqual(RangeIntegerValue other)
NEVER
, MAYBE
, or ALWAYS
.public final IntegerValue integerValue()
Value
integerValue
in class Value
public final Value generalize(Value other)
Value
generalize
in class Value
public final int computationalType()
Value
computationalType
in class Value
TYPE_INTEGER
, TYPE_LONG
, TYPE_FLOAT
,
TYPE_DOUBLE
, TYPE_REFERENCE
, or TYPE_INSTRUCTION_OFFSET
.public final java.lang.String internalType()
Value
internalType
in class Value
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).