Interact with type checker using module names.

Author: toinehartman

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

@@ -458,10 +458,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] moduleNames = [getModuleName(mloc, pcfg) | mloc <- fs];
+    ms = rascalTModelForNames(moduleNames, ccfg, dummy_compile1);
 
     set[TModel] tmodels = {};
-    for (modName <- ms.moduleLocs) {
+    for (str modName <- moduleNames) {
         <found, tm, ms> = getTModelForModule(modName, ms);
         if (!found) throw unexpectedFailure("Cannot read TModel for module \'<modName>\'\n<toString(ms.messages)>");
         tmodels += convertTModel2PhysicalLocs(tm);