From 12a5b568c3b7d51c39df2817ffdc6608a687074b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Fri, 28 Feb 2020 17:02:40 +0100
Subject: [PATCH] add a few more variations of keywords
as used in the config .cfg files
---
src/main/java/de/tla2b/analysis/SpecAnalyser.java | 6 ++++++
1 file changed, 6 insertions(+)
diff --git a/src/main/java/de/tla2b/analysis/SpecAnalyser.java b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
index 7ad8da1..027d745 100644
--- a/src/main/java/de/tla2b/analysis/SpecAnalyser.java
+++ b/src/main/java/de/tla2b/analysis/SpecAnalyser.java
@@ -98,6 +98,8 @@ public class SpecAnalyser extends BuiltInOPs implements ASTConstants, ToolGlobal
if (definitions.containsKey("Spec")) {
specAnalyser.spec = definitions.get("Spec");
+ } else if (definitions.containsKey("SPECIFICATION")) {
+ specAnalyser.spec = definitions.get("SPECIFICATION");
} else if (definitions.containsKey("SPEC")) {
specAnalyser.spec = definitions.get("SPEC");
}
@@ -118,6 +120,10 @@ public class SpecAnalyser extends BuiltInOPs implements ASTConstants, ToolGlobal
if (definitions.containsKey("Inv")) {
specAnalyser.invariants.add(definitions.get("Inv"));
+ } else if (definitions.containsKey("INVARIANTS")) {
+ specAnalyser.invariants.add(definitions.get("INVARIANTS"));
+ } else if (definitions.containsKey("INVARIANT")) {
+ specAnalyser.invariants.add(definitions.get("INVARIANT"));
} else if (definitions.containsKey("INV")) {
specAnalyser.invariants.add(definitions.get("INV"));
} else if (definitions.containsKey("Invariant")) {
--
GitLab