Fixed incorrect default for defaultLogicalLoc

usethesource · Feb 26, 2024 · c78b74c · c78b74c
1 parent 7254d5c
commit c78b74c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 15 deletions.
diff --git a/doc/TypePal/Configuration/Configuration.md b/doc/TypePal/Configuration/Configuration.md
@@ -257,13 +257,6 @@ A function `postSolver` that can enrich or transform the TModel after constraint
 ```
 A function `normalizeName` to define language-specific escape rules for names. By default, all backslashes are removed from names.
 
-#### validateConstraints
-```rascal
-/* Configuration field */ bool validateConstraints = true
-```
-When `validateConstraints` is true, the validity of all constraints is checked before solving starts.
-For all dependencies (in facts, calculators and requirements) a calculator needs to be present to solve that dependency.
-
 #### createLogicalLoc
 ```rascal
 /* Configuration field */ loc (Define def, str modelName, PathConfig pcfg) createLogicalLoc

diff --git a/src/analysis/typepal/ConfigurableScopeGraph.rsc b/src/analysis/typepal/ConfigurableScopeGraph.rsc
@@ -68,8 +68,7 @@ str reduceToURIChars(str s){
     }
 
 loc defaultLogicalLoc(Define def, str modelName, PathConfig _pcfg){
-   path = def.defined.path;
-   return |<"<modelName>+<prettyRole(def.idRole)>">://<path>/<reduceToURIChars(def.id)>|; 
+   return def.defined; // retrun original and don't create logical loction
 }
 
 // Extends TypePalConfig defined in analysis::typepal::ScopeGraph
@@ -85,12 +84,7 @@ data TypePalConfig(
 
 data TypePalConfig(
         bool verbose               = false,
-        //bool logTime               = false,
-        //bool logSolverIterations   = false,
-        //bool logAttempts           = false,
-        //bool logTModel             = false,
-        //bool validateConstraints   = true,
-        //set[IdRole] roleNeedslogicalLoc = {},
+        
         PathConfig typepalPathConfig = pathConfig(),
     
         AType() getMinAType