hlt.language.design.types

Class TypeClashException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

hlt.language.design.types.StaticSemanticsErrorException

hlt.language.design.types.TypingErrorException

hlt.language.design.types.FailedUnificationException

hlt.language.design.types.TypeClashException

All Implemented Interfaces:

java.io.Serializable

public class TypeClashException
extends FailedUnificationException

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
TypeClashException(java.lang.Object detail)
TypeClashException(Type expected, Type found)

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

TypeClashException

public TypeClashException(java.lang.Object detail)

TypeClashException

public TypeClashException(Type expected,
                  Type found)