hlt.language.design.types

Class TypingErrorException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

hlt.language.design.types.StaticSemanticsErrorException

hlt.language.design.types.TypingErrorException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

FailedUnificationException

public class TypingErrorException
extends StaticSemanticsErrorException

Version:

Last modified on Wed Jun 20 14:29:51 2012 by hak

Author:

Hassan Aït-Kaci

See Also:

Serialized Form

Copyright:

© by the author

Constructor Summary

Constructors

Constructor and Description
TypingErrorException(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

TypingErrorException

public TypingErrorException(java.lang.Object detail)