From 01dd1d5c06b227f3f1f0b03c33ce239871e8e176 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Thu, 24 Oct 2024 19:35:46 +0200
Subject: [PATCH] delete unused ModuleErrorException and TLA2BIOException

---
 .../de/tla2b/exceptions/ConfigFileErrorException.java  |  2 --
 .../exceptions/ExpressionTranslationException.java     |  1 -
 .../java/de/tla2b/exceptions/ModuleErrorException.java | 10 ----------
 .../de/tla2b/exceptions/NotImplementedException.java   |  4 +---
 .../de/tla2b/exceptions/SemanticErrorException.java    |  1 -
 src/main/java/de/tla2b/exceptions/TLA2BException.java  |  1 -
 .../java/de/tla2b/exceptions/TLA2BIOException.java     | 10 ----------
 .../java/de/tla2b/exceptions/TypeErrorException.java   |  3 ---
 .../java/de/tla2b/exceptions/UnificationException.java |  1 -
 9 files changed, 1 insertion(+), 32 deletions(-)
 delete mode 100644 src/main/java/de/tla2b/exceptions/ModuleErrorException.java
 delete mode 100644 src/main/java/de/tla2b/exceptions/TLA2BIOException.java

diff --git a/src/main/java/de/tla2b/exceptions/ConfigFileErrorException.java b/src/main/java/de/tla2b/exceptions/ConfigFileErrorException.java
index dc55f68..9f9761d 100644
--- a/src/main/java/de/tla2b/exceptions/ConfigFileErrorException.java
+++ b/src/main/java/de/tla2b/exceptions/ConfigFileErrorException.java
@@ -1,7 +1,5 @@
 package de.tla2b.exceptions;
 
-
-@SuppressWarnings("serial")
 public class ConfigFileErrorException extends TLA2BException {
 
 	public ConfigFileErrorException(String s) {
diff --git a/src/main/java/de/tla2b/exceptions/ExpressionTranslationException.java b/src/main/java/de/tla2b/exceptions/ExpressionTranslationException.java
index ff7f014..ae48ae8 100644
--- a/src/main/java/de/tla2b/exceptions/ExpressionTranslationException.java
+++ b/src/main/java/de/tla2b/exceptions/ExpressionTranslationException.java
@@ -1,6 +1,5 @@
 package de.tla2b.exceptions;
 
-@SuppressWarnings("serial")
 public class ExpressionTranslationException extends RuntimeException {
 
 	public ExpressionTranslationException(final String message) {
diff --git a/src/main/java/de/tla2b/exceptions/ModuleErrorException.java b/src/main/java/de/tla2b/exceptions/ModuleErrorException.java
deleted file mode 100644
index 7e8be40..0000000
--- a/src/main/java/de/tla2b/exceptions/ModuleErrorException.java
+++ /dev/null
@@ -1,10 +0,0 @@
-package de.tla2b.exceptions;
-
-
-@SuppressWarnings("serial")
-public class ModuleErrorException extends TLA2BException {
-	public ModuleErrorException(String e) {
-		super(e);
-	}
-
-}
diff --git a/src/main/java/de/tla2b/exceptions/NotImplementedException.java b/src/main/java/de/tla2b/exceptions/NotImplementedException.java
index 1ef2526..a7364d7 100644
--- a/src/main/java/de/tla2b/exceptions/NotImplementedException.java
+++ b/src/main/java/de/tla2b/exceptions/NotImplementedException.java
@@ -1,10 +1,8 @@
 package de.tla2b.exceptions;
 
-
-@SuppressWarnings("serial")
 public class NotImplementedException extends RuntimeException {
+
 	public NotImplementedException(String e) {
 		super(e);
 	}
-
 }
diff --git a/src/main/java/de/tla2b/exceptions/SemanticErrorException.java b/src/main/java/de/tla2b/exceptions/SemanticErrorException.java
index 169718d..9634f6f 100644
--- a/src/main/java/de/tla2b/exceptions/SemanticErrorException.java
+++ b/src/main/java/de/tla2b/exceptions/SemanticErrorException.java
@@ -1,6 +1,5 @@
 package de.tla2b.exceptions;
 
-@SuppressWarnings("serial")
 public class SemanticErrorException extends TLA2BException {
 
 	public SemanticErrorException(String e) {
diff --git a/src/main/java/de/tla2b/exceptions/TLA2BException.java b/src/main/java/de/tla2b/exceptions/TLA2BException.java
index 42148cc..232d74c 100644
--- a/src/main/java/de/tla2b/exceptions/TLA2BException.java
+++ b/src/main/java/de/tla2b/exceptions/TLA2BException.java
@@ -1,6 +1,5 @@
 package de.tla2b.exceptions;
 
-@SuppressWarnings("serial")
 public abstract class TLA2BException extends Exception {
 
 	public TLA2BException(String e) {
diff --git a/src/main/java/de/tla2b/exceptions/TLA2BIOException.java b/src/main/java/de/tla2b/exceptions/TLA2BIOException.java
deleted file mode 100644
index 583859d..0000000
--- a/src/main/java/de/tla2b/exceptions/TLA2BIOException.java
+++ /dev/null
@@ -1,10 +0,0 @@
-package de.tla2b.exceptions;
-
-@SuppressWarnings("serial")
-public class TLA2BIOException extends TLA2BException {
-
-
-	public TLA2BIOException(String e) {
-		super(e);
-	}
-}
diff --git a/src/main/java/de/tla2b/exceptions/TypeErrorException.java b/src/main/java/de/tla2b/exceptions/TypeErrorException.java
index 15f2116..7e59c6d 100644
--- a/src/main/java/de/tla2b/exceptions/TypeErrorException.java
+++ b/src/main/java/de/tla2b/exceptions/TypeErrorException.java
@@ -1,10 +1,7 @@
 package de.tla2b.exceptions;
 
-
-@SuppressWarnings("serial")
 public class TypeErrorException extends TLA2BException {
 
-
 	public TypeErrorException(String s) {
 		super(s);
 	}
diff --git a/src/main/java/de/tla2b/exceptions/UnificationException.java b/src/main/java/de/tla2b/exceptions/UnificationException.java
index 74b01bf..ed6565e 100644
--- a/src/main/java/de/tla2b/exceptions/UnificationException.java
+++ b/src/main/java/de/tla2b/exceptions/UnificationException.java
@@ -1,6 +1,5 @@
 package de.tla2b.exceptions;
 
-@SuppressWarnings("serial")
 public class UnificationException extends TLA2BException {
 
 	public UnificationException() {
-- 
GitLab