Package edu.umd.cs.findbugs.ba.obl

Class ObligationSet

java.lang.Object
edu.umd.cs.findbugs.ba.obl.ObligationSet
public class ObligationSet extends Object
A multiset of obligations that must be cleaned up by error-handling code.

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

Author:
David Hovemeyer

  • Constructor Details

  • Method Details

    • isEmpty

      public boolean isEmpty()

    • add

      public void add(Obligation obligation)

    • remove

      public void remove(Obligation obligation)

    • getCount

      public int getCount(int id)

    • equals

      public boolean equals(Object o)
      Overrides:
      equals in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • copyFrom

      public void copyFrom(ObligationSet other)

    • duplicate

      public ObligationSet duplicate()

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object