Package com.ibm.wala.shrikeBT.analysis
Class Analyzer.FailureException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- com.ibm.wala.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
All Methods Instance Methods Concrete Methods 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
-
-
-
-
Method Detail
-
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
-
-