de.tlc4b.exceptions.TLC4BIOException Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of tlc4b Show documentation

Use the TLC model checker within ProB.

The newest version!

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(Throwable cause) {
		super(cause);
	}

	@Override
	public String getError() {
		return "I/O Error";
	}
}