diff options
author | Sadaf Ebrahimi <sadafebrahimi@google.com> | 2024-03-18 16:14:43 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2024-03-18 16:14:43 +0000 |
commit | b956aa205b341677038bd599a78bc8173b7b4bad (patch) | |
tree | 864c52fff91ada9d6a095df9ed49786356575bf6 /src/proguard/evaluation/value/Value.java | |
parent | ff9c0adb6dd6dc100776b29aca8bf7e8a8cf4969 (diff) | |
parent | 517437ecee41d115457a744f14c6aa0ed5006027 (diff) | |
download | proguard-b956aa205b341677038bd599a78bc8173b7b4bad.tar.gz |
Diffstat (limited to 'src/proguard/evaluation/value/Value.java')
-rw-r--r-- | src/proguard/evaluation/value/Value.java | 169 |
1 files changed, 0 insertions, 169 deletions
diff --git a/src/proguard/evaluation/value/Value.java b/src/proguard/evaluation/value/Value.java deleted file mode 100644 index 5cfd02c..0000000 --- a/src/proguard/evaluation/value/Value.java +++ /dev/null @@ -1,169 +0,0 @@ -/* - * ProGuard -- shrinking, optimization, obfuscation, and preverification - * of Java bytecode. - * - * Copyright (c) 2002-2014 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; - -/** - * This abstract class represents a partially evaluated value. - * - * @author Eric Lafortune - */ -public abstract class Value -{ - public static final int NEVER = -1; - public static final int MAYBE = 0; - public static final int ALWAYS = 1; - - public static final int TYPE_INTEGER = 1; - public static final int TYPE_LONG = 2; - public static final int TYPE_FLOAT = 3; - public static final int TYPE_DOUBLE = 4; - public static final int TYPE_REFERENCE = 5; - public static final int TYPE_INSTRUCTION_OFFSET = 6; - public static final int TYPE_TOP = 7; - - - /** - * Returns this Value as a Category1Value. - */ - public Category1Value category1Value() - { - throw new IllegalArgumentException("Value \"" + this.toString() + "\" is not a Category 1 value [" + this.getClass().getName() + "]"); - } - - /** - * Returns this Value as a Category2Value. - */ - public Category2Value category2Value() - { - throw new IllegalArgumentException("Value \"" + this.toString() + "\" is not a Category 2 value [" + this.getClass().getName() + "]"); - } - - - /** - * Returns this Value as an IntegerValue. - */ - public IntegerValue integerValue() - { - throw new IllegalArgumentException("Value \"" + this.toString() + "\" is not an integer value [" + this.getClass().getName() + "]"); - } - - /** - * Returns this Value as a LongValue. - */ - public LongValue longValue() - { - throw new IllegalArgumentException("Value \"" + this.toString() + "\" is not a long value [" + this.getClass().getName() + "]"); - } - - /** - * Returns this Value as a FloatValue. - */ - public FloatValue floatValue() - { - throw new IllegalArgumentException("Value \"" + this.toString() + "\" is not a float value [" + this.getClass().getName() + "]"); - } - - /** - * Returns this Value as a DoubleValue. - */ - public DoubleValue doubleValue() - { - throw new IllegalArgumentException("Value \"" + this.toString() + "\" is not a double value [" + this.getClass().getName() + "]"); - } - - /** - * Returns this Value as a ReferenceValue. - */ - public ReferenceValue referenceValue() - { - throw new IllegalArgumentException("Value \"" + this.toString() + "\" is not a reference value [" + this.getClass().getName() + "]"); - } - - /** - * Returns this Value as an InstructionOffsetValue. - */ - public InstructionOffsetValue instructionOffsetValue() - { - throw new IllegalArgumentException("Value \"" + this.toString() + "\" is not an instruction offset value [" + this.getClass().getName() + "]"); - } - - - /** - * Returns whether this Value represents a single specific (but possibly - * unknown) value. - */ - public boolean isSpecific() - { - return false; - } - - - /** - * Returns whether this Value represents a single particular (known) - * value. - */ - public boolean isParticular() - { - return false; - } - - - /** - * Returns the generalization of this Value and the given other Value. - */ - public abstract Value generalize(Value other); - - - /** - * Returns whether the computational type of this Value is a category 2 type. - * This means that it takes up the space of two category 1 types on the - * stack, for instance. - */ - public abstract boolean isCategory2(); - - - /** - * Returns the computational type of this Value. - * @return <code>TYPE_INTEGER</code>, - * <code>TYPE_LONG</code>, - * <code>TYPE_FLOAT</code>, - * <code>TYPE_DOUBLE</code>, - * <code>TYPE_REFERENCE</code>, or - * <code>TYPE_INSTRUCTION_OFFSET</code>. - */ - public abstract int computationalType(); - - - /** - * Returns the internal type of this Value. - * @return <code>ClassConstants.TYPE_BOOLEAN</code>, - * <code>ClassConstants.TYPE_BYTE</code>, - * <code>ClassConstants.TYPE_CHAR</code>, - * <code>ClassConstants.TYPE_SHORT</code>, - * <code>ClassConstants.TYPE_INT</code>, - * <code>ClassConstants.TYPE_LONG</code>, - * <code>ClassConstants.TYPE_FLOAT</code>, - * <code>ClassConstants.TYPE_DOUBLE</code>, - * <code>ClassConstants.TYPE_CLASS_START ... ClassConstants.TYPE_CLASS_END</code>, or - * an array type containing any of these types (always as String). - */ - public abstract String internalType(); -} |