Merge pull request #71 from LoiNguyenCS/primitive-array

add codes and tests for primitive array

src/main/java/org/checkerframework/specimin/TargetMethodFinderVisitor.java

@@ -328,9 +328,11 @@ public Visitable visit(FieldAccessExpr expr, Void p) {
         usedMembers.add(fullNameOfClass + "#" + expr.getName().asString());
         usedClass.add(fullNameOfClass);
         usedClass.add(expr.resolve().getType().describe());
-      }
-      // when the type is a primitive array, we will have an UnsupportedOperationException
-      catch (UnsolvedSymbolException | UnsupportedOperationException e) {
+      } catch (UnsolvedSymbolException | UnsupportedOperationException e) {
+        // when the type is a primitive array, we will have an UnsupportedOperationException
+        if (e instanceof UnsupportedOperationException) {
+          updateUsedElementWithPotentialFieldNameExpr(expr.getScope().asNameExpr());
+        }
         // if the a field is accessed in the form of a fully-qualified path, such as
         // org.example.A.b, then other components in the path apart from the class name and field
         // name, such as org and org.example, will also be considered as FieldAccessExpr.

src/test/java/org/checkerframework/specimin/PrimitiveArrayTest.java

@@ -0,0 +1,18 @@
+package org.checkerframework.specimin;
+
+import org.junit.Test;
+
+import java.io.IOException;
+
+/**
+ * This test checks if Specimin can handle fields of type primitive array.
+ */
+public class PrimitiveArrayTest {
+  @Test
+  public void runTest() throws IOException {
+    SpeciminTestExecutor.runTestWithoutJarPaths(
+        "primitivearray",
+        new String[] {"com/example/Simple.java"},
+        new String[] {"com.example.Simple#bar()"});
+  }
+}

src/test/resources/primitivearray/expected/com/example/Simple.java

@@ -0,0 +1,10 @@
+package com.example;
+
+class Simple {
+
+    static final byte[] VALUES = null;
+
+    void bar() {
+        int length = VALUES.length;
+    }
+}

src/test/resources/primitivearray/input/com/example/Simple.java

@@ -0,0 +1,10 @@
+package com.example;
+
+class Simple {
+
+    static final byte[] VALUES = new byte[];
+    // Target method.
+    void bar() {
+        int length = VALUES.length;
+    }
+}