Class IntegerValue

    • Constructor Detail

      • IntegerValue

        public IntegerValue()
    • Method Detail

      • value

        public int value()
        Returns the specific integer value, if applicable.
      • negate

        public abstract IntegerValue negate()
        Returns the negated value of this IntegerValue.
      • convertToByte

        public abstract IntegerValue convertToByte()
        Converts this IntegerValue to a byte IntegerValue.
      • convertToCharacter

        public abstract IntegerValue convertToCharacter()
        Converts this IntegerValue to a character IntegerValue.
      • convertToShort

        public abstract IntegerValue convertToShort()
        Converts this IntegerValue to a short IntegerValue.
      • convertToLong

        public abstract LongValue convertToLong()
        Converts this IntegerValue to a LongValue.
      • convertToFloat

        public abstract FloatValue convertToFloat()
        Converts this IntegerValue to a FloatValue.
      • convertToDouble

        public abstract DoubleValue convertToDouble()
        Converts this IntegerValue to a DoubleValue.
      • generalize

        public abstract IntegerValue generalize​(IntegerValue other)
        Returns the generalization of this IntegerValue and the given other IntegerValue.
      • add

        public abstract IntegerValue add​(IntegerValue other)
        Returns the sum of this IntegerValue and the given IntegerValue.
      • subtract

        public abstract IntegerValue subtract​(IntegerValue other)
        Returns the difference of this IntegerValue and the given IntegerValue.
      • subtractFrom

        public abstract IntegerValue subtractFrom​(IntegerValue other)
        Returns the difference of the given IntegerValue and this IntegerValue.
      • multiply

        public abstract IntegerValue multiply​(IntegerValue other)
                                       throws java.lang.ArithmeticException
        Returns the product of this IntegerValue and the given IntegerValue.
        Throws:
        java.lang.ArithmeticException
      • divide

        public abstract IntegerValue divide​(IntegerValue other)
                                     throws java.lang.ArithmeticException
        Returns the quotient of this IntegerValue and the given IntegerValue.
        Throws:
        java.lang.ArithmeticException
      • divideOf

        public abstract IntegerValue divideOf​(IntegerValue other)
                                       throws java.lang.ArithmeticException
        Returns the quotient of the given IntegerValue and this IntegerValue.
        Throws:
        java.lang.ArithmeticException
      • remainder

        public abstract IntegerValue remainder​(IntegerValue other)
                                        throws java.lang.ArithmeticException
        Returns the remainder of this IntegerValue divided by the given IntegerValue.
        Throws:
        java.lang.ArithmeticException
      • remainderOf

        public abstract IntegerValue remainderOf​(IntegerValue other)
                                          throws java.lang.ArithmeticException
        Returns the remainder of the given IntegerValue divided by this IntegerValue.
        Throws:
        java.lang.ArithmeticException
      • shiftLeft

        public abstract IntegerValue shiftLeft​(IntegerValue other)
        Returns this IntegerValue, shifted left by the given IntegerValue.
      • shiftRight

        public abstract IntegerValue shiftRight​(IntegerValue other)
        Returns this IntegerValue, shifted right by the given IntegerValue.
      • unsignedShiftRight

        public abstract IntegerValue unsignedShiftRight​(IntegerValue other)
        Returns this unsigned IntegerValue, shifted left by the given IntegerValue.
      • shiftLeftOf

        public abstract IntegerValue shiftLeftOf​(IntegerValue other)
        Returns the given IntegerValue, shifted left by this IntegerValue.
      • shiftRightOf

        public abstract IntegerValue shiftRightOf​(IntegerValue other)
        Returns the given IntegerValue, shifted right by this IntegerValue.
      • unsignedShiftRightOf

        public abstract IntegerValue unsignedShiftRightOf​(IntegerValue other)
        Returns the given unsigned IntegerValue, shifted left by this IntegerValue.
      • shiftLeftOf

        public abstract LongValue shiftLeftOf​(LongValue other)
        Returns the given LongValue, shifted left by this IntegerValue.
      • shiftRightOf

        public abstract LongValue shiftRightOf​(LongValue other)
        Returns the given LongValue, shifted right by this IntegerValue.
      • unsignedShiftRightOf

        public abstract LongValue unsignedShiftRightOf​(LongValue other)
        Returns the given unsigned LongValue, shifted right by this IntegerValue.
      • and

        public abstract IntegerValue and​(IntegerValue other)
        Returns the logical and of this IntegerValue and the given IntegerValue.
      • or

        public abstract IntegerValue or​(IntegerValue other)
        Returns the logical or of this IntegerValue and the given IntegerValue.
      • xor

        public abstract IntegerValue xor​(IntegerValue other)
        Returns the logical xor of this IntegerValue and the given IntegerValue.
      • equal

        public abstract int equal​(IntegerValue other)
        Returns whether this IntegerValue and the given IntegerValue are equal: NEVER, MAYBE, or ALWAYS.
      • lessThan

        public abstract int lessThan​(IntegerValue other)
        Returns whether this IntegerValue is less than the given IntegerValue: NEVER, MAYBE, or ALWAYS.
      • lessThanOrEqual

        public abstract int lessThanOrEqual​(IntegerValue other)
        Returns whether this IntegerValue is less than or equal to the given IntegerValue: NEVER , MAYBE, or ALWAYS.
      • notEqual

        public final int notEqual​(IntegerValue other)
        Returns whether this IntegerValue and the given IntegerValue are different: NEVER, MAYBE, or ALWAYS.
      • greaterThan

        public final int greaterThan​(IntegerValue other)
        Returns whether this IntegerValue is greater than the given IntegerValue: NEVER, MAYBE, or ALWAYS.
      • greaterThanOrEqual

        public final int greaterThanOrEqual​(IntegerValue other)
        Returns whether this IntegerValue is greater than or equal to the given IntegerValue: NEVER, MAYBE, or ALWAYS.
      • generalize

        public IntegerValue generalize​(UnknownIntegerValue other)
        Returns the generalization of this IntegerValue and the given other UnknownIntegerValue.
      • subtractFrom

        public IntegerValue subtractFrom​(UnknownIntegerValue other)
        Returns the difference of the given UnknownIntegerValue and this IntegerValue.
      • remainder

        public IntegerValue remainder​(UnknownIntegerValue other)
        Returns the remainder of this IntegerValue divided by the given UnknownIntegerValue.
      • remainderOf

        public IntegerValue remainderOf​(UnknownIntegerValue other)
        Returns the remainder of the given UnknownIntegerValue divided by this IntegerValue.
      • unsignedShiftRight

        public IntegerValue unsignedShiftRight​(UnknownIntegerValue other)
        Returns this unsigned IntegerValue, shifted right by the given UnknownIntegerValue.
      • shiftRightOf

        public IntegerValue shiftRightOf​(UnknownIntegerValue other)
        Returns the given UnknownIntegerValue, shifted right by this IntegerValue.
      • unsignedShiftRightOf

        public IntegerValue unsignedShiftRightOf​(UnknownIntegerValue other)
        Returns the given unsigned UnknownIntegerValue, shifted right by this IntegerValue.
      • shiftLeftOf

        public LongValue shiftLeftOf​(UnknownLongValue other)
        Returns the given UnknownLongValue, shifted left by this IntegerValue.
      • shiftRightOf

        public LongValue shiftRightOf​(UnknownLongValue other)
        Returns the given UnknownLongValue, shifted right by this IntegerValue.
      • unsignedShiftRightOf

        public LongValue unsignedShiftRightOf​(UnknownLongValue other)
        Returns the given unsigned UnknownLongValue, shifted right by this IntegerValue.
      • equal

        public int equal​(UnknownIntegerValue other)
        Returns whether this IntegerValue and the given UnknownIntegerValue are equal: NEVER , MAYBE, or ALWAYS.
      • lessThan

        public int lessThan​(UnknownIntegerValue other)
        Returns whether this IntegerValue is less than the given UnknownIntegerValue: NEVER , MAYBE, or ALWAYS.
      • lessThanOrEqual

        public int lessThanOrEqual​(UnknownIntegerValue other)
        Returns whether this IntegerValue is less than or equal to the given UnknownIntegerValue: NEVER, MAYBE, or ALWAYS.
      • notEqual

        public final int notEqual​(UnknownIntegerValue other)
        Returns whether this IntegerValue and the given UnknownIntegerValue are different: NEVER , MAYBE, or ALWAYS.
      • greaterThan

        public final int greaterThan​(UnknownIntegerValue other)
        Returns whether this IntegerValue is greater than the given UnknownIntegerValue: NEVER , MAYBE, or ALWAYS.
      • greaterThanOrEqual

        public final int greaterThanOrEqual​(UnknownIntegerValue other)
        Returns whether this IntegerValue is greater than or equal to the given UnknownIntegerValue: NEVER, MAYBE, or ALWAYS.
      • generalize

        public IntegerValue generalize​(SpecificIntegerValue other)
        Returns the generalization of this IntegerValue and the given other SpecificIntegerValue.
      • subtractFrom

        public IntegerValue subtractFrom​(SpecificIntegerValue other)
        Returns the difference of the given SpecificIntegerValue and this IntegerValue.
      • remainder

        public IntegerValue remainder​(SpecificIntegerValue other)
        Returns the remainder of this IntegerValue divided by the given SpecificIntegerValue.
      • remainderOf

        public IntegerValue remainderOf​(SpecificIntegerValue other)
        Returns the remainder of the given SpecificIntegerValue divided by this IntegerValue.
      • unsignedShiftRight

        public IntegerValue unsignedShiftRight​(SpecificIntegerValue other)
        Returns this unsigned IntegerValue, shifted right by the given SpecificIntegerValue.
      • unsignedShiftRightOf

        public IntegerValue unsignedShiftRightOf​(SpecificIntegerValue other)
        Returns the given unsigned SpecificIntegerValue, shifted right by this IntegerValue.
      • shiftLeftOf

        public LongValue shiftLeftOf​(SpecificLongValue other)
        Returns the given SpecificLongValue, shifted left by this IntegerValue.
      • shiftRightOf

        public LongValue shiftRightOf​(SpecificLongValue other)
        Returns the given SpecificLongValue, shifted right by this IntegerValue.
      • unsignedShiftRightOf

        public LongValue unsignedShiftRightOf​(SpecificLongValue other)
        Returns the given unsigned SpecificLongValue, shifted right by this IntegerValue.
      • equal

        public int equal​(SpecificIntegerValue other)
        Returns whether this IntegerValue and the given SpecificIntegerValue are equal: NEVER , MAYBE, or ALWAYS.
      • lessThan

        public int lessThan​(SpecificIntegerValue other)
        Returns whether this IntegerValue is less than the given SpecificIntegerValue: NEVER , MAYBE, or ALWAYS.
      • lessThanOrEqual

        public int lessThanOrEqual​(SpecificIntegerValue other)
        Returns whether this IntegerValue is less than or equal to the given SpecificIntegerValue: NEVER, MAYBE, or ALWAYS.
      • notEqual

        public final int notEqual​(SpecificIntegerValue other)
        Returns whether this IntegerValue and the given SpecificIntegerValue are different: NEVER , MAYBE, or ALWAYS.
      • greaterThan

        public final int greaterThan​(SpecificIntegerValue other)
        Returns whether this IntegerValue is greater than the given SpecificIntegerValue: NEVER , MAYBE, or ALWAYS.
      • greaterThanOrEqual

        public final int greaterThanOrEqual​(SpecificIntegerValue other)
        Returns whether this IntegerValue is greater than or equal to the given SpecificIntegerValue: NEVER, MAYBE, or ALWAYS.
      • generalize

        public IntegerValue generalize​(ParticularIntegerValue other)
        Returns the generalization of this IntegerValue and the given other ParticularIntegerValue.
      • unsignedShiftRight

        public IntegerValue unsignedShiftRight​(ParticularIntegerValue other)
        Returns this unsigned IntegerValue, shifted right by the given ParticularIntegerValue.
      • unsignedShiftRightOf

        public IntegerValue unsignedShiftRightOf​(ParticularIntegerValue other)
        Returns the given unsigned ParticularIntegerValue, shifted right by this IntegerValue.
      • shiftLeftOf

        public LongValue shiftLeftOf​(ParticularLongValue other)
        Returns the given ParticularLongValue, shifted left by this IntegerValue.
      • shiftRightOf

        public LongValue shiftRightOf​(ParticularLongValue other)
        Returns the given ParticularLongValue, shifted right by this IntegerValue.
      • unsignedShiftRightOf

        public LongValue unsignedShiftRightOf​(ParticularLongValue other)
        Returns the given unsigned ParticularLongValue, shifted right by this IntegerValue.
      • equal

        public int equal​(ParticularIntegerValue other)
        Returns whether this IntegerValue and the given ParticularIntegerValue are equal: NEVER , MAYBE, or ALWAYS.
      • lessThan

        public int lessThan​(ParticularIntegerValue other)
        Returns whether this IntegerValue is less than the given ParticularIntegerValue: NEVER , MAYBE, or ALWAYS.
      • lessThanOrEqual

        public int lessThanOrEqual​(ParticularIntegerValue other)
        Returns whether this IntegerValue is less than or equal to the given ParticularIntegerValue: NEVER, MAYBE, or ALWAYS.
      • notEqual

        public final int notEqual​(ParticularIntegerValue other)
        Returns whether this IntegerValue and the given ParticularIntegerValue are different: NEVER, MAYBE, or ALWAYS.
      • greaterThan

        public final int greaterThan​(ParticularIntegerValue other)
        Returns whether this IntegerValue is greater than the given ParticularIntegerValue: NEVER , MAYBE, or ALWAYS.
      • greaterThanOrEqual

        public final int greaterThanOrEqual​(ParticularIntegerValue other)
        Returns whether this IntegerValue is greater than or equal to the given ParticularIntegerValue: NEVER, MAYBE, or ALWAYS.
      • generalize

        public IntegerValue generalize​(RangeIntegerValue other)
        Returns the generalization of this IntegerValue and the given other RangeIntegerValue.
      • subtract

        public IntegerValue subtract​(RangeIntegerValue other)
        Returns the difference of this IntegerValue and the given RangeIntegerValue.
      • subtractFrom

        public IntegerValue subtractFrom​(RangeIntegerValue other)
        Returns the difference of the given RangeIntegerValue and this IntegerValue.
      • divideOf

        public IntegerValue divideOf​(RangeIntegerValue other)
        Returns the quotient of the given RangeIntegerValue and this IntegerValue.
      • remainder

        public IntegerValue remainder​(RangeIntegerValue other)
        Returns the remainder of this IntegerValue divided by the given RangeIntegerValue.
      • remainderOf

        public IntegerValue remainderOf​(RangeIntegerValue other)
        Returns the remainder of the given RangeIntegerValue divided by this IntegerValue.
      • shiftRight

        public IntegerValue shiftRight​(RangeIntegerValue other)
        Returns this IntegerValue, shifted right by the given RangeIntegerValue.
      • unsignedShiftRight

        public IntegerValue unsignedShiftRight​(RangeIntegerValue other)
        Returns this unsigned IntegerValue, shifted right by the given RangeIntegerValue.
      • shiftLeftOf

        public IntegerValue shiftLeftOf​(RangeIntegerValue other)
        Returns the given RangeIntegerValue, shifted left by this IntegerValue.
      • shiftRightOf

        public IntegerValue shiftRightOf​(RangeIntegerValue other)
        Returns the given RangeIntegerValue, shifted right by this IntegerValue.
      • unsignedShiftRightOf

        public IntegerValue unsignedShiftRightOf​(RangeIntegerValue other)
        Returns the given unsigned RangeIntegerValue, shifted right by this IntegerValue.
      • equal

        public int equal​(RangeIntegerValue other)
        Returns whether this IntegerValue and the given RangeIntegerValue are equal: NEVER , MAYBE, or ALWAYS.
      • lessThan

        public int lessThan​(RangeIntegerValue other)
        Returns whether this IntegerValue is less than the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
      • lessThanOrEqual

        public int lessThanOrEqual​(RangeIntegerValue other)
        Returns whether this IntegerValue is less than or equal to the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
      • notEqual

        public final int notEqual​(RangeIntegerValue other)
        Returns whether this IntegerValue and the given RangeIntegerValue are different: NEVER , MAYBE, or ALWAYS.
      • greaterThan

        public final int greaterThan​(RangeIntegerValue other)
        Returns whether this IntegerValue is greater than the given RangeIntegerValue: NEVER , MAYBE, or ALWAYS.
      • greaterThanOrEqual

        public final int greaterThanOrEqual​(RangeIntegerValue other)
        Returns whether this IntegerValue is greater than or equal to the given RangeIntegerValue: NEVER, MAYBE, or ALWAYS.
      • integerValue

        public final IntegerValue integerValue()
        Description copied from class: Value
        Returns this Value as an IntegerValue.
        Overrides:
        integerValue in class Value
      • generalize

        public final Value generalize​(Value other)
        Description copied from class: Value
        Returns the generalization of this Value and the given other Value.
        Specified by:
        generalize in class Value
      • computationalType

        public final int computationalType()
        Description copied from class: Value
        Returns the computational type of this Value.
        Specified by:
        computationalType in class Value
        Returns:
        TYPE_INTEGER, TYPE_LONG, TYPE_FLOAT, TYPE_DOUBLE, TYPE_REFERENCE, or TYPE_INSTRUCTION_OFFSET.
      • internalType

        public final java.lang.String internalType()
        Description copied from class: Value
        Returns the internal type of this Value.
        Specified by:
        internalType in class Value
        Returns:
        TypeConstants.BOOLEAN, TypeConstants.BYTE, TypeConstants.CHAR, TypeConstants.SHORT, TypeConstants.INT , TypeConstants.LONG, TypeConstants.FLOAT, TypeConstants.DOUBLE, TypeConstants.CLASS_START ... TypeConstants.CLASS_END , or an array type containing any of these types (always as String).