DefinitionException (API documentation of hlt.language packages)
Date: 2013-01-30

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)