Add getters on DexValueArray

Change-Id: I5740e3dee026b22584abd76a89f94aa0d7e357e2
diff --git a/src/main/java/com/android/tools/r8/graph/DexValue.java b/src/main/java/com/android/tools/r8/graph/DexValue.java
index c455396..5271c0a 100644
--- a/src/main/java/com/android/tools/r8/graph/DexValue.java
+++ b/src/main/java/com/android/tools/r8/graph/DexValue.java
@@ -1600,6 +1600,14 @@
       return values;
     }
 
+    public int size() {
+      return values.length;
+    }
+
+    public DexValue getValue(int i) {
+      return values[i];
+    }
+
     @Override
     public DexValueKind getValueKind() {
       return DexValueKind.ARRAY;