Package org.jfuncmachine.util.unification

Class UnificationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.jfuncmachine.util.unification.UnificationException

All Implemented Interfaces:

Serializable

public class UnificationException
extends Exception

An exception thrown by the type unification utility

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
UnificationException()	Create an empty unification exception
UnificationException(String message)	Create a unification exception with a message
UnificationException(String message, Throwable cause)	Create a unification exception with a message and a cause
UnificationException(Throwable cause)	Create a unification exception with a cause

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

UnificationException

public UnificationException()

Create an empty unification exception

UnificationException

public UnificationException(String message)

Create a unification exception with a message

Parameters:

message - The exception message

UnificationException

public UnificationException(String message,
 Throwable cause)

Create a unification exception with a message and a cause

Parameters:

message - The exception message

cause - The exception cause

UnificationException

public UnificationException(Throwable cause)

Create a unification exception with a cause

Parameters:

cause - The exception cause