Uses of Class
edu.umd.cs.findbugs.ba.obl.Obligation

Packages that use Obligation

Package	Description
edu.umd.cs.findbugs.ba.obl	Implementation of dataflow analysis for checking whether obligations to close streams and other resources (e.g., database objects) are satisfied.
edu.umd.cs.findbugs.detect

Uses of Obligation in edu.umd.cs.findbugs.ba.obl

Fields in edu.umd.cs.findbugs.ba.obl declared as Obligation

Modifier and Type	Field	Description
private Obligation	ObligationAcquiredOrReleasedInLoopException.obligation
private Obligation	ObligationPolicyDatabaseAction.obligation
private Obligation[]	MatchMethodEntry.obligations

Fields in edu.umd.cs.findbugs.ba.obl with type parameters of type Obligation

Modifier and Type	Field	Description
private java.util.HashSet<Obligation>	ObligationPolicyDatabase.allObligations
private java.util.Map<java.lang.String,Obligation>	ObligationFactory.classNameToObligationMap

Methods in edu.umd.cs.findbugs.ba.obl that return Obligation

Modifier and Type	Method	Description
Obligation	ObligationFactory.addObligation(java.lang.String className)
private Obligation	ObligationAnalysis.comparesObligationTypeToNull(Edge edge)
Obligation	ObligationAcquiredOrReleasedInLoopException.getObligation()
Obligation	ObligationPolicyDatabaseAction.getObligation()
Obligation	ObligationFactory.getObligationById(int id)
Obligation	ObligationFactory.getObligationByName(java.lang.String className)
Obligation	ObligationFactory.getObligationByType(ClassDescriptor classDescriptor)	Look up an Obligation by type.
Obligation	ObligationFactory.getObligationByType(org.apache.bcel.generic.ObjectType type)	Look up an Obligation by type.
Obligation[]	ObligationFactory.getParameterObligationTypes(XMethod xmethod)	Get array of Obligation types corresponding to the parameters of the given method.

Methods in edu.umd.cs.findbugs.ba.obl that return types with arguments of type Obligation

Modifier and Type	Method	Description
java.util.Collection<Obligation>	MatchMethodEntry.getAllObligations()
java.util.Set<Obligation>	ObligationPolicyDatabase.getAllObligations()
java.util.Collection<Obligation>	ObligationPolicyDatabaseEntry.getAllObligations()
java.util.Iterator<Obligation>	ObligationFactory.obligationIterator()	Get an Iterator over known Obligation types.

Methods in edu.umd.cs.findbugs.ba.obl with parameters of type Obligation

Modifier and Type	Method	Description
void	ObligationSet.add(Obligation obligation)
void	StateSet.addObligation(Obligation obligation, int basicBlockId)	Add an obligation to every State in the StateSet.
ObligationPolicyDatabaseEntry	ObligationPolicyDatabase.addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType)	Add an appropriate policy database entry for parameters marked with the WillClose annotation.
boolean	InstructionActionCache.addsObligation(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation)
private void	StateSet.checkCircularity(State state, Obligation obligation, int basicBlockId)	Bail out of the analysis is an obligation is acquired or released in a loop.
void	StateSet.deleteObligation(Obligation obligation, int basicBlockId)	Remove an Obligation from every State in the StateSet.
boolean	InstructionActionCache.deletesObligation(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation)
private boolean	InstructionActionCache.hasAction(BasicBlock block, org.apache.bcel.generic.InstructionHandle handle, Obligation obligation, ObligationPolicyDatabaseActionType actionType)
void	ObligationSet.remove(Obligation obligation)

Constructors in edu.umd.cs.findbugs.ba.obl with parameters of type Obligation

Constructor	Description
MatchMethodEntry(XMethod xmethod, ObligationPolicyDatabaseActionType action, ObligationPolicyDatabaseEntryType entryType, Obligation... obligations)	Constructor.
MatchMethodEntry(MethodDescriptor method, ObligationPolicyDatabaseActionType action, ObligationPolicyDatabaseEntryType entryType, Obligation... obligations)
MatchMethodEntry(TypeMatcher receiverType, StringMatcher methodName, StringMatcher signature, boolean isStatic, ObligationPolicyDatabaseActionType action, ObligationPolicyDatabaseEntryType entryType, Obligation... obligations)	Constructor.
NonexistentObligationException(Obligation obligation)
ObligationAcquiredOrReleasedInLoopException(Obligation obligation)
ObligationPolicyDatabaseAction(ObligationPolicyDatabaseActionType actionType, Obligation obligation)

Uses of Obligation in edu.umd.cs.findbugs.detect

Fields in edu.umd.cs.findbugs.detect declared as Obligation

Modifier and Type	Field	Description
(package private) Obligation	FindUnsatisfiedObligation.PossibleObligationTransfer.consumed
(package private) Obligation	FindUnsatisfiedObligation.MethodChecker.PostProcessingPathVisitor.possiblyLeakedObligation
(package private) Obligation	FindUnsatisfiedObligation.PossibleObligationTransfer.produced

Methods in edu.umd.cs.findbugs.detect with parameters of type Obligation

Modifier and Type	Method	Description
private void	BuildObligationPolicyDatabase.addParameterDeletesObligationDatabaseEntry(XMethod xmethod, Obligation obligation, ObligationPolicyDatabaseEntryType entryType)	Add an appropriate policy database entry for parameters marked with the WillClose annotation.
private void	FindUnsatisfiedObligation.MethodChecker.annotateWarningWithSourceLineInformation(State state, Obligation obligation, BugInstance bugInstance)
private void	BuildObligationPolicyDatabase.handleWillCloseWhenClosed(XMethod xmethod, Obligation deletedObligation)	Handle a method with a WillCloseWhenClosed parameter annotation.
private boolean	FindUnsatisfiedObligation.PossibleObligationTransfer.matches(Obligation possiblyLeakedObligation)
private void	FindUnsatisfiedObligation.MethodChecker.reportPath(BugInstance bugInstance, Obligation obligation, State state)
private void	FindUnsatisfiedObligation.MethodChecker.reportWarning(Obligation obligation, State state, StateSet factAtExit)

Method parameters in edu.umd.cs.findbugs.detect with type arguments of type Obligation

Modifier and Type	Method	Description
private void	FindUnsatisfiedObligation.MethodChecker.checkStateForLeakedObligations(State state, java.util.Map<Obligation,State> leakedObligationMap)

Constructors in edu.umd.cs.findbugs.detect with parameters of type Obligation

Constructor	Description
PossibleObligationTransfer(Obligation consumed, Obligation produced)
PostProcessingPathVisitor(Obligation possiblyLeakedObligation, State state)