1 files changed, 165 insertions, 0 deletions
diff --git a/src/proguard/evaluation/value/ArrayReferenceValue.java b/src/proguard/evaluation/value/ArrayReferenceValue.java
new file mode 100644
index 0000000..56f18ad
--- /dev/null
+++ b/src/proguard/evaluation/value/ArrayReferenceValue.java
@@ -0,0 +1,165 @@
+/*
+ * 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.Clazz;
+
+/**
+ * This ReferenceValue represents a partially evaluated array. It has an array
+ * length and possibly array values (up to a fixed maximum number). It is not
+ * immutable.
+ *
+ * @author Eric Lafortune
+ */
+class ArrayReferenceValue extends TypedReferenceValue
+{
+    protected final IntegerValue arrayLength;
+
+
+    /**
+     * Creates a new ArrayReferenceValue.
+     */
+    public ArrayReferenceValue(String       type,
+                               Clazz        referencedClass,
+                               IntegerValue arrayLength)
+    {
+        super(type, referencedClass, false);
+
+        this.arrayLength = arrayLength;
+    }
+
+
+    // Implementations for ReferenceValue.
+
+    public IntegerValue arrayLength(ValueFactory valueFactory)
+    {
+        return arrayLength;
+    }
+
+
+     // Implementations of binary methods of ReferenceValue.
+
+    public ReferenceValue generalize(ReferenceValue other)
+    {
+        return other.generalize(this);
+    }
+
+
+    public int equal(ReferenceValue other)
+    {
+        return other.equal(this);
+    }
+
+
+//    // Implementations of binary ReferenceValue methods with
+//    // IdentifiedReferenceValue arguments.
+//
+//    public ReferenceValue generalize(IdentifiedReferenceValue other)
+//    {
+//        return generalize((TypedReferenceValue)other);
+//    }
+//
+//
+//    public int equal(IdentifiedReferenceValue other)
+//    {
+//        return equal((TypedReferenceValue)other);
+//    }
+
+
+    // Implementations of binary ReferenceValue methods with
+    // ArrayReferenceValue arguments.
+
+    public ReferenceValue generalize(ArrayReferenceValue other)
+    {
+        return
+            this.equals(other)                            ? this :
+            this.type != null            &&
+            this.type.equals(other.type) &&
+            this.referencedClass == other.referencedClass ? new ArrayReferenceValue(this.type,
+                                                                                    this.referencedClass,
+                                                                                    this.arrayLength.generalize(other.arrayLength)) :
+                                                            generalize((TypedReferenceValue)other);
+    }
+
+
+    public int equal(ArrayReferenceValue other)
+    {
+        if (this.arrayLength.equal(other.arrayLength) == NEVER)
+        {
+            return NEVER;
+        }
+
+        return equal((TypedReferenceValue)other);
+    }
+
+
+//    // Implementations of binary ReferenceValue methods with
+//    // IdentifiedArrayReferenceValue arguments.
+//
+//    public ReferenceValue generalize(IdentifiedArrayReferenceValue other)
+//    {
+//        return generalize((ArrayReferenceValue)other);
+//    }
+//
+//
+//    public int equal(IdentifiedArrayReferenceValue other)
+//    {
+//        return equal((ArrayReferenceValue)other);
+//    }
+//
+//
+//    // Implementations of binary ReferenceValue methods with
+//    // DetailedArrayReferenceValue arguments.
+//
+//    public ReferenceValue generalize(DetailedArrayReferenceValue other)
+//    {
+//        return generalize((IdentifiedArrayReferenceValue)other);
+//    }
+//
+//
+//    public int equal(DetailedArrayReferenceValue other)
+//    {
+//        return equal((IdentifiedArrayReferenceValue)other);
+//    }
+
+
+    // Implementations for Object.
+
+    public boolean equals(Object object)
+    {
+        return this == object ||
+               super.equals(object) &&
+               this.arrayLength.equals(((ArrayReferenceValue)object).arrayLength);
+    }
+
+
+    public int hashCode()
+    {
+        return super.hashCode() ^
+               arrayLength.hashCode();
+    }
+
+
+    public String toString()
+    {
+        return super.toString() + '['+arrayLength+']';
+    }
+}