edu.umd.cs.findbugs.ba.obl
Class ObligationAcquiredOrReleasedInLoopException

java.lang.Object
  java.lang.Throwable
      java.lang.Exception
          edu.umd.cs.findbugs.classfile.CheckedAnalysisException
              edu.umd.cs.findbugs.ba.DataflowAnalysisException
                  edu.umd.cs.findbugs.ba.obl.ObligationAcquiredOrReleasedInLoopException

All Implemented Interfaces:

java.io.Serializable

public class ObligationAcquiredOrReleasedInLoopException
extends DataflowAnalysisException

Exception to indicate that ObligationAnalysis has detected a situation in which an obligation is either acquired or released inside a loop.

Author:

David Hovemeyer

See Also:

Serialized Form

Constructor Summary

ObligationAcquiredOrReleasedInLoopException(Obligation obligation)

Method Summary

Obligation

getObligation()

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

Constructor Detail

ObligationAcquiredOrReleasedInLoopException

public ObligationAcquiredOrReleasedInLoopException(Obligation obligation)

Method Detail

getObligation

public Obligation getObligation()