Class IncompatibleUnificationException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

ca.mcscert.jpipe.operators.IncompatibleUnificationException

All Implemented Interfaces:

Serializable

public final class IncompatibleUnificationException
extends RuntimeException

Raised when unification groups elements whose kinds cannot be merged into a single element, e.g. a strategy and an evidence sharing the same label.

Reported independently of the order in which the source models were listed: the operator is commutative, so the same group is rejected, with the same message, whichever way its members were written.

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
IncompatibleUnificationException(String message)

Method Summary

Methods inherited from class Throwable

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

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

IncompatibleUnificationException

public IncompatibleUnificationException(String message)