diff options
Diffstat (limited to 'src/proguard/evaluation/value/ParticularValueFactory.java')
-rw-r--r-- | src/proguard/evaluation/value/ParticularValueFactory.java | 111 |
1 files changed, 111 insertions, 0 deletions
diff --git a/src/proguard/evaluation/value/ParticularValueFactory.java b/src/proguard/evaluation/value/ParticularValueFactory.java new file mode 100644 index 0000000..f28c10e --- /dev/null +++ b/src/proguard/evaluation/value/ParticularValueFactory.java @@ -0,0 +1,111 @@ +/* + * 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; + +import proguard.classfile.*; + +/** + * This value factory creates particular values. + * + * @author Eric Lafortune + */ +public class ParticularValueFactory +extends ValueFactory +{ + // Shared copies of Value objects, to avoid creating a lot of objects. + static final IntegerValue INTEGER_VALUE_M1 = new ParticularIntegerValue(-1); + static final IntegerValue INTEGER_VALUE_0 = new ParticularIntegerValue(0); + static final IntegerValue INTEGER_VALUE_1 = new ParticularIntegerValue(1); + static final IntegerValue INTEGER_VALUE_2 = new ParticularIntegerValue(2); + static final IntegerValue INTEGER_VALUE_3 = new ParticularIntegerValue(3); + static final IntegerValue INTEGER_VALUE_4 = new ParticularIntegerValue(4); + static final IntegerValue INTEGER_VALUE_5 = new ParticularIntegerValue(5); + static final LongValue LONG_VALUE_0 = new ParticularLongValue(0); + static final LongValue LONG_VALUE_1 = new ParticularLongValue(1); + static final FloatValue FLOAT_VALUE_0 = new ParticularFloatValue(0.0f); + static final FloatValue FLOAT_VALUE_1 = new ParticularFloatValue(1.0f); + static final FloatValue FLOAT_VALUE_2 = new ParticularFloatValue(2.0f); + static final DoubleValue DOUBLE_VALUE_0 = new ParticularDoubleValue(0.0); + static final DoubleValue DOUBLE_VALUE_1 = new ParticularDoubleValue(1.0); + + + private static int POS_ZERO_FLOAT_BITS = Float.floatToIntBits(0.0f); + private static long POS_ZERO_DOUBLE_BITS = Double.doubleToLongBits(0.0); + + + // Implementations for ValueFactory. + + public IntegerValue createIntegerValue(int value) + { + switch (value) + { + case -1: return INTEGER_VALUE_M1; + case 0: return INTEGER_VALUE_0; + case 1: return INTEGER_VALUE_1; + case 2: return INTEGER_VALUE_2; + case 3: return INTEGER_VALUE_3; + case 4: return INTEGER_VALUE_4; + case 5: return INTEGER_VALUE_5; + default: return new ParticularIntegerValue(value); + } + } + + + public LongValue createLongValue(long value) + { + return value == 0L ? LONG_VALUE_0 : + value == 1L ? LONG_VALUE_1 : + new ParticularLongValue(value); + } + + + public FloatValue createFloatValue(float value) + { + // Make sure to distinguish between +0.0 and -0.0. + return value == 0.0f && Float.floatToIntBits(value) == POS_ZERO_FLOAT_BITS + ? FLOAT_VALUE_0 : + value == 1.0f ? FLOAT_VALUE_1 : + value == 2.0f ? FLOAT_VALUE_2 : + new ParticularFloatValue(value); + } + + + public DoubleValue createDoubleValue(double value) + { + // Make sure to distinguish between +0.0 and -0.0. + return value == 0.0 && Double.doubleToLongBits(value) == POS_ZERO_DOUBLE_BITS + ? DOUBLE_VALUE_0 : + value == 1.0 ? DOUBLE_VALUE_1 : + new ParticularDoubleValue(value); + } + + + public ReferenceValue createArrayReferenceValue(String type, + Clazz referencedClass, + IntegerValue arrayLength) + { + return type == null ? + REFERENCE_VALUE_NULL : + new ArrayReferenceValue(ClassConstants.TYPE_ARRAY + type, + referencedClass, + arrayLength); + } +} |