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

Modifier and Type	Method	Description
spoon.reflect.declaration.CtElement	getLocation()
void	setLocation(spoon.reflect.declaration.CtElement location)

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

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

Constructor Details

TypeCheckError

public TypeCheckError(String message)

Method Details

getLocation

public spoon.reflect.declaration.CtElement getLocation()

setLocation

public void setLocation(spoon.reflect.declaration.CtElement location)