Skip to content
Snippets Groups Projects
Commit 01dd1d5c authored by Jan Gruteser's avatar Jan Gruteser
Browse files

delete unused ModuleErrorException and TLA2BIOException

parent 7a83ee22
No related branches found
No related tags found
No related merge requests found
package de.tla2b.exceptions; package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class ConfigFileErrorException extends TLA2BException { public class ConfigFileErrorException extends TLA2BException {
public ConfigFileErrorException(String s) { public ConfigFileErrorException(String s) {
......
package de.tla2b.exceptions; package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class ExpressionTranslationException extends RuntimeException { public class ExpressionTranslationException extends RuntimeException {
public ExpressionTranslationException(final String message) { public ExpressionTranslationException(final String message) {
......
package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class ModuleErrorException extends TLA2BException {
public ModuleErrorException(String e) {
super(e);
}
}
package de.tla2b.exceptions; package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class NotImplementedException extends RuntimeException { public class NotImplementedException extends RuntimeException {
public NotImplementedException(String e) { public NotImplementedException(String e) {
super(e); super(e);
} }
} }
package de.tla2b.exceptions; package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class SemanticErrorException extends TLA2BException { public class SemanticErrorException extends TLA2BException {
public SemanticErrorException(String e) { public SemanticErrorException(String e) {
......
package de.tla2b.exceptions; package de.tla2b.exceptions;
@SuppressWarnings("serial")
public abstract class TLA2BException extends Exception { public abstract class TLA2BException extends Exception {
public TLA2BException(String e) { public TLA2BException(String e) {
......
package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class TLA2BIOException extends TLA2BException {
public TLA2BIOException(String e) {
super(e);
}
}
package de.tla2b.exceptions; package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class TypeErrorException extends TLA2BException { public class TypeErrorException extends TLA2BException {
public TypeErrorException(String s) { public TypeErrorException(String s) {
super(s); super(s);
} }
......
package de.tla2b.exceptions; package de.tla2b.exceptions;
@SuppressWarnings("serial")
public class UnificationException extends TLA2BException { public class UnificationException extends TLA2BException {
public UnificationException() { public UnificationException() {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment