Package edu.umd.cs.findbugs.detect
Class FindUnsatisfiedObligation.PossibleObligationTransfer
java.lang.Object
edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation.PossibleObligationTransfer
- Enclosing class:
FindUnsatisfiedObligation
Helper class to keep track of possible obligation transfers observed
along paths where an obligation appears to be leaked.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
consumed
Obligation consumed -
produced
Obligation produced
-
-
Constructor Details
-
PossibleObligationTransfer
-
-
Method Details