path: root/src/proguard/evaluation/value/IntegerValue.java

/*
 * ProGuard -- shrinking, optimization, obfuscation, and preverification
 *             of Java bytecode.
 *
 * Copyright (c) 2002-2009 Eric Lafortune (eric@graphics.cornell.edu)
 *
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License as published by the Free
 * Software Foundation; either version 2 of the License, or (at your option)
 * any later version.
 *
 * This program is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
 * more details.
 *
 * You should have received a copy of the GNU General Public License along
 * with this program; if not, write to the Free Software Foundation, Inc.,
 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
 */
package proguard.evaluation.value;

import proguard.classfile.ClassConstants;

/**
 * This class represents a partially evaluated integer value.
 *
 * @author Eric Lafortune
 */
public abstract class IntegerValue extends Category1Value
{
    /**
     * Returns the specific integer value, if applicable.
     */
    public int value()
    {
        return 0;
    }


    // Basic unary methods.

    /**
     * Returns the negated value of this IntegerValue.
     */
    public abstract IntegerValue negate();

    /**
     * Converts this IntegerValue to a byte IntegerValue.
     */
    public abstract IntegerValue convertToByte();

    /**
     * Converts this IntegerValue to a character IntegerValue.
     */
    public abstract IntegerValue convertToCharacter();

    /**
     * Converts this IntegerValue to a short IntegerValue.
     */
    public abstract IntegerValue convertToShort();

    /**
     * Converts this IntegerValue to a LongValue.
     */
    public abstract LongValue convertToLong();

    /**
     * Converts this IntegerValue to a FloatValue.
     */
    public abstract FloatValue convertToFloat();

    /**
     * Converts this IntegerValue to a DoubleValue.
     */
    public abstract DoubleValue convertToDouble();


    // Basic binary methods.

    /**
     * Returns the generalization of this IntegerValue and the given other
     * IntegerValue.
     */
    public abstract IntegerValue generalize(IntegerValue other);

    /**
     * Returns the sum of this IntegerValue and the given IntegerValue.
     */
    public abstract IntegerValue add(IntegerValue other);

    /**
     * Returns the difference of this IntegerValue and the given IntegerValue.
     */
    public abstract IntegerValue subtract(IntegerValue other);

    /**
     * Returns the difference of the given IntegerValue and this IntegerValue.
     */
    public abstract IntegerValue subtractFrom(IntegerValue other);

    /**
     * Returns the product of this IntegerValue and the given IntegerValue.
     */
    public abstract IntegerValue multiply(IntegerValue other)
    throws ArithmeticException;

    /**
     * Returns the quotient of this IntegerValue and the given IntegerValue.
     */
    public abstract IntegerValue divide(IntegerValue other)
    throws ArithmeticException;

    /**
     * Returns the quotient of the given IntegerValue and this IntegerValue.
     */
    public abstract IntegerValue divideOf(IntegerValue other)
    throws ArithmeticException;

    /**
     * Returns the remainder of this IntegerValue divided by the given
     * IntegerValue.
     */
    public abstract IntegerValue remainder(IntegerValue other)
    throws ArithmeticException;

    /**
     * Returns the remainder of the given IntegerValue divided by this
     * IntegerValue.
     */
    public abstract IntegerValue remainderOf(IntegerValue other)
    throws ArithmeticException;

    /**
     * Returns this IntegerValue, shifted left by the given IntegerValue.
     */
    public abstract IntegerValue shiftLeft(IntegerValue other);

    /**
     * Returns this IntegerValue, shifted right by the given IntegerValue.
     */
    public abstract IntegerValue shiftRight(IntegerValue other);

    /**
     * Returns this unsigned IntegerValue, shifted left by the given
     * IntegerValue.
     */
    public abstract IntegerValue unsignedShiftRight(IntegerValue other);

    /**
     * Returns the given IntegerValue, shifted left by this IntegerValue.
     */
    public abstract IntegerValue shiftLeftOf(IntegerValue other);

    /**
     * Returns the given IntegerValue, shifted right by this IntegerValue.
     */
    public abstract IntegerValue shiftRightOf(IntegerValue other);

