Package edu.umd.cs.findbugs.detect
Class FindUnsatisfiedObligation.PossibleObligationTransfer
- java.lang.Object
-
- edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation.PossibleObligationTransfer
-
- Enclosing class:
- FindUnsatisfiedObligation
private static class FindUnsatisfiedObligation.PossibleObligationTransfer extends java.lang.Object
Helper class to keep track of possible obligation transfers observed along paths where an obligation appears to be leaked.
-
-
Field Summary
Fields Modifier and Type Field Description (package private) Obligation
consumed
(package private) Obligation
produced
-
Constructor Summary
Constructors Constructor Description PossibleObligationTransfer(Obligation consumed, Obligation produced)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private boolean
balanced(State state)
Determine whether the state has "balanced" obligation counts for the consumed and produced Obligation types.private boolean
matches(Obligation possiblyLeakedObligation)
java.lang.String
toString()
-
-
-
Field Detail
-
consumed
Obligation consumed
-
produced
Obligation produced
-
-
Constructor Detail
-
PossibleObligationTransfer
public PossibleObligationTransfer(@Nonnull Obligation consumed, @Nonnull Obligation produced)
-
-
Method Detail
-
balanced
private boolean balanced(State state)
Determine whether the state has "balanced" obligation counts for the consumed and produced Obligation types.- Parameters:
state
- a State- Returns:
- true if the obligation counts are balanced, false otherwise
-
matches
private boolean matches(Obligation possiblyLeakedObligation)
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-