public final class ParticularIntegerValue extends SpecificIntegerValue
IntegerValue represents a particular integer value.
This class handles interactions with:
- ParticularIntegerValue
It reverses and delegates interactions with:
- RangeIntegerValue
- IntegerValue (in general)
It notably doesn't handle interactions with:
- UnknownInteger
- RangeIntegerValue
- 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 |
|---|
ParticularIntegerValue(int value)
Creates a new particular integer value.
|
| 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, and, divide, divideOf, equal, generalize, isSpecific, lessThan, lessThanOrEqual, multiply, or, remainder, remainderOf, shiftLeft, shiftLeftOf, shiftLeftOf, shiftRight, shiftRightOf, shiftRightOf, subtract, subtractFrom, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, xoradd, and, computationalType, divide, divideOf, equal, generalize, generalize, greaterThan, greaterThan, greaterThan, greaterThan, greaterThan, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, greaterThanOrEqual, integerValue, internalType, lessThan, lessThanOrEqual, multiply, notEqual, notEqual, notEqual, notEqual, notEqual, or, remainder, remainderOf, shiftLeft, shiftLeftOf, shiftLeftOf, shiftRight, shiftRightOf, shiftRightOf, subtract, subtractFrom, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, xorcategory1Value, isCategory2category2Value, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, longValue, referenceValuepublic ParticularIntegerValue(int value)
public int value()
IntegerValuevalue in class IntegerValuepublic IntegerValue negate()
IntegerValuenegate in class SpecificIntegerValuepublic IntegerValue convertToByte()
IntegerValueconvertToByte in class SpecificIntegerValuepublic IntegerValue convertToCharacter()
IntegerValueconvertToCharacter in class SpecificIntegerValuepublic IntegerValue convertToShort()
IntegerValueconvertToShort in class SpecificIntegerValuepublic LongValue convertToLong()
IntegerValueconvertToLong in class SpecificIntegerValuepublic FloatValue convertToFloat()
IntegerValueconvertToFloat in class SpecificIntegerValuepublic DoubleValue convertToDouble()
IntegerValueconvertToDouble in class SpecificIntegerValuepublic IntegerValue generalize(IntegerValue other)
IntegerValuegeneralize in class SpecificIntegerValuepublic IntegerValue add(IntegerValue other)
IntegerValueadd in class SpecificIntegerValuepublic IntegerValue subtract(IntegerValue other)
IntegerValuesubtract in class SpecificIntegerValuepublic IntegerValue subtractFrom(IntegerValue other)
IntegerValuesubtractFrom in class SpecificIntegerValuepublic IntegerValue multiply(IntegerValue other)
IntegerValuemultiply in class SpecificIntegerValuepublic IntegerValue divide(IntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivide in class SpecificIntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue divideOf(IntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivideOf in class SpecificIntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainder(IntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainder in class SpecificIntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainderOf(IntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainderOf in class SpecificIntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue shiftLeft(IntegerValue other)
IntegerValueshiftLeft in class SpecificIntegerValuepublic IntegerValue shiftLeftOf(IntegerValue other)
IntegerValueshiftLeftOf in class SpecificIntegerValuepublic IntegerValue shiftRight(IntegerValue other)
IntegerValueshiftRight in class SpecificIntegerValuepublic IntegerValue shiftRightOf(IntegerValue other)
IntegerValueshiftRightOf in class SpecificIntegerValuepublic IntegerValue unsignedShiftRight(IntegerValue other)
IntegerValueunsignedShiftRight in class SpecificIntegerValuepublic IntegerValue unsignedShiftRightOf(IntegerValue other)
IntegerValueunsignedShiftRightOf in class SpecificIntegerValuepublic LongValue shiftLeftOf(LongValue other)
IntegerValueshiftLeftOf in class SpecificIntegerValuepublic LongValue shiftRightOf(LongValue other)
IntegerValueshiftRightOf in class SpecificIntegerValuepublic LongValue unsignedShiftRightOf(LongValue other)
IntegerValueunsignedShiftRightOf in class SpecificIntegerValuepublic IntegerValue and(IntegerValue other)
IntegerValueand in class SpecificIntegerValuepublic IntegerValue or(IntegerValue other)
IntegerValueor in class SpecificIntegerValuepublic IntegerValue xor(IntegerValue other)
IntegerValuexor in class SpecificIntegerValuepublic int equal(IntegerValue other)
IntegerValueNEVER, MAYBE, or ALWAYS.equal in class SpecificIntegerValuepublic int lessThan(IntegerValue other)
IntegerValueNEVER, MAYBE, or ALWAYS.lessThan in class SpecificIntegerValuepublic int lessThanOrEqual(IntegerValue other)
IntegerValueNEVER, MAYBE, or
ALWAYS.lessThanOrEqual in class SpecificIntegerValuepublic 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 SpecificIntegerValuepublic IntegerValue add(RangeIntegerValue other)
IntegerValueadd in class SpecificIntegerValuepublic IntegerValue subtract(RangeIntegerValue other)
IntegerValuesubtract in class SpecificIntegerValuepublic IntegerValue subtractFrom(RangeIntegerValue other)
IntegerValuesubtractFrom in class SpecificIntegerValuepublic IntegerValue multiply(RangeIntegerValue other)
IntegerValuemultiply in class SpecificIntegerValuepublic IntegerValue divide(RangeIntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivide in class SpecificIntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue divideOf(RangeIntegerValue other) throws java.lang.ArithmeticException
IntegerValuedivideOf in class SpecificIntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainder(RangeIntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainder in class SpecificIntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue remainderOf(RangeIntegerValue other) throws java.lang.ArithmeticException
IntegerValueremainderOf in class SpecificIntegerValuejava.lang.ArithmeticExceptionpublic IntegerValue shiftLeft(RangeIntegerValue other)
IntegerValueshiftLeft in class SpecificIntegerValuepublic IntegerValue shiftLeftOf(RangeIntegerValue other)
IntegerValueshiftLeftOf in class SpecificIntegerValuepublic IntegerValue shiftRight(RangeIntegerValue other)
IntegerValueshiftRight in class SpecificIntegerValuepublic IntegerValue shiftRightOf(RangeIntegerValue other)
IntegerValueshiftRightOf in class SpecificIntegerValuepublic IntegerValue unsignedShiftRight(RangeIntegerValue other)
IntegerValueunsignedShiftRight in class SpecificIntegerValuepublic IntegerValue unsignedShiftRightOf(RangeIntegerValue other)
IntegerValueunsignedShiftRightOf in class SpecificIntegerValuepublic IntegerValue and(RangeIntegerValue other)
IntegerValueand in class SpecificIntegerValuepublic IntegerValue or(RangeIntegerValue other)
IntegerValueor in class SpecificIntegerValuepublic IntegerValue xor(RangeIntegerValue other)
IntegerValuexor in class SpecificIntegerValuepublic int equal(RangeIntegerValue other)
IntegerValueNEVER, MAYBE, or ALWAYS.equal in class SpecificIntegerValuepublic int lessThan(RangeIntegerValue other)
IntegerValueNEVER, MAYBE, or
ALWAYS.lessThan in class SpecificIntegerValuepublic int lessThanOrEqual(RangeIntegerValue other)
IntegerValueNEVER, MAYBE, or
ALWAYS.lessThanOrEqual in class SpecificIntegerValuepublic boolean isParticular()
ValueisParticular in class Valuepublic boolean equals(java.lang.Object object)
equals in class SpecificIntegerValuepublic int hashCode()
hashCode in class SpecificIntegerValuepublic java.lang.String toString()
toString in class java.lang.Object