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

Class Analyzer.FailureException

  • All Implemented Interfaces:
    java.io.Serializable
    Enclosing class:
    Analyzer
    public static final class Analyzer.FailureException
extends java.lang.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()  
      java.util.List<Analyzer.PathElement> getPath()  
      java.lang.String getReason()  
      void printPath​(java.io.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 Detail

      • getOffset

        public int getOffset()
        Returns:
        the index of the Instruction which failed to verify

      • getReason

        public java.lang.String getReason()
        Returns:
        a description of the reason why verification failed

      • getPath

        public java.util.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​(java.io.Writer w)
               throws java.io.IOException
        Print the path to the given stream, if there is one.
        Throws:
        java.io.IOException