Class FindUnsatisfiedObligation.PossibleObligationTransfer

java.lang.Object
edu.umd.cs.findbugs.detect.FindUnsatisfiedObligation.PossibleObligationTransfer
Enclosing class:
FindUnsatisfiedObligation
private static class FindUnsatisfiedObligation.PossibleObligationTransfer extends Object
Helper class to keep track of possible obligation transfers observed along paths where an obligation appears to be leaked.

  • Field Details

  • Constructor Details

    • PossibleObligationTransfer

      public PossibleObligationTransfer(@Nonnull Obligation consumed, @Nonnull Obligation produced)

  • Method Details

    • 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 String toString()
      Overrides:
      toString in class Object