Package 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

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

Constructors

Constructor	Description
ObligationAcquiredOrReleasedInLoopException(Obligation obligation)

Method Summary

Modifier and Type	Method	Description
Obligation	getObligation()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Constructor Detail

ObligationAcquiredOrReleasedInLoopException

public ObligationAcquiredOrReleasedInLoopException(Obligation obligation)

Method Detail

getObligation

public Obligation getObligation()