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

Constructors

Constructor and Description
ObligationAcquiredOrReleasedInLoopException(Obligation obligation)

Method Summary

Methods

Modifier and Type	Method and Description
Obligation	getObligation()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, 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()