fixes #1901

usethesource · Dec 27, 2023 · f604f30 · f604f30
1 parent 954d148
commit f604f30
Showing 1 changed file with 10 additions and 7 deletions.
diff --git a/src/org/rascalmpl/library/lang/java/m3/internal/ASTConverter.java b/src/org/rascalmpl/library/lang/java/m3/internal/ASTConverter.java
@@ -120,14 +120,17 @@ public void postVisit(ASTNode node) {
             return;
         }
         setKeywordParameter("src", getSourceLocation(node));
-        ISourceLocation decl = resolveBinding(node);
-        if (!decl.getScheme().equals("unknown")) {
-            setKeywordParameter("decl", decl); 
-        }
-        if (getAdtType() != DATATYPE_RASCAL_AST_STATEMENT_NODE_TYPE) {
-            IValue type = resolveType(node);
 
-            setKeywordParameter("typ", type);
+        if (collectBindings) {
+            ISourceLocation decl = resolveBinding(node);
+            if (!decl.getScheme().equals("unknown")) {
+                setKeywordParameter("decl", decl); 
+            }
+            if (getAdtType() != DATATYPE_RASCAL_AST_STATEMENT_NODE_TYPE) {
+                IValue type = resolveType(node);
+
+                setKeywordParameter("typ", type);
+            }
         }
     }