hlt.language.design.kernel

Class DefinitionException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

hlt.language.design.types.StaticSemanticsErrorException

hlt.language.design.kernel.DefinitionException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

UndefinedEqualityException

public class DefinitionException
extends StaticSemanticsErrorException

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
DefinitionException(java.lang.Object detail)

Method Summary

Methods inherited from class hlt.language.design.types.StaticSemanticsErrorException

extent, getMessage, msg, setExtent, setStamp, stamp

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Detail

DefinitionException

public DefinitionException(java.lang.Object detail)