Merge pull request #551 from usethesource/fix/rename-refactoring/use-…

…module-names

Interact with type checker using module names.

(cherry picked from commit 66773d8)

rascal-lsp/src/main/rascal/lang/rascal/lsp/refactor/Rename.rsc

@@ -489,10 +489,11 @@ private bool rascalContainsName(loc l, str name) {
 private set[TModel] rascalTModels(set[loc] fs, PathConfig pcfg) {
     RascalCompilerConfig ccfg = rascalCompilerConfig(pcfg)[verbose = false]
                                                           [logPathConfig = false];
-    ms = rascalTModelForLocs(toList(fs), ccfg, dummy_compile1);
+    list[str] topModuleNames = [getModuleName(mloc, pcfg) | mloc <- fs];
+    ms = rascalTModelForNames(topModuleNames, ccfg, dummy_compile1);
 
     set[TModel] tmodels = {};
-    for (modName <- ms.moduleLocs) {
+    for (str modName <- ms.moduleLocs) {
         <found, tm, ms> = getTModelForModule(modName, ms);
         if (!found) throw unexpectedFailure("Cannot read TModel for module \'<modName>\'\n<toString(ms.messages)>");
         tmodels += convertTModel2PhysicalLocs(tm);