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:

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

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

fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, 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