Minor changes for version checking

usethesource · May 4, 2024 · c2ca578 · c2ca578
1 parent 924e636
commit c2ca578
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/src/analysis/typepal/Collector.rsc b/src/analysis/typepal/Collector.rsc
@@ -922,7 +922,7 @@ Collector newCollector(str modelName, map[str,Tree] namedTrees, TypePalConfig co
     }
 
     void _addTModel(TModel tm){
-        if(!isValidVersion(tm.version)){
+        if(!isValidTplVersion(tm.version)){
             throw TypePalUsage("TModel for <tm.modelName> uses TPL version <tm.version>, but <getCurrentTplVersion()> is required");
         }
 

diff --git a/src/analysis/typepal/Exception.rsc b/src/analysis/typepal/Exception.rsc
@@ -12,6 +12,7 @@ data RuntimeException
     | TypePalInternalError(str reason)              // TypePal internal error
     | TypeUnavailable()                             // Type is not available: used in control flow of solver
     | checkFailed(list[FailMessage] msgs)           // Type check failed: used in control flow of solver
+    | wrongTPLVersion(str reason)
     ;
 
 data Exception

diff --git a/src/analysis/typepal/Version.rsc b/src/analysis/typepal/Version.rsc
@@ -2,9 +2,9 @@ module analysis::typepal::Version
 
 import util::SemVer;
 
-private str currentTplVersion = "1.1.0";
+private str currentTplVersion = "2.0.0";
 
-bool isValidVersion(str version){
+bool isValidTplVersion(str version){
     return equalVersion(version, currentTplVersion);
 }