de.uka.ilkd.key.logic.label

Class TermLabelException

java.lang.Object

java.lang.Throwable

java.lang.Exception

de.uka.ilkd.key.logic.label.TermLabelException

All Implemented Interfaces:

java.io.Serializable

public class TermLabelException
extends java.lang.Exception

An exception which can be thrown by the term label system.

TermLabelFactory methods can throw an instance if the requested term label cannot be created.

TermLabelManager can throw this if a requested label name has not been registered.

Author:

mattias ulbrich

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TermLabelException()
TermLabelException(java.lang.String message)
TermLabelException(java.lang.String message, java.lang.Throwable cause)
TermLabelException(java.lang.Throwable 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

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

Constructor Detail

TermLabelException

public TermLabelException()

TermLabelException

public TermLabelException(java.lang.String message,
                          java.lang.Throwable cause)

TermLabelException

public TermLabelException(java.lang.String message)

TermLabelException

public TermLabelException(java.lang.Throwable cause)