Class State


  • public class State
    extends java.lang.Object
    Error-handling obligation analysis state. This is a set of obligations and a program path on which they are outstanding (not cleaned up).

    See Weimer and Necula, Finding and preventing run-time error handling mistakes, OOPSLA 2004.

    Author:
    David Hovemeyer
    • Method Detail

      • getObligationSet

        public ObligationSet getObligationSet()
        Returns:
        Returns the obligationSet.
      • getPath

        public Path getPath()
        Returns:
        Returns the path.
      • duplicate

        public State duplicate()
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object