Class DataflowAnalysisException

All Implemented Interfaces:
Serializable
Direct Known Subclasses:
MissingClassException, ObligationAcquiredOrReleasedInLoopException

public class DataflowAnalysisException extends CheckedAnalysisException
Exception type to indicate a dataflow analysis failure.
See Also:
  • Constructor Details

    • DataflowAnalysisException

      public DataflowAnalysisException()
      Constructor.
    • DataflowAnalysisException

      public DataflowAnalysisException(String msg)
      Constructor.
      Parameters:
      msg - message describing the reason for the exception
    • DataflowAnalysisException

      public DataflowAnalysisException(String msg, Throwable cause)
      Constructor from message and another Throwable object.
      Parameters:
      msg - message describing the reason for the exception
      cause - a Throwable which is the cause of the exception
    • DataflowAnalysisException

      public DataflowAnalysisException(String message, org.apache.bcel.generic.MethodGen methodGen, org.apache.bcel.generic.InstructionHandle handle)
      Constructor from method and instruction.
      Parameters:
      message - reason for the error
      methodGen - the method
      handle - the instruction
    • DataflowAnalysisException

      public DataflowAnalysisException(String message, org.apache.bcel.generic.MethodGen methodGen, org.apache.bcel.generic.InstructionHandle handle, Throwable cause)
      Constructor from message, method and instruction, and Throwable object (cause).
      Parameters:
      message - reason for the error
      methodGen - the method
      handle - the instruction
      cause - a Throwable which is the cause of the exception