Class Analyzer.FailureException

    • 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