Class 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.
    • 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 class java.lang.Object