Class GhostFunctionError

java.lang.Object

java.lang.Throwable

java.lang.Exception

liquidjava.smt.GhostFunctionError

All Implemented Interfaces:

Serializable

public class GhostFunctionError
extends Exception

See Also:

• Serialized Form

Constructor Summary

Constructors

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

GhostFunctionError

public GhostFunctionError(String message)

Method Details

getLocation

public spoon.reflect.declaration.CtElement getLocation()

setLocation

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