edu.umd.cs.findbugs.ba.obl

Class ObligationSet

java.lang.Object

edu.umd.cs.findbugs.ba.obl.ObligationSet

public class ObligationSet
extends java.lang.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 Summary

Constructors

Constructor and Description
ObligationSet(ObligationFactory factory)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Obligation obligation)
void	copyFrom(ObligationSet other)
ObligationSet	duplicate()
boolean	equals(java.lang.Object o)
int	getCount(int id)
int	hashCode()
boolean	isEmpty()
void	remove(Obligation obligation)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ObligationSet

public ObligationSet(ObligationFactory factory)

Method Detail

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(java.lang.Object o)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

copyFrom

public void copyFrom(ObligationSet other)

duplicate

public ObligationSet duplicate()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object