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
ThisIntegerValuerepresents 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 IntegerValueadd(IntegerValue other)Returns the sum of this IntegerValue and the given IntegerValue.IntegerValueadd(ParticularIntegerValue other)Returns the sum of this IntegerValue and the given ParticularIntegerValue.IntegerValueadd(RangeIntegerValue other)Returns the sum of this IntegerValue and the given RangeIntegerValue.IntegerValueand(IntegerValue other)Returns the logical and of this IntegerValue and the given IntegerValue.IntegerValueand(ParticularIntegerValue other)Returns the logical and of this IntegerValue and the given ParticularIntegerValue.IntegerValueand(RangeIntegerValue other)Returns the logical and of this IntegerValue and the given RangeIntegerValue.IntegerValueconvertToByte()Converts this IntegerValue to a byte IntegerValue.IntegerValueconvertToCharacter()Converts this IntegerValue to a character IntegerValue.DoubleValueconvertToDouble()Converts this IntegerValue to a DoubleValue.FloatValueconvertToFloat()Converts this IntegerValue to a FloatValue.LongValueconvertToLong()Converts this IntegerValue to a LongValue.IntegerValueconvertToShort()Converts this IntegerValue to a short IntegerValue.IntegerValuedivide(IntegerValue other)Returns the quotient of this IntegerValue and the given IntegerValue.IntegerValuedivide(ParticularIntegerValue other)Returns the quotient of this IntegerValue and the given ParticularIntegerValue.IntegerValuedivide(RangeIntegerValue other)Returns the quotient of this IntegerValue and the given RangeIntegerValue.IntegerValuedivideOf(IntegerValue other)Returns the quotient of the given IntegerValue and this IntegerValue.IntegerValuedivideOf(ParticularIntegerValue other)Returns the quotient of the given ParticularIntegerValue and this IntegerValue.IntegerValuedivideOf(RangeIntegerValue other)Returns the quotient of the given RangeIntegerValue and this IntegerValue.intequal(IntegerValue other)Returns whether this IntegerValue and the given IntegerValue are equal:NEVER,MAYBE, orALWAYS.intequal(ParticularIntegerValue other)Returns whether this IntegerValue and the given ParticularIntegerValue are equal:NEVER,MAYBE, orALWAYS.intequal(RangeIntegerValue other)Returns whether this IntegerValue and the given RangeIntegerValue are equal:NEVER,MAYBE, orALWAYS.booleanequals(java.lang.Object object)IntegerValuegeneralize(IntegerValue other)Returns the generalization of this IntegerValue and the given other IntegerValue.IntegerValuegeneralize(ParticularIntegerValue other)Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.IntegerValuegeneralize(RangeIntegerValue other)Returns the generalization of this IntegerValue and the given other RangeIntegerValue.inthashCode()booleanisParticular()Returns whether this Value represents a single particular (known) value.intlessThan(IntegerValue other)Returns whether this IntegerValue is less than the given IntegerValue:NEVER,MAYBE, orALWAYS.intlessThan(ParticularIntegerValue other)Returns whether this IntegerValue is less than the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.intlessThan(RangeIntegerValue other)Returns whether this IntegerValue is less than the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.intlessThanOrEqual(IntegerValue other)Returns whether this IntegerValue is less than or equal to the given IntegerValue:NEVER,MAYBE, orALWAYS.intlessThanOrEqual(ParticularIntegerValue other)Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.intlessThanOrEqual(RangeIntegerValue other)Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.IntegerValuemultiply(IntegerValue other)Returns the product of this IntegerValue and the given IntegerValue.IntegerValuemultiply(ParticularIntegerValue other)Returns the product of this IntegerValue and the given ParticularIntegerValue.IntegerValuemultiply(RangeIntegerValue other)Returns the product of this IntegerValue and the given RangeIntegerValue.IntegerValuenegate()Returns the negated value of this IntegerValue.IntegerValueor(IntegerValue other)Returns the logical or of this IntegerValue and the given IntegerValue.IntegerValueor(ParticularIntegerValue other)Returns the logical or of this IntegerValue and the given ParticularIntegerValue.IntegerValueor(RangeIntegerValue other)Returns the logical or of this IntegerValue and the given RangeIntegerValue.IntegerValueremainder(IntegerValue other)Returns the remainder of this IntegerValue divided by the given IntegerValue.IntegerValueremainder(ParticularIntegerValue other)Returns the remainder of this IntegerValue divided by the given ParticularIntegerValue.IntegerValueremainder(RangeIntegerValue other)Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.IntegerValueremainderOf(IntegerValue other)Returns the remainder of the given IntegerValue divided by this IntegerValue.IntegerValueremainderOf(ParticularIntegerValue other)Returns the remainder of the given ParticularIntegerValue divided by this IntegerValue.IntegerValueremainderOf(RangeIntegerValue other)Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.IntegerValueshiftLeft(IntegerValue other)Returns this IntegerValue, shifted left by the given IntegerValue.IntegerValueshiftLeft(ParticularIntegerValue other)Returns this IntegerValue, shifted left by the given ParticularIntegerValue.IntegerValueshiftLeft(RangeIntegerValue other)Returns this IntegerValue, shifted left by the given RangeIntegerValue.IntegerValueshiftLeftOf(IntegerValue other)Returns the given IntegerValue, shifted left by this IntegerValue.LongValueshiftLeftOf(LongValue other)Returns the given LongValue, shifted left by this IntegerValue.IntegerValueshiftLeftOf(ParticularIntegerValue other)Returns the given ParticularIntegerValue, shifted left by this IntegerValue.LongValueshiftLeftOf(ParticularLongValue other)Returns the given ParticularLongValue, shifted left by this IntegerValue.IntegerValueshiftLeftOf(RangeIntegerValue other)Returns the given RangeIntegerValue, shifted left by this IntegerValue.IntegerValueshiftRight(IntegerValue other)Returns this IntegerValue, shifted right by the given IntegerValue.IntegerValueshiftRight(ParticularIntegerValue other)Returns this IntegerValue, shifted right by the given ParticularIntegerValue.IntegerValueshiftRight(RangeIntegerValue other)Returns this IntegerValue, shifted right by the given RangeIntegerValue.IntegerValueshiftRightOf(IntegerValue other)Returns the given IntegerValue, shifted right by this IntegerValue.LongValueshiftRightOf(LongValue other)Returns the given LongValue, shifted right by this IntegerValue.IntegerValueshiftRightOf(ParticularIntegerValue other)Returns the given ParticularIntegerValue, shifted right by this IntegerValue.LongValueshiftRightOf(ParticularLongValue other)Returns the given ParticularLongValue, shifted right by this IntegerValue.IntegerValueshiftRightOf(RangeIntegerValue other)Returns the given RangeIntegerValue, shifted right by this IntegerValue.IntegerValuesubtract(IntegerValue other)Returns the difference of this IntegerValue and the given IntegerValue.IntegerValuesubtract(ParticularIntegerValue other)Returns the difference of this IntegerValue and the given ParticularIntegerValue.IntegerValuesubtract(RangeIntegerValue other)Returns the difference of this IntegerValue and the given RangeIntegerValue.IntegerValuesubtractFrom(IntegerValue other)Returns the difference of the given IntegerValue and this IntegerValue.IntegerValuesubtractFrom(ParticularIntegerValue other)Returns the difference of the given ParticularIntegerValue and this IntegerValue.IntegerValuesubtractFrom(RangeIntegerValue other)Returns the difference of the given RangeIntegerValue and this IntegerValue.java.lang.StringtoString()IntegerValueunsignedShiftRight(IntegerValue other)Returns this unsigned IntegerValue, shifted left by the given IntegerValue.IntegerValueunsignedShiftRight(ParticularIntegerValue other)Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.IntegerValueunsignedShiftRight(RangeIntegerValue other)Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.IntegerValueunsignedShiftRightOf(IntegerValue other)Returns the given unsigned IntegerValue, shifted left by this IntegerValue.LongValueunsignedShiftRightOf(LongValue other)Returns the given unsigned LongValue, shifted right by this IntegerValue.IntegerValueunsignedShiftRightOf(ParticularIntegerValue other)Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.LongValueunsignedShiftRightOf(ParticularLongValue other)Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.IntegerValueunsignedShiftRightOf(RangeIntegerValue other)Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.intvalue()Returns the specific integer value, if applicable.IntegerValuexor(IntegerValue other)Returns the logical xor of this IntegerValue and the given IntegerValue.IntegerValuexor(ParticularIntegerValue other)Returns the logical xor of this IntegerValue and the given ParticularIntegerValue.IntegerValuexor(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:IntegerValueReturns the specific integer value, if applicable.- Overrides:
valuein classIntegerValue
-
negate
public IntegerValue negate()
Description copied from class:IntegerValueReturns the negated value of this IntegerValue.- Overrides:
negatein classSpecificIntegerValue
-
convertToByte
public IntegerValue convertToByte()
Description copied from class:IntegerValueConverts this IntegerValue to a byte IntegerValue.- Overrides:
convertToBytein classSpecificIntegerValue
-
convertToCharacter
public IntegerValue convertToCharacter()
Description copied from class:IntegerValueConverts this IntegerValue to a character IntegerValue.- Overrides:
convertToCharacterin classSpecificIntegerValue
-
convertToShort
public IntegerValue convertToShort()
Description copied from class:IntegerValueConverts this IntegerValue to a short IntegerValue.- Overrides:
convertToShortin classSpecificIntegerValue
-
convertToLong
public LongValue convertToLong()
Description copied from class:IntegerValueConverts this IntegerValue to a LongValue.- Overrides:
convertToLongin classSpecificIntegerValue
-
convertToFloat
public FloatValue convertToFloat()
Description copied from class:IntegerValueConverts this IntegerValue to a FloatValue.- Overrides:
convertToFloatin classSpecificIntegerValue
-
convertToDouble
public DoubleValue convertToDouble()
Description copied from class:IntegerValueConverts this IntegerValue to a DoubleValue.- Overrides:
convertToDoublein classSpecificIntegerValue
-
generalize
public IntegerValue generalize(IntegerValue other)
Description copied from class:IntegerValueReturns the generalization of this IntegerValue and the given other IntegerValue.- Overrides:
generalizein classSpecificIntegerValue
-
add
public IntegerValue add(IntegerValue other)
Description copied from class:IntegerValueReturns the sum of this IntegerValue and the given IntegerValue.- Overrides:
addin classSpecificIntegerValue
-
subtract
public IntegerValue subtract(IntegerValue other)
Description copied from class:IntegerValueReturns the difference of this IntegerValue and the given IntegerValue.- Overrides:
subtractin classSpecificIntegerValue
-
subtractFrom
public IntegerValue subtractFrom(IntegerValue other)
Description copied from class:IntegerValueReturns the difference of the given IntegerValue and this IntegerValue.- Overrides:
subtractFromin classSpecificIntegerValue
-
multiply
public IntegerValue multiply(IntegerValue other)
Description copied from class:IntegerValueReturns the product of this IntegerValue and the given IntegerValue.- Overrides:
multiplyin classSpecificIntegerValue
-
divide
public IntegerValue divide(IntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the quotient of this IntegerValue and the given IntegerValue.- Overrides:
dividein classSpecificIntegerValue- Throws:
java.lang.ArithmeticException
-
divideOf
public IntegerValue divideOf(IntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the quotient of the given IntegerValue and this IntegerValue.- Overrides:
divideOfin classSpecificIntegerValue- Throws:
java.lang.ArithmeticException
-
remainder
public IntegerValue remainder(IntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the remainder of this IntegerValue divided by the given IntegerValue.- Overrides:
remainderin classSpecificIntegerValue- Throws:
java.lang.ArithmeticException
-
remainderOf
public IntegerValue remainderOf(IntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the remainder of the given IntegerValue divided by this IntegerValue.- Overrides:
remainderOfin classSpecificIntegerValue- Throws:
java.lang.ArithmeticException
-
shiftLeft
public IntegerValue shiftLeft(IntegerValue other)
Description copied from class:IntegerValueReturns this IntegerValue, shifted left by the given IntegerValue.- Overrides:
shiftLeftin classSpecificIntegerValue
-
shiftLeftOf
public IntegerValue shiftLeftOf(IntegerValue other)
Description copied from class:IntegerValueReturns the given IntegerValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOfin classSpecificIntegerValue
-
shiftRight
public IntegerValue shiftRight(IntegerValue other)
Description copied from class:IntegerValueReturns this IntegerValue, shifted right by the given IntegerValue.- Overrides:
shiftRightin classSpecificIntegerValue
-
shiftRightOf
public IntegerValue shiftRightOf(IntegerValue other)
Description copied from class:IntegerValueReturns the given IntegerValue, shifted right by this IntegerValue.- Overrides:
shiftRightOfin classSpecificIntegerValue
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(IntegerValue other)
Description copied from class:IntegerValueReturns this unsigned IntegerValue, shifted left by the given IntegerValue.- Overrides:
unsignedShiftRightin classSpecificIntegerValue
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(IntegerValue other)
Description copied from class:IntegerValueReturns the given unsigned IntegerValue, shifted left by this IntegerValue.- Overrides:
unsignedShiftRightOfin classSpecificIntegerValue
-
shiftLeftOf
public LongValue shiftLeftOf(LongValue other)
Description copied from class:IntegerValueReturns the given LongValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOfin classSpecificIntegerValue
-
shiftRightOf
public LongValue shiftRightOf(LongValue other)
Description copied from class:IntegerValueReturns the given LongValue, shifted right by this IntegerValue.- Overrides:
shiftRightOfin classSpecificIntegerValue
-
unsignedShiftRightOf
public LongValue unsignedShiftRightOf(LongValue other)
Description copied from class:IntegerValueReturns the given unsigned LongValue, shifted right by this IntegerValue.- Overrides:
unsignedShiftRightOfin classSpecificIntegerValue
-
and
public IntegerValue and(IntegerValue other)
Description copied from class:IntegerValueReturns the logical and of this IntegerValue and the given IntegerValue.- Overrides:
andin classSpecificIntegerValue
-
or
public IntegerValue or(IntegerValue other)
Description copied from class:IntegerValueReturns the logical or of this IntegerValue and the given IntegerValue.- Overrides:
orin classSpecificIntegerValue
-
xor
public IntegerValue xor(IntegerValue other)
Description copied from class:IntegerValueReturns the logical xor of this IntegerValue and the given IntegerValue.- Overrides:
xorin classSpecificIntegerValue
-
equal
public int equal(IntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue and the given IntegerValue are equal:NEVER,MAYBE, orALWAYS.- Overrides:
equalin classSpecificIntegerValue
-
lessThan
public int lessThan(IntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue is less than the given IntegerValue:NEVER,MAYBE, orALWAYS.- Overrides:
lessThanin classSpecificIntegerValue
-
lessThanOrEqual
public int lessThanOrEqual(IntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue is less than or equal to the given IntegerValue:NEVER,MAYBE, orALWAYS.- Overrides:
lessThanOrEqualin classSpecificIntegerValue
-
generalize
public IntegerValue generalize(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the generalization of this IntegerValue and the given other ParticularIntegerValue.- Overrides:
generalizein classIntegerValue
-
add
public IntegerValue add(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the sum of this IntegerValue and the given ParticularIntegerValue.- Overrides:
addin classIntegerValue
-
subtract
public IntegerValue subtract(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the difference of this IntegerValue and the given ParticularIntegerValue.- Overrides:
subtractin classIntegerValue
-
subtractFrom
public IntegerValue subtractFrom(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the difference of the given ParticularIntegerValue and this IntegerValue.- Overrides:
subtractFromin classIntegerValue
-
multiply
public IntegerValue multiply(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the product of this IntegerValue and the given ParticularIntegerValue.- Overrides:
multiplyin classIntegerValue
-
divide
public IntegerValue divide(ParticularIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the quotient of this IntegerValue and the given ParticularIntegerValue.- Overrides:
dividein classIntegerValue- Throws:
java.lang.ArithmeticException
-
divideOf
public IntegerValue divideOf(ParticularIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the quotient of the given ParticularIntegerValue and this IntegerValue.- Overrides:
divideOfin classIntegerValue- Throws:
java.lang.ArithmeticException
-
remainder
public IntegerValue remainder(ParticularIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the remainder of this IntegerValue divided by the given ParticularIntegerValue.- Overrides:
remainderin classIntegerValue- Throws:
java.lang.ArithmeticException
-
remainderOf
public IntegerValue remainderOf(ParticularIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the remainder of the given ParticularIntegerValue divided by this IntegerValue.- Overrides:
remainderOfin classIntegerValue- Throws:
java.lang.ArithmeticException
-
shiftLeft
public IntegerValue shiftLeft(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns this IntegerValue, shifted left by the given ParticularIntegerValue.- Overrides:
shiftLeftin classIntegerValue
-
shiftRight
public IntegerValue shiftRight(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns this IntegerValue, shifted right by the given ParticularIntegerValue.- Overrides:
shiftRightin classIntegerValue
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.- Overrides:
unsignedShiftRightin classIntegerValue
-
shiftLeftOf
public IntegerValue shiftLeftOf(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the given ParticularIntegerValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOfin classIntegerValue
-
shiftRightOf
public IntegerValue shiftRightOf(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the given ParticularIntegerValue, shifted right by this IntegerValue.- Overrides:
shiftRightOfin classIntegerValue
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.- Overrides:
unsignedShiftRightOfin classIntegerValue
-
shiftLeftOf
public LongValue shiftLeftOf(ParticularLongValue other)
Description copied from class:IntegerValueReturns the given ParticularLongValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOfin classIntegerValue
-
shiftRightOf
public LongValue shiftRightOf(ParticularLongValue other)
Description copied from class:IntegerValueReturns the given ParticularLongValue, shifted right by this IntegerValue.- Overrides:
shiftRightOfin classIntegerValue
-
unsignedShiftRightOf
public LongValue unsignedShiftRightOf(ParticularLongValue other)
Description copied from class:IntegerValueReturns the given unsigned ParticularLongValue, shifted right by this IntegerValue.- Overrides:
unsignedShiftRightOfin classIntegerValue
-
and
public IntegerValue and(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the logical and of this IntegerValue and the given ParticularIntegerValue.- Overrides:
andin classIntegerValue
-
or
public IntegerValue or(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the logical or of this IntegerValue and the given ParticularIntegerValue.- Overrides:
orin classIntegerValue
-
xor
public IntegerValue xor(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns the logical xor of this IntegerValue and the given ParticularIntegerValue.- Overrides:
xorin classIntegerValue
-
equal
public int equal(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue and the given ParticularIntegerValue are equal:NEVER,MAYBE, orALWAYS.- Overrides:
equalin classIntegerValue
-
lessThan
public int lessThan(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue is less than the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.- Overrides:
lessThanin classIntegerValue
-
lessThanOrEqual
public int lessThanOrEqual(ParticularIntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue is less than or equal to the given ParticularIntegerValue:NEVER,MAYBE, orALWAYS.- Overrides:
lessThanOrEqualin classIntegerValue
-
generalize
public IntegerValue generalize(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the generalization of this IntegerValue and the given other RangeIntegerValue.- Overrides:
generalizein classSpecificIntegerValue
-
add
public IntegerValue add(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the sum of this IntegerValue and the given RangeIntegerValue.- Overrides:
addin classSpecificIntegerValue
-
subtract
public IntegerValue subtract(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the difference of this IntegerValue and the given RangeIntegerValue.- Overrides:
subtractin classSpecificIntegerValue
-
subtractFrom
public IntegerValue subtractFrom(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the difference of the given RangeIntegerValue and this IntegerValue.- Overrides:
subtractFromin classSpecificIntegerValue
-
multiply
public IntegerValue multiply(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the product of this IntegerValue and the given RangeIntegerValue.- Overrides:
multiplyin classSpecificIntegerValue
-
divide
public IntegerValue divide(RangeIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the quotient of this IntegerValue and the given RangeIntegerValue.- Overrides:
dividein classSpecificIntegerValue- Throws:
java.lang.ArithmeticException
-
divideOf
public IntegerValue divideOf(RangeIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the quotient of the given RangeIntegerValue and this IntegerValue.- Overrides:
divideOfin classSpecificIntegerValue- Throws:
java.lang.ArithmeticException
-
remainder
public IntegerValue remainder(RangeIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the remainder of this IntegerValue divided by the given RangeIntegerValue.- Overrides:
remainderin classSpecificIntegerValue- Throws:
java.lang.ArithmeticException
-
remainderOf
public IntegerValue remainderOf(RangeIntegerValue other) throws java.lang.ArithmeticException
Description copied from class:IntegerValueReturns the remainder of the given RangeIntegerValue divided by this IntegerValue.- Overrides:
remainderOfin classSpecificIntegerValue- Throws:
java.lang.ArithmeticException
-
shiftLeft
public IntegerValue shiftLeft(RangeIntegerValue other)
Description copied from class:IntegerValueReturns this IntegerValue, shifted left by the given RangeIntegerValue.- Overrides:
shiftLeftin classSpecificIntegerValue
-
shiftLeftOf
public IntegerValue shiftLeftOf(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the given RangeIntegerValue, shifted left by this IntegerValue.- Overrides:
shiftLeftOfin classSpecificIntegerValue
-
shiftRight
public IntegerValue shiftRight(RangeIntegerValue other)
Description copied from class:IntegerValueReturns this IntegerValue, shifted right by the given RangeIntegerValue.- Overrides:
shiftRightin classSpecificIntegerValue
-
shiftRightOf
public IntegerValue shiftRightOf(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the given RangeIntegerValue, shifted right by this IntegerValue.- Overrides:
shiftRightOfin classSpecificIntegerValue
-
unsignedShiftRight
public IntegerValue unsignedShiftRight(RangeIntegerValue other)
Description copied from class:IntegerValueReturns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.- Overrides:
unsignedShiftRightin classSpecificIntegerValue
-
unsignedShiftRightOf
public IntegerValue unsignedShiftRightOf(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.- Overrides:
unsignedShiftRightOfin classSpecificIntegerValue
-
and
public IntegerValue and(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the logical and of this IntegerValue and the given RangeIntegerValue.- Overrides:
andin classSpecificIntegerValue
-
or
public IntegerValue or(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the logical or of this IntegerValue and the given RangeIntegerValue.- Overrides:
orin classSpecificIntegerValue
-
xor
public IntegerValue xor(RangeIntegerValue other)
Description copied from class:IntegerValueReturns the logical xor of this IntegerValue and the given RangeIntegerValue.- Overrides:
xorin classSpecificIntegerValue
-
equal
public int equal(RangeIntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue and the given RangeIntegerValue are equal:NEVER,MAYBE, orALWAYS.- Overrides:
equalin classSpecificIntegerValue
-
lessThan
public int lessThan(RangeIntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue is less than the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.- Overrides:
lessThanin classSpecificIntegerValue
-
lessThanOrEqual
public int lessThanOrEqual(RangeIntegerValue other)
Description copied from class:IntegerValueReturns whether this IntegerValue is less than or equal to the given RangeIntegerValue:NEVER,MAYBE, orALWAYS.- Overrides:
lessThanOrEqualin classSpecificIntegerValue
-
isParticular
public boolean isParticular()
Description copied from class:ValueReturns whether this Value represents a single particular (known) value.- Overrides:
isParticularin classValue
-
equals
public boolean equals(java.lang.Object object)
- Overrides:
equalsin classSpecificIntegerValue
-
hashCode
public int hashCode()
- Overrides:
hashCodein classSpecificIntegerValue
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
-