bb-tools/proguard4.7/src/proguard/evaluation/value/IntegerValue.java
/*
* 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);
}
}