Improve handling of ignored modules.

toinehartman · toinehartman · commit 9bd9f0537a0e · 2025-09-15T13:35:53.000+02:00
diff --git a/rascal-lsp/src/main/rascal/lsp/lang/rascal/lsp/refactor/Rename.rsc b/rascal-lsp/src/main/rascal/lsp/lang/rascal/lsp/refactor/Rename.rsc
@@ -227,7 +227,14 @@ public Edits rascalRenameSymbol(loc cursorLoc, list[Tree] cursor, str newName, s
         ms = rascalTModelForNames([mname], ccfg, dummy_compile1);
 
         <found, tm, ms> = getTModelForModule(mname, ms);
-        if (!found) throw "No TModel for module \'<mname>\'";
+        if (!found) {
+            if (ms.status[mname]?) {
+                // If a module is annotated with `@ignoreCompiler`, silently skip it
+                if (MStatus::ignored() in ms.status[mname]) return tmodel();
+                throw "No TModel for module \'<mname>\'";
+            }
+            throw "No TModel for module \'<mname>\'";
+        }
         return tm;
     }
 
diff --git a/rascal-lsp/src/main/rascal/lsp/lang/rascal/tests/rename/Performance.rsc b/rascal-lsp/src/main/rascal/lsp/lang/rascal/tests/rename/Performance.rsc
@@ -77,3 +77,10 @@ test bool incrementalTypeCheck() {
     remove(procLoc);
     return res;
 }
+
+test bool ignoredModule() = testRenameOccurrences({
+    byText("Ignored", "
+        'import Main;
+        'int quz() = foo();", {}, annotations = "@ignoreCompiler{For test purposes.}"),
+    byText("Main", "int foo() = 8;", {0})
+});
diff --git a/rascal-lsp/src/main/rascal/lsp/lang/rascal/tests/rename/TestUtils.rsc b/rascal-lsp/src/main/rascal/lsp/lang/rascal/tests/rename/TestUtils.rsc
@@ -57,7 +57,7 @@ import util::Util;
 
 
 //// Fixtures and utility functions
-data TestModule = byText(str name, str body, set[int] nameOccs, str newName = name, set[int] skipCursors = {})
+data TestModule = byText(str name, str body, set[int] nameOccs, str newName = name, set[int] skipCursors = {}, str annotations = "")
                 | byLoc(str name, loc file, set[int] nameOccs, str newName = name, set[int] skipCursors = {});
 
 data RenameException
@@ -134,7 +134,7 @@ bool testRenameOccurrences(set[TestModule] modules, str oldName = "foo", str new
         }
 
         pcfg = getTestPathConfig(testDir);
-        modulesByLocation = {mByLoc | m <- modules, mByLoc := (m is byLoc ? m : byLoc(m.name, storeTestModule(testDir, m.name, m.body), m.nameOccs, newName = m.newName, skipCursors = m.skipCursors))};
+        modulesByLocation = {mByLoc | m <- modules, mByLoc := (m is byLoc ? m : byLoc(m.name, storeTestModule(testDir, m.name, m.body, annotations = m.annotations), m.nameOccs, newName = m.newName, skipCursors = m.skipCursors))};
 
         for (m <- modulesByLocation) {
             try {
@@ -391,9 +391,9 @@ private tuple[loc, list[Tree]] findCursor(loc f, str id, int occ) {
     return <cl, computeFocusList(m, cl.begin.line, cl.begin.column + 1)>;
 }
 
-private loc storeTestModule(loc dir, str name, str body) {
+private loc storeTestModule(loc dir, str name, str body, str annotations = "") {
     str moduleStr = "
-    'module <name>
+    '<annotations> module <name>
     '<body>
     ";
 
