public final class RangeIntegerValue extends IntegerValue
IntegerValue represents a known range of integer values.
It currently is not a SpecificIntegerValue, so it doesn't have
a particular value nor an identifier.
This class handles interactions with:
- ParticularIntegerValue
- RangeIntegerValue
It reverses and delegates interactions with:
- IntegerValue (in general)
It notably doesn't handle interactions with:
- UnknownInteger
- SpecificInteger (in general)ALWAYS, MAYBE, NEVER, TYPE_DOUBLE, TYPE_FLOAT, TYPE_INSTRUCTION_OFFSET, TYPE_INTEGER, TYPE_LONG, TYPE_REFERENCE, TYPE_TOP, TYPE_UNKNOWN| Constructor and Description |
|---|
RangeIntegerValue(int min,
int max)
Creates a new range of integer values.
|
| Modifier and Type | Method and Description |
|---|---|
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 |
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 |
convertToByte()
Converts this IntegerValue to a byte IntegerValue.
|
IntegerValue |
convertToCharacter()
Converts this IntegerValue to a character IntegerValue.
|
DoubleValue |
convertToDouble()
Converts this IntegerValue to a DoubleValue.
|
FloatValue |
convertToFloat()
Converts this IntegerValue to a FloatValue.
|
LongValue |
convertToLong()
Converts this IntegerValue to a LongValue.
|
IntegerValue |
convertToShort()
Converts this IntegerValue to a short IntegerValue.
|
IntegerValue |
divide(IntegerValue other)
Returns the quotient of this IntegerValue and the given IntegerValue.
|
IntegerValue |
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 |
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.
|
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. |
boolean |
equals(java.lang.Object object) |
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.
|
int |
hashCode() |
boolean |
isParticular()
Returns whether this Value represents a single particular (known)
value.
|
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 |
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. |
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 |
negate()
Returns the negated value of this IntegerValue.
|
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 |
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 |
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 |
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 |
shiftLeftOf(IntegerValue other)
Returns the given IntegerValue, shifted left by this IntegerValue.
|
LongValue |
shiftLeftOf(LongValue other)
Returns the given LongValue, shifted left by this IntegerValue.
|
IntegerValue |
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 |
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 |
shiftRightOf(IntegerValue other)
Returns the given IntegerValue, shifted right by this IntegerValue.
|
LongValue |
shiftRightOf(LongValue other)
Returns the given LongValue, shifted right by this IntegerValue.
|
IntegerValue |
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 |
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 |
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.
|
java.lang.String |
toString() |
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 |
unsignedShiftRightOf(IntegerValue other)
Returns the given unsigned IntegerValue, shifted left by this
IntegerValue.
|
LongValue |
unsignedShiftRightOf(LongValue other)
Returns the given unsigned LongValue, shifted right by this IntegerValue.
|
IntegerValue |
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.
|
int |
value()
Returns the specific integer value, if applicable.
|
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.
|
add, add, and, and, computationalType, divide, divide, divideOf, divideOf, equal, equal, generalize, generalize, generalize, greaterThan, greaterThan, greaterThan, greaterThan, greaterThan, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, integerValue, internalType, lessThan, lessThan, lessThanOrEqual, lessThanOrEqual, multiply, multiply, notEqual, notEqual, notEqual, notEqual, notEqual, or, or, remainder, remainder, remainderOf, remainderOf, shiftLeft, shiftLeft, shiftLeftOf, shiftLeftOf, shiftLeftOf, shiftLeftOf, shiftRight, shiftRight, shiftRightOf, shiftRightOf, shiftRightOf, shiftRightOf, subtract, subtract, subtractFrom, subtractFrom, unsignedShiftRight, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, unsignedShiftRightOf, unsignedShiftRightOf, xor, xorcategory1Value, isCategory2category2Value, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, isSpecific, longValue, referenceValuepublic RangeIntegerValue(int min,
int max)
public int value()
IntegerValuevalue in class IntegerValuepublic IntegerValue negate()
IntegerValuenegate in class IntegerValuepublic IntegerValue convertToByte()
IntegerValueconvertToByte in class IntegerValuepublic IntegerValue convertToCharacter()
IntegerValueconvertToCharacter in class IntegerValuepublic IntegerValue convertToShort()
IntegerValueconvertToShort in class IntegerValuepublic LongValue convertToLong()
IntegerValueconvertToLong in class IntegerValuepublic FloatValue convertToFloat()
IntegerValueconvertToFloat in class IntegerValuepublic DoubleValue convertToDouble()
IntegerValueconvertToDouble in class IntegerValuepublic IntegerValue generalize(IntegerValue other)
IntegerValuegeneralize in class IntegerValuepublic IntegerValue add(IntegerValue other)
IntegerValueadd in class IntegerValuepublic IntegerValue subtract(IntegerValue other)
IntegerValuesubtract in class IntegerValuepublic IntegerValue subtractFrom(IntegerValue other)
IntegerValuesubtractFrom in class IntegerValuepublic IntegerValue multiply(IntegerValue other)
IntegerValuemultiply in class IntegerValuepublic IntegerValue divide(IntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivide in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue divideOf(IntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivideOf in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainder(IntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainder in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainderOf(IntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainderOf in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue shiftLeft(IntegerValue other)
IntegerValueshiftLeft in class IntegerValuepublic IntegerValue shiftLeftOf(IntegerValue other)
IntegerValueshiftLeftOf in class IntegerValuepublic IntegerValue shiftRight(IntegerValue other)
IntegerValueshiftRight in class IntegerValuepublic IntegerValue shiftRightOf(IntegerValue other)
IntegerValueshiftRightOf in class IntegerValuepublic IntegerValue unsignedShiftRight(IntegerValue other)
IntegerValueunsignedShiftRight in class IntegerValuepublic IntegerValue unsignedShiftRightOf(IntegerValue other)
IntegerValueunsignedShiftRightOf in class IntegerValuepublic LongValue shiftLeftOf(LongValue other)
IntegerValueshiftLeftOf in class IntegerValuepublic LongValue shiftRightOf(LongValue other)
IntegerValueshiftRightOf in class IntegerValuepublic LongValue unsignedShiftRightOf(LongValue other)
IntegerValueunsignedShiftRightOf in class IntegerValuepublic IntegerValue and(IntegerValue other)
IntegerValueand in class IntegerValuepublic IntegerValue or(IntegerValue other)
IntegerValueor in class IntegerValuepublic IntegerValue xor(IntegerValue other)
IntegerValuexor in class IntegerValuepublic int equal(IntegerValue other)
IntegerValueNEVER, MAYBE, or ALWAYS.equal in class IntegerValuepublic int lessThan(IntegerValue other)
IntegerValueNEVER, MAYBE, or ALWAYS.lessThan in class IntegerValuepublic int lessThanOrEqual(IntegerValue other)
IntegerValueNEVER, MAYBE, or
ALWAYS.lessThanOrEqual in class IntegerValuepublic IntegerValue generalize(ParticularIntegerValue other)
IntegerValuegeneralize in class IntegerValuepublic IntegerValue add(ParticularIntegerValue other)
IntegerValueadd in class IntegerValuepublic IntegerValue subtract(ParticularIntegerValue other)
IntegerValuesubtract in class IntegerValuepublic IntegerValue subtractFrom(ParticularIntegerValue other)
IntegerValuesubtractFrom in class IntegerValuepublic IntegerValue multiply(ParticularIntegerValue other)
IntegerValuemultiply in class IntegerValuepublic IntegerValue divide(ParticularIntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivide in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue divideOf(ParticularIntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivideOf in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainder(ParticularIntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainder in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainderOf(ParticularIntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainderOf in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue shiftLeft(ParticularIntegerValue other)
IntegerValueshiftLeft in class IntegerValuepublic IntegerValue shiftRight(ParticularIntegerValue other)
IntegerValueshiftRight in class IntegerValuepublic IntegerValue unsignedShiftRight(ParticularIntegerValue other)
IntegerValueunsignedShiftRight in class IntegerValuepublic IntegerValue shiftLeftOf(ParticularIntegerValue other)
IntegerValueshiftLeftOf in class IntegerValuepublic IntegerValue shiftRightOf(ParticularIntegerValue other)
IntegerValueshiftRightOf in class IntegerValuepublic IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
IntegerValueunsignedShiftRightOf in class IntegerValuepublic LongValue shiftLeftOf(ParticularLongValue other)
IntegerValueshiftLeftOf in class IntegerValuepublic LongValue shiftRightOf(ParticularLongValue other)
IntegerValueshiftRightOf in class IntegerValuepublic LongValue unsignedShiftRightOf(ParticularLongValue other)
IntegerValueunsignedShiftRightOf in class IntegerValuepublic IntegerValue and(ParticularIntegerValue other)
IntegerValueand in class IntegerValuepublic IntegerValue or(ParticularIntegerValue other)
IntegerValueor in class IntegerValuepublic IntegerValue xor(ParticularIntegerValue other)
IntegerValuexor in class IntegerValuepublic int equal(ParticularIntegerValue other)
IntegerValueNEVER, MAYBE, or ALWAYS.equal in class IntegerValuepublic int lessThan(ParticularIntegerValue other)
IntegerValueNEVER, MAYBE, or
ALWAYS.lessThan in class IntegerValuepublic int lessThanOrEqual(ParticularIntegerValue other)
IntegerValueNEVER, MAYBE, or
ALWAYS.lessThanOrEqual in class IntegerValuepublic IntegerValue generalize(RangeIntegerValue other)
IntegerValuegeneralize in class IntegerValuepublic IntegerValue add(RangeIntegerValue other)
IntegerValueadd in class IntegerValuepublic IntegerValue subtract(RangeIntegerValue other)
IntegerValuesubtract in class IntegerValuepublic IntegerValue subtractFrom(RangeIntegerValue other)
IntegerValuesubtractFrom in class IntegerValuepublic IntegerValue multiply(RangeIntegerValue other)
IntegerValuemultiply in class IntegerValuepublic IntegerValue divide(RangeIntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivide in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue divideOf(RangeIntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivideOf in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainder(RangeIntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainder in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainderOf(RangeIntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainderOf in class IntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue shiftLeft(RangeIntegerValue other)
IntegerValueshiftLeft in class IntegerValuepublic IntegerValue shiftRight(RangeIntegerValue other)
IntegerValueshiftRight in class IntegerValuepublic IntegerValue unsignedShiftRight(RangeIntegerValue other)
IntegerValueunsignedShiftRight in class IntegerValuepublic IntegerValue shiftLeftOf(RangeIntegerValue other)
IntegerValueshiftLeftOf in class IntegerValuepublic IntegerValue shiftRightOf(RangeIntegerValue other)
IntegerValueshiftRightOf in class IntegerValuepublic IntegerValue unsignedShiftRightOf(RangeIntegerValue other)
IntegerValueunsignedShiftRightOf in class IntegerValuepublic IntegerValue and(RangeIntegerValue other)
IntegerValueand in class IntegerValuepublic IntegerValue or(RangeIntegerValue other)
IntegerValueor in class IntegerValuepublic IntegerValue xor(RangeIntegerValue other)
IntegerValuexor in class IntegerValuepublic int equal(RangeIntegerValue other)
IntegerValueNEVER, MAYBE, or ALWAYS.equal in class IntegerValuepublic int lessThan(RangeIntegerValue other)
IntegerValueNEVER, MAYBE, or
ALWAYS.lessThan in class IntegerValuepublic int lessThanOrEqual(RangeIntegerValue other)
IntegerValueNEVER, MAYBE, or
ALWAYS.lessThanOrEqual in class IntegerValuepublic boolean isParticular()
ValueisParticular in class Valuepublic boolean equals(java.lang.Object object)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object