added .length array field back to fieldAccess

usethesource · May 8, 2024 · 0e3b120 · 0e3b120
1 parent 5f8b840
commit 0e3b120
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/src/org/rascalmpl/library/lang/java/m3/internal/SourceConverter.java b/src/org/rascalmpl/library/lang/java/m3/internal/SourceConverter.java
@@ -499,6 +499,11 @@ public boolean visit(QualifiedName node) {
 			insert(fieldAccess, getParent(), ownValue);
 		}
 
+		if (((ISourceLocation) ownValue).getScheme().equals("java+arrayLength")) {
+			insert(fieldAccess, getParent(), ownValue);
+		}
+
+
 		return true;
 	}
 

diff --git a/test/org/rascalmpl/test/data/m3/junit4-m3s.bin b/test/org/rascalmpl/test/data/m3/junit4-m3s.bin