    /**
     * Returns the given unsigned IntegerValue, shifted left by this
     * IntegerValue.
     */
    public abstract IntegerValue unsignedShiftRightOf(IntegerValue other);

    /**
     * Returns the given LongValue, shifted left by this IntegerValue.
     */
    public abstract LongValue shiftLeftOf(LongValue other);

    /**
     * Returns the given LongValue, shifted right by this IntegerValue.
     */
    public abstract LongValue shiftRightOf(LongValue other);

    /**
     * Returns the given unsigned LongValue, shifted right by this IntegerValue.
     */
    public abstract LongValue unsignedShiftRightOf(LongValue other);

    /**
     * Returns the logical <i>and</i> of this IntegerValue and the given
     * IntegerValue.
     */
    public abstract IntegerValue and(IntegerValue other);

    /**
     * Returns the logical <i>or</i> of this IntegerValue and the given
     * IntegerValue.
     */
    public abstract IntegerValue or(IntegerValue other);

    /**
     * Returns the logical <i>xor</i> of this IntegerValue and the given
     * IntegerValue.
     */
    public abstract IntegerValue xor(IntegerValue other);

    /**
     * Returns whether this IntegerValue and the given IntegerValue are equal:
     * <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public abstract int equal(IntegerValue other);

    /**
     * Returns whether this IntegerValue is less than the given IntegerValue:
     * <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public abstract int lessThan(IntegerValue other);

    /**
     * Returns whether this IntegerValue is less than or equal to the given
     * IntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public abstract int lessThanOrEqual(IntegerValue other);


    // Derived binary methods.

    /**
     * Returns whether this IntegerValue and the given IntegerValue are different:
     * <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public final int notEqual(IntegerValue other)
    {
        return -equal(other);
    }

    /**
     * Returns whether this IntegerValue is greater than the given IntegerValue:
     * <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public final int greaterThan(IntegerValue other)
    {
        return -lessThanOrEqual(other);
    }

    /**
     * Returns whether this IntegerValue is greater than or equal to the given IntegerValue:
     * <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public final int greaterThanOrEqual(IntegerValue other)
    {
        return -lessThan(other);
    }


    // Similar binary methods, but this time with unknown arguments.

    /**
     * Returns the generalization of this IntegerValue and the given other
     * UnknownIntegerValue.
     */
    public IntegerValue generalize(UnknownIntegerValue other)
    {
        return generalize((IntegerValue)other);
    }


    /**
     * Returns the sum of this IntegerValue and the given UnknownIntegerValue.
     */
    public IntegerValue add(UnknownIntegerValue other)
    {
        return add((IntegerValue)other);
    }

    /**
     * Returns the difference of this IntegerValue and the given UnknownIntegerValue.
     */
    public IntegerValue subtract(UnknownIntegerValue other)
    {
        return subtract((IntegerValue)other);
    }

    /**
     * Returns the difference of the given UnknownIntegerValue and this IntegerValue.
     */
    public IntegerValue subtractFrom(UnknownIntegerValue other)
    {
        return subtractFrom((IntegerValue)other);
    }

    /**
     * Returns the product of this IntegerValue and the given UnknownIntegerValue.
     */
    public IntegerValue multiply(UnknownIntegerValue other)
    {
        return multiply((IntegerValue)other);
    }

    /**
     * Returns the quotient of this IntegerValue and the given
     * UnknownIntegerValue.
     */
    public IntegerValue divide(UnknownIntegerValue other)
    {
        return divide((IntegerValue)other);
    }

    /**
     * Returns the quotient of the given UnknownIntegerValue and this
     * IntegerValue.
     */
    public IntegerValue divideOf(UnknownIntegerValue other)
    {
        return divideOf((IntegerValue)other);
    }

    /**
     * Returns the remainder of this IntegerValue divided by the given
     * UnknownIntegerValue.
     */
    public IntegerValue remainder(UnknownIntegerValue other)
    {
        return remainder((IntegerValue)other);
    }

    /**
     * Returns the remainder of the given UnknownIntegerValue divided by this
     * IntegerValue.
     */
    public IntegerValue remainderOf(UnknownIntegerValue other)
    {
        return remainderOf((IntegerValue)other);
    }

