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
This exception is thrown by verify() when it fails.
- Author:
- roca
- See Also:
-
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Method Details
-
getOffset
public int getOffset()- Returns:
- the index of the Instruction which failed to verify
-
getReason
- Returns:
- a description of the reason why verification failed
-
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
Print the path to the given stream, if there is one.- Throws:
IOException
-