Class SMTError

java.lang.Object

java.lang.Throwable

java.lang.Exception

liquidjava.smt.errors.SMTError

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

NotFoundError

public class SMTError
extends Exception

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
SMTError(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

SMTError

public SMTError(String message)

Method Details

getLocation

public spoon.reflect.declaration.CtElement getLocation()

setLocation

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