    /**
     * Returns this IntegerValue, shifted left by the given UnknownIntegerValue.
     */
    public IntegerValue shiftLeft(UnknownIntegerValue other)
    {
        return shiftLeft((IntegerValue)other);
    }

    /**
     * Returns this IntegerValue, shifted right by the given UnknownIntegerValue.
     */
    public IntegerValue shiftRight(UnknownIntegerValue other)
    {
        return shiftRight((IntegerValue)other);
    }

    /**
     * Returns this unsigned IntegerValue, shifted right by the given
     * UnknownIntegerValue.
     */
    public IntegerValue unsignedShiftRight(UnknownIntegerValue other)
    {
        return unsignedShiftRight((IntegerValue)other);
    }

    /**
     * Returns the given UnknownIntegerValue, shifted left by this IntegerValue.
     */
    public IntegerValue shiftLeftOf(UnknownIntegerValue other)
    {
        return shiftLeftOf((IntegerValue)other);
    }

    /**
     * Returns the given UnknownIntegerValue, shifted right by this IntegerValue.
     */
    public IntegerValue shiftRightOf(UnknownIntegerValue other)
    {
        return shiftRightOf((IntegerValue)other);
    }

    /**
     * Returns the given unsigned UnknownIntegerValue, shifted right by this
     * IntegerValue.
     */
    public IntegerValue unsignedShiftRightOf(UnknownIntegerValue other)
    {
        return unsignedShiftRightOf((IntegerValue)other);
    }

    /**
     * Returns the given UnknownLongValue, shifted left by this IntegerValue.
     */
    public LongValue shiftLeftOf(UnknownLongValue other)
    {
        return shiftLeftOf((LongValue)other);
    }

    /**
     * Returns the given UnknownLongValue, shifted right by this IntegerValue.
     */
    public LongValue shiftRightOf(UnknownLongValue other)
    {
        return shiftRightOf((LongValue)other);
    }

    /**
     * Returns the given unsigned UnknownLongValue, shifted right by this
     * IntegerValue.
     */
    public LongValue unsignedShiftRightOf(UnknownLongValue other)
    {
        return unsignedShiftRightOf((LongValue)other);
    }

    /**
     * Returns the logical <i>and</i> of this IntegerValue and the given
     * UnknownIntegerValue.
     */
    public IntegerValue and(UnknownIntegerValue other)
    {
        return and((IntegerValue)other);
    }

    /**
     * Returns the logical <i>or</i> of this IntegerValue and the given
     * UnknownIntegerValue.
     */
    public IntegerValue or(UnknownIntegerValue other)
    {
        return or((IntegerValue)other);
    }

