Class Obligation


  • public class Obligation
    extends java.lang.Object
    An obligation that must be cleaned up by error handling code. Examples include open streams and database connections.

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

    Author:
    David Hovemeyer
    • Constructor Detail

      • Obligation

        public Obligation​(@DottedClassName
                          java.lang.String className,
                          int id)
    • Method Detail

      • getType

        public org.apache.bcel.generic.ObjectType getType()
      • getId

        public int getId()
      • isUserObligationType

        public boolean isUserObligationType()
      • setUserObligationType

        public void setUserObligationType​(boolean userObligationType)
      • toString

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