mercury/java/runtime/MercuryFatalError.java at master · Mercury-Language/mercury · GitHub

23 lines (18 loc) · 563 Bytes

// vim: ts=4 sw=4 expandtab ft=java

// This file is distributed under the terms specified in COPYING.LIB.

// This exception is for when fatal errors in the Mercury runtime.

package jmercury.runtime;

public class MercuryFatalError extends java.lang.Error {

public MercuryFatalError(String message) {

super(message);

}

public MercuryFatalError(String message, Throwable cause) {

super(message, cause);

}

public MercuryFatalError(Throwable cause) {

super(cause);

}

Expand file tree