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.
Author:
roca
See Also:
  • 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