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
-
- 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 Description ObligationAcquiredOrReleasedInLoopException(Obligation obligation)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Obligation
getObligation()
-
-
-
Constructor Detail
-
ObligationAcquiredOrReleasedInLoopException
public ObligationAcquiredOrReleasedInLoopException(Obligation obligation)
-
-
Method Detail
-
getObligation
public Obligation getObligation()
-
-