de.tla2b.exceptions.TLA2BFrontEndException Maven / Gradle / Ivy

Go to download

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

Translator from TLA+ to ProB's AST representation.

The newest version!

package de.tla2b.exceptions;

import tla2sany.modanalyzer.SpecObj;

public class TLA2BFrontEndException extends TLA2BException {

	public SpecObj spec;

	public TLA2BFrontEndException(String e) {
		super(e);
	}

	public TLA2BFrontEndException(String string, SpecObj spec) {
		super(string);
		this.spec = spec;
	}
}