diff --git a/doc/TypePal/Configuration/Configuration.md b/doc/TypePal/Configuration/Configuration.md index 6c4cccb..ccce60d 100644 --- 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 index d634163..5ba98f3 100644 --- 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 |<"+">:///|; + 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