sometsome 3.10.50 → 3.10.50.33

data/lib/proguard4.7/src/proguard/evaluation/value/IntegerValue.java

@@ -1,1002 +0,0 @@
-/*
- * ProGuard -- shrinking, optimization, obfuscation, and preverification
- *             of Java bytecode.
- *
- * Copyright (c) 2002-2011 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);
-    }
-}