From ff30468a3d8b693ce0bde4adf9fbf445338eb579 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Mon, 30 Dec 2024 07:43:28 +0100
Subject: [PATCH] remove duplicates of ToolGlobals from BBuildIns
---
src/main/java/de/tla2b/global/BBuildIns.java | 16 ++++++----------
1 file changed, 6 insertions(+), 10 deletions(-)
diff --git a/src/main/java/de/tla2b/global/BBuildIns.java b/src/main/java/de/tla2b/global/BBuildIns.java
index 33726f4..bce2f60 100644
--- a/src/main/java/de/tla2b/global/BBuildIns.java
+++ b/src/main/java/de/tla2b/global/BBuildIns.java
@@ -1,12 +1,13 @@
package de.tla2b.global;
+import tlc2.tool.ToolGlobals;
import util.UniqueString;
-public interface BBuildIns {
- UniqueString OP_dotdot = UniqueString.uniqueStringOf("..");
- UniqueString OP_plus = UniqueString.uniqueStringOf("+");
- UniqueString OP_minus = UniqueString.uniqueStringOf("-");
- UniqueString OP_times = UniqueString.uniqueStringOf("*");
+/**
+ * Contains definitions of operators defined in additional modules like Naturals/Reals/...
+ * that are not part of ToolGlobals.
+ */
+public interface BBuildIns extends ToolGlobals {
UniqueString OP_div = UniqueString.uniqueStringOf("\\div");
UniqueString OP_realdiv = UniqueString.uniqueStringOf("/");
UniqueString OP_mod = UniqueString.uniqueStringOf("%");
@@ -14,11 +15,6 @@ public interface BBuildIns {
UniqueString OP_uminus = UniqueString.uniqueStringOf("-.");
- UniqueString OP_lt = UniqueString.uniqueStringOf("<");
- UniqueString OP_leq = UniqueString.uniqueStringOf("\\leq");
- UniqueString OP_gt = UniqueString.uniqueStringOf(">");
- UniqueString OP_geq = UniqueString.uniqueStringOf("\\geq");
-
UniqueString OP_nat = UniqueString.uniqueStringOf("Nat");
UniqueString OP_int = UniqueString.uniqueStringOf("Int");
UniqueString OP_real = UniqueString.uniqueStringOf("Real");
--
GitLab