Class ObligationAcquiredOrReleasedInLoopException

All Implemented Interfaces:
Serializable

public class ObligationAcquiredOrReleasedInLoopException extends DataflowAnalysisException
Exception to indicate that ObligationAnalysis has detected a situation in which an obligation is either acquired or released inside a loop.
Author:
David Hovemeyer
See Also:
  • Constructor Details

    • ObligationAcquiredOrReleasedInLoopException

      public ObligationAcquiredOrReleasedInLoopException(Obligation obligation)
  • Method Details

    • getObligation

      public Obligation getObligation()