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

Class State

java.lang.Object

edu.umd.cs.findbugs.ba.obl.State

public class State
extends 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

Constructor Summary

Constructors

Constructor	Description
State(ObligationFactory factory)

Method Summary

Modifier and Type	Method	Description
State	duplicate()
boolean	equals(Object o)
ObligationSet	getObligationSet()
Path	getPath()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

State

public State(ObligationFactory factory)

Method Details

getObligationSet

public ObligationSet getObligationSet()

Returns:

Returns the obligationSet.

getPath

public Path getPath()

Returns:

Returns the path.

duplicate

public State duplicate()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object