From f6e629b39004da1e508300d0f2b4c74c96456f93 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 15:54:04 +0200
Subject: [PATCH] Allow passing causes to all TLC4BException constructors
---
.../java/de/tlc4b/exceptions/LTLParseException.java | 12 +++++++++---
.../de/tlc4b/exceptions/NotSupportedException.java | 12 +++++++++---
.../exceptions/NotSupportedLTLFormulaException.java | 12 +++++++++---
.../java/de/tlc4b/exceptions/ScopeException.java | 12 +++++++++---
.../de/tlc4b/exceptions/SubstitutionException.java | 12 +++++++++---
.../java/de/tlc4b/exceptions/TLC4BException.java | 12 +++++++++---
.../java/de/tlc4b/exceptions/TLC4BIOException.java | 12 +++++++++---
.../de/tlc4b/exceptions/TranslationException.java | 12 +++++++++---
.../java/de/tlc4b/exceptions/TypeErrorException.java | 11 +++++++++--
9 files changed, 81 insertions(+), 26 deletions(-)
diff --git a/src/main/java/de/tlc4b/exceptions/LTLParseException.java b/src/main/java/de/tlc4b/exceptions/LTLParseException.java
index 3f4d7cf..cb5cd26 100644
--- a/src/main/java/de/tlc4b/exceptions/LTLParseException.java
+++ b/src/main/java/de/tlc4b/exceptions/LTLParseException.java
@@ -1,14 +1,20 @@
package de.tlc4b.exceptions;
public class LTLParseException extends TLC4BException {
+ public LTLParseException(String message) {
+ super(message);
+ }
+
+ public LTLParseException(String message, Throwable cause) {
+ super(message, cause);
+ }
- public LTLParseException(String e) {
- super(e);
+ public LTLParseException(Throwable cause) {
+ super(cause);
}
@Override
public String getError() {
return "LTLParseError";
}
-
}
diff --git a/src/main/java/de/tlc4b/exceptions/NotSupportedException.java b/src/main/java/de/tlc4b/exceptions/NotSupportedException.java
index 8d090d3..b869563 100644
--- a/src/main/java/de/tlc4b/exceptions/NotSupportedException.java
+++ b/src/main/java/de/tlc4b/exceptions/NotSupportedException.java
@@ -1,10 +1,16 @@
package de.tlc4b.exceptions;
public class NotSupportedException extends TLC4BException {
+ public NotSupportedException(String message) {
+ super(message);
+ }
+
+ public NotSupportedException(String message, Throwable cause) {
+ super(message, cause);
+ }
-
- public NotSupportedException(String e){
- super(e);
+ public NotSupportedException(Throwable cause) {
+ super(cause);
}
@Override
diff --git a/src/main/java/de/tlc4b/exceptions/NotSupportedLTLFormulaException.java b/src/main/java/de/tlc4b/exceptions/NotSupportedLTLFormulaException.java
index 4f7fa90..c2d93b6 100644
--- a/src/main/java/de/tlc4b/exceptions/NotSupportedLTLFormulaException.java
+++ b/src/main/java/de/tlc4b/exceptions/NotSupportedLTLFormulaException.java
@@ -1,14 +1,20 @@
package de.tlc4b.exceptions;
public class NotSupportedLTLFormulaException extends TLC4BException {
+ public NotSupportedLTLFormulaException(String message) {
+ super(message);
+ }
+
+ public NotSupportedLTLFormulaException(String message, Throwable cause) {
+ super(message, cause);
+ }
- public NotSupportedLTLFormulaException(String e) {
- super(e);
+ public NotSupportedLTLFormulaException(Throwable cause) {
+ super(cause);
}
@Override
public String getError() {
return "NotSupportedLTLFormula";
}
-
}
diff --git a/src/main/java/de/tlc4b/exceptions/ScopeException.java b/src/main/java/de/tlc4b/exceptions/ScopeException.java
index d5d8fb6..7c13b8c 100644
--- a/src/main/java/de/tlc4b/exceptions/ScopeException.java
+++ b/src/main/java/de/tlc4b/exceptions/ScopeException.java
@@ -1,14 +1,20 @@
package de.tlc4b.exceptions;
public class ScopeException extends TLC4BException {
+ public ScopeException(String message) {
+ super(message);
+ }
+
+ public ScopeException(String message, Throwable cause) {
+ super(message, cause);
+ }
- public ScopeException(String e){
- super(e);
+ public ScopeException(Throwable cause) {
+ super(cause);
}
@Override
public String getError() {
return "ScopeException";
}
-
}
diff --git a/src/main/java/de/tlc4b/exceptions/SubstitutionException.java b/src/main/java/de/tlc4b/exceptions/SubstitutionException.java
index 257097f..ba32275 100644
--- a/src/main/java/de/tlc4b/exceptions/SubstitutionException.java
+++ b/src/main/java/de/tlc4b/exceptions/SubstitutionException.java
@@ -1,14 +1,20 @@
package de.tlc4b.exceptions;
public class SubstitutionException extends TLC4BException {
+ public SubstitutionException(String message) {
+ super(message);
+ }
+
+ public SubstitutionException(String message, Throwable cause) {
+ super(message, cause);
+ }
- public SubstitutionException(String e) {
- super(e);
+ public SubstitutionException(Throwable cause) {
+ super(cause);
}
@Override
public String getError() {
return "SubstitutionError";
}
-
}
diff --git a/src/main/java/de/tlc4b/exceptions/TLC4BException.java b/src/main/java/de/tlc4b/exceptions/TLC4BException.java
index 530f74f..01f6656 100644
--- a/src/main/java/de/tlc4b/exceptions/TLC4BException.java
+++ b/src/main/java/de/tlc4b/exceptions/TLC4BException.java
@@ -1,11 +1,17 @@
package de.tlc4b.exceptions;
public abstract class TLC4BException extends RuntimeException {
+ protected TLC4BException(String message) {
+ super(message);
+ }
+
+ protected TLC4BException(String message, Throwable cause) {
+ super(message, cause);
+ }
- public TLC4BException(String e) {
- super(e);
+ protected TLC4BException(Throwable cause) {
+ super(cause);
}
public abstract String getError();
-
}
diff --git a/src/main/java/de/tlc4b/exceptions/TLC4BIOException.java b/src/main/java/de/tlc4b/exceptions/TLC4BIOException.java
index 19dfe2a..51e226d 100644
--- a/src/main/java/de/tlc4b/exceptions/TLC4BIOException.java
+++ b/src/main/java/de/tlc4b/exceptions/TLC4BIOException.java
@@ -1,14 +1,20 @@
package de.tlc4b.exceptions;
public class TLC4BIOException extends TLC4BException {
+ public TLC4BIOException(String message) {
+ super(message);
+ }
+
+ public TLC4BIOException(String message, Throwable cause) {
+ super(message, cause);
+ }
- public TLC4BIOException(String e) {
- super(e);
+ public TLC4BIOException(Throwable cause) {
+ super(cause);
}
@Override
public String getError() {
return "I/O Error";
}
-
}
diff --git a/src/main/java/de/tlc4b/exceptions/TranslationException.java b/src/main/java/de/tlc4b/exceptions/TranslationException.java
index ec81299..7ac9a45 100644
--- a/src/main/java/de/tlc4b/exceptions/TranslationException.java
+++ b/src/main/java/de/tlc4b/exceptions/TranslationException.java
@@ -1,14 +1,20 @@
package de.tlc4b.exceptions;
public class TranslationException extends TLC4BException {
+ public TranslationException(String message) {
+ super(message);
+ }
+
+ public TranslationException(String message, Throwable cause) {
+ super(message, cause);
+ }
- public TranslationException(String e) {
- super(e);
+ public TranslationException(Throwable cause) {
+ super(cause);
}
@Override
public String getError() {
return "TranslationError";
}
-
}
diff --git a/src/main/java/de/tlc4b/exceptions/TypeErrorException.java b/src/main/java/de/tlc4b/exceptions/TypeErrorException.java
index cf0abfb..5b34d49 100644
--- a/src/main/java/de/tlc4b/exceptions/TypeErrorException.java
+++ b/src/main/java/de/tlc4b/exceptions/TypeErrorException.java
@@ -1,9 +1,16 @@
package de.tlc4b.exceptions;
public class TypeErrorException extends TLC4BException {
+ public TypeErrorException(String message) {
+ super(message);
+ }
+
+ public TypeErrorException(String message, Throwable cause) {
+ super(message, cause);
+ }
- public TypeErrorException(String e) {
- super(e);
+ public TypeErrorException(Throwable cause) {
+ super(cause);
}
@Override
--
GitLab