new test case

jmltoolkit · May 3, 2024 · c918bf0 · c918bf0
1 parent f2ef7f2
commit c918bf0
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/JKIssue.java b/javaparser-core-testing/src/test/java/com/github/javaparser/JKIssue.java
@@ -53,4 +53,14 @@ void test2() throws IOException {
         var clause = cu.getType(0).getMethods().get(0).getContracts().get(0).getClauses().get(0).asJmlSimpleExprClause();
         Assertions.assertEquals(1, clause.getChildNodes().size());
     }
+
+    @Test
+    void test3() throws IOException {
+        ParserConfiguration cfg = new ParserConfiguration();
+        cfg.setProcessJml(true);
+        JavaParser parser = new JavaParser(cfg);
+        final var result = parser.parse(Paths.get("src/test/test_sourcecode/JKTmpTest.java"));
+        result.getProblems().forEach(System.err::println);
+        Assertions.assertTrue(result.isSuccessful());
+    }
 }
diff --git a/javaparser-core-testing/src/test/test_sourcecode/JKTmpTest.java b/javaparser-core-testing/src/test/test_sourcecode/JKTmpTest.java
@@ -0,0 +1,8 @@
+public class JKTmpTest {
+    int[] arr;
+
+    void f() {
+        for (int i : arr) {
+        }
+    }
+}