Class TypeCheckError

java.lang.Object

java.lang.Throwable

java.lang.Exception

liquidjava.smt.TypeCheckError

All Implemented Interfaces:

Serializable

public class TypeCheckError
extends Exception

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
TypeCheckError(String message)

Method Summary

Methods inherited from class Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

TypeCheckError

public TypeCheckError(String message)