From 1c8843a620fbc566ea1694dcd5d5eb1ed9eb60df Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Thu, 24 Oct 2024 19:39:49 +0200
Subject: [PATCH] delete unused Priorities
---
src/main/java/de/tla2b/global/Priorities.java | 62 -------------------
src/main/java/de/tla2bAst/BAstCreator.java | 2 +-
2 files changed, 1 insertion(+), 63 deletions(-)
delete mode 100644 src/main/java/de/tla2b/global/Priorities.java
diff --git a/src/main/java/de/tla2b/global/Priorities.java b/src/main/java/de/tla2b/global/Priorities.java
deleted file mode 100644
index 92afc9c..0000000
--- a/src/main/java/de/tla2b/global/Priorities.java
+++ /dev/null
@@ -1,62 +0,0 @@
-package de.tla2b.global;
-
-public interface Priorities {
- int P_max = 300;
-
- int P_record_acc = 250;
- int P_uminus = 210;
- int P_exp = 200;
-
- int P_times = 190;
- int P_div = 190;
- int P_mod = 190;
-
-
- int P_plus = 180;
- int P_minus = 180;
- int P_setdiff = 180;
-
- int P_dotdot = 170;
-
- int P_maplet = 160;
-
- int P_take_first = 160;
- int P_drop_last = 160;
- int P_conc = 160;
-
- int P_intersect = 140;
- int P_union = 140;
-
-
- int P_append = 130;
-
- int P_total_f = 125;
-
- int P_comma = 115;
-
-
- int P_rel_overriding = 90;
-
- int P_in = 60;
- int P_notin = 60;
- int P_subseteq = 60;
-
- int P_equals = 50;
- int P_noteq = 50;
- int P_gt = 50;
- int P_lt = 50;
- int P_leq = 50;
- int P_geq = 50;
-
- int P_equiv = 60;
-
- int P_and = 40;
- int P_or = 40;
-
-
- int P_implies = 30;
-
- int P_min = 0;
-
-
-}
diff --git a/src/main/java/de/tla2bAst/BAstCreator.java b/src/main/java/de/tla2bAst/BAstCreator.java
index 2d7525b..0230abc 100644
--- a/src/main/java/de/tla2bAst/BAstCreator.java
+++ b/src/main/java/de/tla2bAst/BAstCreator.java
@@ -25,7 +25,7 @@ import java.util.*;
import java.util.Map.Entry;
public class BAstCreator extends BuiltInOPs
- implements TranslationGlobals, ASTConstants, BBuildIns, Priorities, ValueConstants {
+ implements TranslationGlobals, ASTConstants, BBuildIns, ValueConstants {
List<PMachineClause> machineClauseList;
ConfigfileEvaluator conEval;
--
GitLab