Class ObligationAcquiredOrReleasedInLoopException

  • All Implemented Interfaces:
    java.io.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:
    Serialized Form
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      Obligation getObligation()  
      • Methods inherited from class java.lang.Throwable

        addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
    • Constructor Detail

      • ObligationAcquiredOrReleasedInLoopException

        public ObligationAcquiredOrReleasedInLoopException​(Obligation obligation)
    • Method Detail

      • getObligation

        public Obligation getObligation()