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;