de.prob.tmparser.TheoryMappingException Maven / Gradle / Ivy

Go to download

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

Part of the ProB Parser library

There is a newer version: 2.13.5

package de.prob.tmparser;

public class TheoryMappingException extends RuntimeException {
	private static final long serialVersionUID = -6323718760001476629L;

	public TheoryMappingException() {
		super();
	}

	public TheoryMappingException(String message, Throwable cause) {
		super(message, cause);
	}

	public TheoryMappingException(String message) {
		super(message);
	}

	public TheoryMappingException(Throwable cause) {
		super(cause);
	}
}