Package proguard.evaluation.value
Class ParticularIntegerValue
- java.lang.Object
-
- proguard.evaluation.value.Value
-
- proguard.evaluation.value.Category1Value
-
- proguard.evaluation.value.IntegerValue
-
- proguard.evaluation.value.SpecificIntegerValue
-
- proguard.evaluation.value.ParticularIntegerValue
-
public final class ParticularIntegerValue extends SpecificIntegerValue
ThisIntegerValue
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)
-
-
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 ParticularIntegerValue(int value)
Creates a new particular integer value.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method 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
, 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
.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
, 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
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
.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.-
Methods inherited from class proguard.evaluation.value.SpecificIntegerValue
add, and, divide, divideOf, equal, generalize, isSpecific, lessThan, lessThanOrEqual, multiply, or, remainder, remainderOf, shiftLeft, shiftLeftOf, shiftLeftOf, shiftRight, shiftRightOf, shiftRightOf, subtract, subtractFrom, unsignedShiftRight, unsignedShiftRightOf, unsignedShiftRightOf, xor
-
Methods inherited from class proguard.evaluation.value.IntegerValue
add, 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, xor
-
Methods inherited from class proguard.evaluation.value.Category1Value
category1Value, isCategory2
-
Methods inherited from class proguard.evaluation.value.Value
category2Value, copyIfMutable, doubleValue, floatValue, instructionOffsetValue, longValue, referenceValue
-
-
-
-
Method Detail
-
value
public int value()
Description copied from class:IntegerValue
Returns the specific integer value, if applicable.- Overrides:
value
in classIntegerValue
-
negate
public IntegerValue negate()
Description copied from class:IntegerValue
Returns the negated value of this IntegerValue.- Overrides:
negate
in classSpecificIntegerValue
-
convertToByte
public IntegerValue convertToByte()
Description copied from class:IntegerValue
Converts this IntegerValue to a byte IntegerValue.- Overrides:
convertToByte
in classSpecificIntegerValue
-
convertToCharacter
public IntegerValue convertToCharacter()
Description copied from class:IntegerValue
Converts this IntegerValue to a character IntegerValue.- Overrides:
convertToCharacter
in classSpecificIntegerValue
-
convertToShort
public IntegerValue convertToShort()
Description copied from class:IntegerValue
Converts this IntegerValue to a short IntegerValue.- Overrides:
convertToShort
in classSpecificIntegerValue
-
convertToLong
public LongValue convertToLong()
Description copied from class:IntegerValue
Converts this IntegerValue to a LongValue.- Overrides:
convertToLong
in classSpecificIntegerValue
-
convertToFloat
public FloatValue convertToFloat()
Description copied from class:IntegerValue
Converts this IntegerValue to a FloatValue.- Overrides:
convertToFloat
in classSpecificIntegerValue
-
convertToDouble
public DoubleValue convertToDouble()
Description copied from class:IntegerValue
Converts this IntegerValue to a DoubleValue.- Overrides:
convertToDouble
in classSpecificIntegerValue
-
generalize
public IntegerValue generalize(IntegerValue other)
Description copied from class:IntegerValue
Returns the generalization of this IntegerValue and the given other IntegerValue.- Overrides:
generalize
in classSpecificIntegerValue
-
add
public IntegerValue add(IntegerValue other)
Description copied from class:IntegerValue
Returns the sum of this IntegerValue and the given IntegerValue.- Overrides:
add
in classSpecificIntegerValue
-
subtract
public IntegerValue subtract(IntegerValue other)
Description copied from class:IntegerValue
Returns the difference of this IntegerValue and the given IntegerValue.- Overrides:
subtract
in classSpecificIntegerValue
-
subtractFrom
public IntegerValue subtractFrom(IntegerValue other)
Description copied from class:IntegerValue
Returns the difference of the given IntegerValue and this IntegerValue.- Overrides:
subtractFrom
in classSpecificIntegerValue
-
multiply
public IntegerValue multiply(IntegerValue other)
Description copied from class:IntegerValue
Returns the product of this IntegerValue and the given IntegerValue.- Overrides:
multiply
in classSpecificIntegerValue
-
divide
public IntegerValue divide(IntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the quotient of this IntegerValue and the given IntegerValue.- Overrides:
divide
in classSpecificIntegerValue
- Throws:
java.lang.ArithmeticException
-
divideOf
public IntegerValue divideOf(IntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the quotient of the given IntegerValue and this IntegerValue.- Overrides:
divideOf
in classSpecificIntegerValue
- Throws:
java.lang.ArithmeticException
-
remainder
public IntegerValue remainder(IntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the remainder of this IntegerValue divided by the given IntegerValue.- Overrides:
remainder
in classSpecificIntegerValue
- Throws:
java.lang.ArithmeticException
-
remainderOf
public IntegerValue remainderOf(IntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the remainder of the given IntegerValue divided by this IntegerValue.- Overrides:
remainderOf
in classSpecificIntegerValue
- Throws:
java.lang.ArithmeticException
-
shiftLeft
public IntegerValue shiftLeft(IntegerValue other)
Description copied from class:IntegerValue
Returns this IntegerValue, shifted left by the given IntegerValue.- Overrides:
shiftLeft
in classSpecificIntegerValue
-
shiftLeftOf
public IntegerValue shiftLeftOf(IntegerValue other)
Description copied from class:IntegerValue
Returns the given IntegerValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOf
in classSpecificIntegerValue
-
shiftRight
public IntegerValue shiftRight(IntegerValue other)
Description copied from class:IntegerValue
Returns this IntegerValue, shifted right by the given IntegerValue.- Overrides:
shiftRight
in classSpecificIntegerValue
-
shiftRightOf
public IntegerValue shiftRightOf(IntegerValue other)
Description copied from class:IntegerValue
Returns the given IntegerValue, shifted right by this IntegerValue.- Overrides:
shiftRightOf
in classSpecificIntegerValue
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(IntegerValue other)
Description copied from class:IntegerValue
Returns this unsigned IntegerValue, shifted left by the given IntegerValue.- Overrides:
unsignedShiftRight
in classSpecificIntegerValue
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(IntegerValue other)
Description copied from class:IntegerValue
Returns the given unsigned IntegerValue, shifted left by this IntegerValue.- Overrides:
unsignedShiftRightOf
in classSpecificIntegerValue
-
shiftLeftOf
public LongValue shiftLeftOf(LongValue other)
Description copied from class:IntegerValue
Returns the given LongValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOf
in classSpecificIntegerValue
-
shiftRightOf
public LongValue shiftRightOf(LongValue other)
Description copied from class:IntegerValue
Returns the given LongValue, shifted right by this IntegerValue.- Overrides:
shiftRightOf
in classSpecificIntegerValue
-
unsignedShiftRightOf
public LongValue unsignedShiftRightOf(LongValue other)
Description copied from class:IntegerValue
Returns the given unsigned LongValue, shifted right by this IntegerValue.- Overrides:
unsignedShiftRightOf
in classSpecificIntegerValue
-
and
public IntegerValue and(IntegerValue other)
Description copied from class:IntegerValue
Returns the logical and of this IntegerValue and the given IntegerValue.- Overrides:
and
in classSpecificIntegerValue
-
or
public IntegerValue or(IntegerValue other)
Description copied from class:IntegerValue
Returns the logical or of this IntegerValue and the given IntegerValue.- Overrides:
or
in classSpecificIntegerValue
-
xor
public IntegerValue xor(IntegerValue other)
Description copied from class:IntegerValue
Returns the logical xor of this IntegerValue and the given IntegerValue.- Overrides:
xor
in classSpecificIntegerValue
-
equal
public int equal(IntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue and the given IntegerValue are equal:NEVER
,MAYBE
, orALWAYS
.- Overrides:
equal
in classSpecificIntegerValue
-
lessThan
public int lessThan(IntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue is less than the given IntegerValue:NEVER
,MAYBE
, orALWAYS
.- Overrides:
lessThan
in classSpecificIntegerValue
-
lessThanOrEqual
public int lessThanOrEqual(IntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue is less than or equal to the given IntegerValue:NEVER
,MAYBE
, orALWAYS
.- Overrides:
lessThanOrEqual
in classSpecificIntegerValue
-
generalize
public IntegerValue generalize(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.- Overrides:
generalize
in classIntegerValue
-
add
public IntegerValue add(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the sum of this IntegerValue and the given ParticularIntegerValue.- Overrides:
add
in classIntegerValue
-
subtract
public IntegerValue subtract(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the difference of this IntegerValue and the given ParticularIntegerValue.- Overrides:
subtract
in classIntegerValue
-
subtractFrom
public IntegerValue subtractFrom(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the difference of the given ParticularIntegerValue and this IntegerValue.- Overrides:
subtractFrom
in classIntegerValue
-
multiply
public IntegerValue multiply(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the product of this IntegerValue and the given ParticularIntegerValue.- Overrides:
multiply
in classIntegerValue
-
divide
public IntegerValue divide(ParticularIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the quotient of this IntegerValue and the given ParticularIntegerValue.- Overrides:
divide
in classIntegerValue
- Throws:
java.lang.ArithmeticException
-
divideOf
public IntegerValue divideOf(ParticularIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the quotient of the given ParticularIntegerValue and this IntegerValue.- Overrides:
divideOf
in classIntegerValue
- Throws:
java.lang.ArithmeticException
-
remainder
public IntegerValue remainder(ParticularIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.- Overrides:
remainder
in classIntegerValue
- Throws:
java.lang.ArithmeticException
-
remainderOf
public IntegerValue remainderOf(ParticularIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.- Overrides:
remainderOf
in classIntegerValue
- Throws:
java.lang.ArithmeticException
-
shiftLeft
public IntegerValue shiftLeft(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns this IntegerValue, shifted left by the given ParticularIntegerValue.- Overrides:
shiftLeft
in classIntegerValue
-
shiftRight
public IntegerValue shiftRight(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns this IntegerValue, shifted right by the given ParticularIntegerValue.- Overrides:
shiftRight
in classIntegerValue
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.- Overrides:
unsignedShiftRight
in classIntegerValue
-
shiftLeftOf
public IntegerValue shiftLeftOf(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the given ParticularIntegerValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOf
in classIntegerValue
-
shiftRightOf
public IntegerValue shiftRightOf(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the given ParticularIntegerValue, shifted right by this IntegerValue.- Overrides:
shiftRightOf
in classIntegerValue
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.- Overrides:
unsignedShiftRightOf
in classIntegerValue
-
shiftLeftOf
public LongValue shiftLeftOf(ParticularLongValue other)
Description copied from class:IntegerValue
Returns the given ParticularLongValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOf
in classIntegerValue
-
shiftRightOf
public LongValue shiftRightOf(ParticularLongValue other)
Description copied from class:IntegerValue
Returns the given ParticularLongValue, shifted right by this IntegerValue.- Overrides:
shiftRightOf
in classIntegerValue
-
unsignedShiftRightOf
public LongValue unsignedShiftRightOf(ParticularLongValue other)
Description copied from class:IntegerValue
Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.- Overrides:
unsignedShiftRightOf
in classIntegerValue
-
and
public IntegerValue and(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the logical and of this IntegerValue and the given ParticularIntegerValue.- Overrides:
and
in classIntegerValue
-
or
public IntegerValue or(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the logical or of this IntegerValue and the given ParticularIntegerValue.- Overrides:
or
in classIntegerValue
-
xor
public IntegerValue xor(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.- Overrides:
xor
in classIntegerValue
-
equal
public int equal(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue and the given ParticularIntegerValue are equal:NEVER
,MAYBE
, orALWAYS
.- Overrides:
equal
in classIntegerValue
-
lessThan
public int lessThan(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue is less than the given ParticularIntegerValue:NEVER
,MAYBE
, orALWAYS
.- Overrides:
lessThan
in classIntegerValue
-
lessThanOrEqual
public int lessThanOrEqual(ParticularIntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue:NEVER
,MAYBE
, orALWAYS
.- Overrides:
lessThanOrEqual
in classIntegerValue
-
generalize
public IntegerValue generalize(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the generalization of this IntegerValue and the given other RangeIntegerValue.- Overrides:
generalize
in classSpecificIntegerValue
-
add
public IntegerValue add(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the sum of this IntegerValue and the given RangeIntegerValue.- Overrides:
add
in classSpecificIntegerValue
-
subtract
public IntegerValue subtract(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the difference of this IntegerValue and the given RangeIntegerValue.- Overrides:
subtract
in classSpecificIntegerValue
-
subtractFrom
public IntegerValue subtractFrom(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the difference of the given RangeIntegerValue and this IntegerValue.- Overrides:
subtractFrom
in classSpecificIntegerValue
-
multiply
public IntegerValue multiply(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the product of this IntegerValue and the given RangeIntegerValue.- Overrides:
multiply
in classSpecificIntegerValue
-
divide
public IntegerValue divide(RangeIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the quotient of this IntegerValue and the given RangeIntegerValue.- Overrides:
divide
in classSpecificIntegerValue
- Throws:
java.lang.ArithmeticException
-
divideOf
public IntegerValue divideOf(RangeIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the quotient of the given RangeIntegerValue and this IntegerValue.- Overrides:
divideOf
in classSpecificIntegerValue
- Throws:
java.lang.ArithmeticException
-
remainder
public IntegerValue remainder(RangeIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.- Overrides:
remainder
in classSpecificIntegerValue
- Throws:
java.lang.ArithmeticException
-
remainderOf
public IntegerValue remainderOf(RangeIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValue
Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.- Overrides:
remainderOf
in classSpecificIntegerValue
- Throws:
java.lang.ArithmeticException
-
shiftLeft
public IntegerValue shiftLeft(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns this IntegerValue, shifted left by the given RangeIntegerValue.- Overrides:
shiftLeft
in classSpecificIntegerValue
-
shiftLeftOf
public IntegerValue shiftLeftOf(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the given RangeIntegerValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOf
in classSpecificIntegerValue
-
shiftRight
public IntegerValue shiftRight(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns this IntegerValue, shifted right by the given RangeIntegerValue.- Overrides:
shiftRight
in classSpecificIntegerValue
-
shiftRightOf
public IntegerValue shiftRightOf(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the given RangeIntegerValue, shifted right by this IntegerValue.- Overrides:
shiftRightOf
in classSpecificIntegerValue
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.- Overrides:
unsignedShiftRight
in classSpecificIntegerValue
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.- Overrides:
unsignedShiftRightOf
in classSpecificIntegerValue
-
and
public IntegerValue and(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the logical and of this IntegerValue and the given RangeIntegerValue.- Overrides:
and
in classSpecificIntegerValue
-
or
public IntegerValue or(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the logical or of this IntegerValue and the given RangeIntegerValue.- Overrides:
or
in classSpecificIntegerValue
-
xor
public IntegerValue xor(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns the logical xor of this IntegerValue and the given RangeIntegerValue.- Overrides:
xor
in classSpecificIntegerValue
-
equal
public int equal(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue and the given RangeIntegerValue are equal:NEVER
,MAYBE
, orALWAYS
.- Overrides:
equal
in classSpecificIntegerValue
-
lessThan
public int lessThan(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue is less than the given RangeIntegerValue:NEVER
,MAYBE
, orALWAYS
.- Overrides:
lessThan
in classSpecificIntegerValue
-
lessThanOrEqual
public int lessThanOrEqual(RangeIntegerValue other)
Description copied from class:IntegerValue
Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue:NEVER
,MAYBE
, orALWAYS
.- Overrides:
lessThanOrEqual
in classSpecificIntegerValue
-
isParticular
public boolean isParticular()
Description copied from class:Value
Returns whether this Value represents a single particular (known) value.- Overrides:
isParticular
in classValue
-
equals
public boolean equals(java.lang.Object object)
- Overrides:
equals
in classSpecificIntegerValue
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classSpecificIntegerValue
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-