hlt.language.design.kernel

Class UndefinedEqualityException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

hlt.language.design.types.StaticSemanticsErrorException

hlt.language.design.kernel.DefinitionException

hlt.language.design.kernel.UndefinedEqualityException

All Implemented Interfaces:

java.io.Serializable

public class UndefinedEqualityException
extends DefinitionException

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

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

UndefinedEqualityException

public UndefinedEqualityException()