Package com.ibm.wala.shrike.shrikeBT.analysis

Class Analyzer.FailureException

java.lang.Object

java.lang.Throwable

java.lang.Exception

com.ibm.wala.shrike.shrikeBT.analysis.Analyzer.FailureException

All Implemented Interfaces:

Serializable

Enclosing class:

Analyzer

public static final class Analyzer.FailureException
extends Exception

This exception is thrown by verify() when it fails.

See Also:

• Serialized Form

Method Summary

Modifier and Type	Method	Description
int	getOffset()
List<Analyzer.PathElement>	getPath()
String	getReason()
void	printPath(Writer w)	Print the path to the given stream, if there is one.

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

Method Details

getOffset

public int getOffset()

Returns:

the index of the Instruction which failed to verify

getReason

public String getReason()

Returns:

a description of the reason why verification failed

getPath

public List<Analyzer.PathElement> getPath()

Returns:

a list of PathElements describing how the type that caused the error was propagated from its origin to the point of the error

printPath

public void printPath(Writer w)
               throws IOException

Print the path to the given stream, if there is one.

Throws:

IOException