    /**
     * Returns the logical <i>xor</i> of this IntegerValue and the given
     * UnknownIntegerValue.
     */
    public IntegerValue xor(UnknownIntegerValue other)
    {
        return xor((IntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue and the given UnknownIntegerValue are
     * equal: <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public int equal(UnknownIntegerValue other)
    {
        return equal((IntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue is less than the given
     * UnknownIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public int lessThan(UnknownIntegerValue other)
    {
        return lessThan((IntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue is less than or equal to the given
     * UnknownIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public int lessThanOrEqual(UnknownIntegerValue other)
    {
        return lessThanOrEqual((IntegerValue)other);
    }


    // Derived binary methods.

    /**
     * Returns whether this IntegerValue and the given UnknownIntegerValue are
     * different: <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public final int notEqual(UnknownIntegerValue other)
    {
        return -equal(other);
    }

    /**
     * Returns whether this IntegerValue is greater than the given
     * UnknownIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public final int greaterThan(UnknownIntegerValue other)
    {
        return -lessThanOrEqual(other);
    }

    /**
     * Returns whether this IntegerValue is greater than or equal to the given
     * UnknownIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public final int greaterThanOrEqual(UnknownIntegerValue other)
    {
        return -lessThan(other);
    }


    // Similar binary methods, but this time with specific arguments.

    /**
     * Returns the generalization of this IntegerValue and the given other
     * SpecificIntegerValue.
     */
    public IntegerValue generalize(SpecificIntegerValue other)
    {
        return generalize((IntegerValue)other);
    }


    /**
     * Returns the sum of this IntegerValue and the given SpecificIntegerValue.
     */
    public IntegerValue add(SpecificIntegerValue other)
    {
        return add((IntegerValue)other);
    }

    /**
     * Returns the difference of this IntegerValue and the given SpecificIntegerValue.
     */
    public IntegerValue subtract(SpecificIntegerValue other)
    {
        return subtract((IntegerValue)other);
    }

    /**
     * Returns the difference of the given SpecificIntegerValue and this IntegerValue.
     */
    public IntegerValue subtractFrom(SpecificIntegerValue other)
    {
        return subtractFrom((IntegerValue)other);
    }

    /**
     * Returns the product of this IntegerValue and the given SpecificIntegerValue.
     */
    public IntegerValue multiply(SpecificIntegerValue other)
    {
        return multiply((IntegerValue)other);
    }

    /**
     * Returns the quotient of this IntegerValue and the given
     * SpecificIntegerValue.
     */
    public IntegerValue divide(SpecificIntegerValue other)
    {
        return divide((IntegerValue)other);
    }

    /**
     * Returns the quotient of the given SpecificIntegerValue and this
     * IntegerValue.
     */
    public IntegerValue divideOf(SpecificIntegerValue other)
    {
        return divideOf((IntegerValue)other);
    }

    /**
     * Returns the remainder of this IntegerValue divided by the given
     * SpecificIntegerValue.
     */
    public IntegerValue remainder(SpecificIntegerValue other)
    {
        return remainder((IntegerValue)other);
    }

    /**
     * Returns the remainder of the given SpecificIntegerValue divided by this
     * IntegerValue.
     */
    public IntegerValue remainderOf(SpecificIntegerValue other)
    {
        return remainderOf((IntegerValue)other);
    }

    /**
     * Returns this IntegerValue, shifted left by the given SpecificIntegerValue.
     */
    public IntegerValue shiftLeft(SpecificIntegerValue other)
    {
        return shiftLeft((IntegerValue)other);
    }

    /**
     * Returns this IntegerValue, shifted right by the given SpecificIntegerValue.
     */
    public IntegerValue shiftRight(SpecificIntegerValue other)
    {
        return shiftRight((IntegerValue)other);
    }

    /**
     * Returns this unsigned IntegerValue, shifted right by the given
     * SpecificIntegerValue.
     */
    public IntegerValue unsignedShiftRight(SpecificIntegerValue other)
    {
        return unsignedShiftRight((IntegerValue)other);
    }

    /**
     * Returns the given SpecificIntegerValue, shifted left by this IntegerValue.
     */
    public IntegerValue shiftLeftOf(SpecificIntegerValue other)
    {
        return shiftLeftOf((IntegerValue)other);
    }

    /**
     * Returns the given SpecificIntegerValue, shifted right by this IntegerValue.
     */
    public IntegerValue shiftRightOf(SpecificIntegerValue other)
    {
        return shiftRightOf((IntegerValue)other);
    }

    /**
     * Returns the given unsigned SpecificIntegerValue, shifted right by this
     * IntegerValue.
     */
    public IntegerValue unsignedShiftRightOf(SpecificIntegerValue other)
    {
        return unsignedShiftRightOf((IntegerValue)other);
    }

    /**
     * Returns the given SpecificLongValue, shifted left by this IntegerValue.
     */
    public LongValue shiftLeftOf(SpecificLongValue other)
    {
        return shiftLeftOf((LongValue)other);
    }

    /**
     * Returns the given SpecificLongValue, shifted right by this IntegerValue.
     */
    public LongValue shiftRightOf(SpecificLongValue other)
    {
        return shiftRightOf((LongValue)other);
    }

    /**
     * Returns the given unsigned SpecificLongValue, shifted right by this
     * IntegerValue.
     */
    public LongValue unsignedShiftRightOf(SpecificLongValue other)
    {
        return unsignedShiftRightOf((LongValue)other);
    }

    /**
     * Returns the logical <i>and</i> of this IntegerValue and the given
     * SpecificIntegerValue.
     */
    public IntegerValue and(SpecificIntegerValue other)
    {
        return and((IntegerValue)other);
    }

    /**
     * Returns the logical <i>or</i> of this IntegerValue and the given
     * SpecificIntegerValue.
     */
    public IntegerValue or(SpecificIntegerValue other)
    {
        return or((IntegerValue)other);
    }

    /**
     * Returns the logical <i>xor</i> of this IntegerValue and the given
     * SpecificIntegerValue.
     */
    public IntegerValue xor(SpecificIntegerValue other)
    {
        return xor((IntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue and the given SpecificIntegerValue are
     * equal: <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public int equal(SpecificIntegerValue other)
    {
        return equal((IntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue is less than the given
     * SpecificIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public int lessThan(SpecificIntegerValue other)
    {
        return lessThan((IntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue is less than or equal to the given
     * SpecificIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public int lessThanOrEqual(SpecificIntegerValue other)
    {
        return lessThanOrEqual((IntegerValue)other);
    }


    // Derived binary methods.

    /**
     * Returns whether this IntegerValue and the given SpecificIntegerValue are
     * different: <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public final int notEqual(SpecificIntegerValue other)
    {
        return -equal(other);
    }

    /**
     * Returns whether this IntegerValue is greater than the given
     * SpecificIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public final int greaterThan(SpecificIntegerValue other)
    {
        return -lessThanOrEqual(other);
    }

    /**
     * Returns whether this IntegerValue is greater than or equal to the given
     * SpecificIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public final int greaterThanOrEqual(SpecificIntegerValue other)
    {
        return -lessThan(other);
    }


    // Similar binary methods, but this time with particular arguments.

    /**
     * Returns the generalization of this IntegerValue and the given other
     * ParticularIntegerValue.
     */
    public IntegerValue generalize(ParticularIntegerValue other)
    {
        return generalize((SpecificIntegerValue)other);
    }


    /**
     * Returns the sum of this IntegerValue and the given ParticularIntegerValue.
     */
    public IntegerValue add(ParticularIntegerValue other)
    {
        return add((SpecificIntegerValue)other);
    }

    /**
     * Returns the difference of this IntegerValue and the given ParticularIntegerValue.
     */
    public IntegerValue subtract(ParticularIntegerValue other)
    {
        return subtract((SpecificIntegerValue)other);
    }

    /**
     * Returns the difference of the given ParticularIntegerValue and this IntegerValue.
     */
    public IntegerValue subtractFrom(ParticularIntegerValue other)
    {
        return subtractFrom((SpecificIntegerValue)other);
    }

    /**
     * Returns the product of this IntegerValue and the given ParticularIntegerValue.
     */
    public IntegerValue multiply(ParticularIntegerValue other)
    {
        return multiply((SpecificIntegerValue)other);
    }

    /**
     * Returns the quotient of this IntegerValue and the given
     * ParticularIntegerValue.
     */
    public IntegerValue divide(ParticularIntegerValue other)
    {
        return divide((SpecificIntegerValue)other);
    }

    /**
     * Returns the quotient of the given ParticularIntegerValue and this
     * IntegerValue.
     */
    public IntegerValue divideOf(ParticularIntegerValue other)
    {
        return divideOf((SpecificIntegerValue)other);
    }

    /**
     * Returns the remainder of this IntegerValue divided by the given
     * ParticularIntegerValue.
     */
    public IntegerValue remainder(ParticularIntegerValue other)
    {
        return remainder((SpecificIntegerValue)other);
    }

    /**
     * Returns the remainder of the given ParticularIntegerValue divided by this
     * IntegerValue.
     */
    public IntegerValue remainderOf(ParticularIntegerValue other)
    {
        return remainderOf((SpecificIntegerValue)other);
    }

    /**
     * Returns this IntegerValue, shifted left by the given ParticularIntegerValue.
     */
    public IntegerValue shiftLeft(ParticularIntegerValue other)
    {
        return shiftLeft((SpecificIntegerValue)other);
    }

    /**
     * Returns this IntegerValue, shifted right by the given ParticularIntegerValue.
     */
    public IntegerValue shiftRight(ParticularIntegerValue other)
    {
        return shiftRight((SpecificIntegerValue)other);
    }

    /**
     * Returns this unsigned IntegerValue, shifted right by the given
     * ParticularIntegerValue.
     */
    public IntegerValue unsignedShiftRight(ParticularIntegerValue other)
    {
        return unsignedShiftRight((SpecificIntegerValue)other);
    }

    /**
     * Returns the given ParticularIntegerValue, shifted left by this IntegerValue.
     */
    public IntegerValue shiftLeftOf(ParticularIntegerValue other)
    {
        return shiftLeftOf((SpecificIntegerValue)other);
    }

    /**
     * Returns the given ParticularIntegerValue, shifted right by this IntegerValue.
     */
    public IntegerValue shiftRightOf(ParticularIntegerValue other)
    {
        return shiftRightOf((SpecificIntegerValue)other);
    }

    /**
     * Returns the given unsigned ParticularIntegerValue, shifted right by this
     * IntegerValue.
     */
    public IntegerValue unsignedShiftRightOf(ParticularIntegerValue other)
    {
        return unsignedShiftRightOf((SpecificIntegerValue)other);
    }

    /**
     * Returns the given ParticularLongValue, shifted left by this IntegerValue.
     */
    public LongValue shiftLeftOf(ParticularLongValue other)
    {
        return shiftLeftOf((SpecificLongValue)other);
    }

    /**
     * Returns the given ParticularLongValue, shifted right by this IntegerValue.
     */
    public LongValue shiftRightOf(ParticularLongValue other)
    {
        return shiftRightOf((SpecificLongValue)other);
    }

    /**
     * Returns the given unsigned ParticularLongValue, shifted right by this
     * IntegerValue.
     */
    public LongValue unsignedShiftRightOf(ParticularLongValue other)
    {
        return unsignedShiftRightOf((SpecificLongValue)other);
    }

    /**
     * Returns the logical <i>and</i> of this IntegerValue and the given
     * ParticularIntegerValue.
     */
    public IntegerValue and(ParticularIntegerValue other)
    {
        return and((SpecificIntegerValue)other);
    }

    /**
     * Returns the logical <i>or</i> of this IntegerValue and the given
     * ParticularIntegerValue.
     */
    public IntegerValue or(ParticularIntegerValue other)
    {
        return or((SpecificIntegerValue)other);
    }

    /**
     * Returns the logical <i>xor</i> of this IntegerValue and the given
     * ParticularIntegerValue.
     */
    public IntegerValue xor(ParticularIntegerValue other)
    {
        return xor((SpecificIntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue and the given ParticularIntegerValue are
     * equal: <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public int equal(ParticularIntegerValue other)
    {
        return equal((SpecificIntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue is less than the given
     * ParticularIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public int lessThan(ParticularIntegerValue other)
    {
        return lessThan((SpecificIntegerValue)other);
    }

    /**
     * Returns whether this IntegerValue is less than or equal to the given
     * ParticularIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public int lessThanOrEqual(ParticularIntegerValue other)
    {
        return lessThanOrEqual((SpecificIntegerValue)other);
    }


    // Derived binary methods.

    /**
     * Returns whether this IntegerValue and the given ParticularIntegerValue are
     * different: <code>NEVER</code>, <code>MAYBE</code>, or <code>ALWAYS</code>.
     */
    public final int notEqual(ParticularIntegerValue other)
    {
        return -equal(other);
    }

    /**
     * Returns whether this IntegerValue is greater than the given
     * ParticularIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public final int greaterThan(ParticularIntegerValue other)
    {
        return -lessThanOrEqual(other);
    }

    /**
     * Returns whether this IntegerValue is greater than or equal to the given
     * ParticularIntegerValue: <code>NEVER</code>, <code>MAYBE</code>, or
     * <code>ALWAYS</code>.
     */
    public final int greaterThanOrEqual(ParticularIntegerValue other)
    {
        return -lessThan(other);
    }


    // Implementations for Value.

    public final IntegerValue integerValue()
    {
        return this;
    }

    public final Value generalize(Value other)
    {
        return this.generalize(other.integerValue());
    }

    public final int computationalType()
    {
        return TYPE_INTEGER;
    }

    public final String internalType()
    {
        return String.valueOf(ClassConstants.INTERNAL_TYPE_INT);
    }
}