hlt.language.design.types

Class FailedUnificationException

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

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

TypeClashException

public abstract class FailedUnificationException
extends TypingErrorException

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
FailedUnificationException()

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

FailedUnificationException

public FailedUnificationException()