edu.umd.cs.findbugs.ba.obl

Class State

java.lang.Object

edu.umd.cs.findbugs.ba.obl.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

Constructor Summary

Constructors

Constructor and Description
State(ObligationFactory factory)

Method Summary

Methods

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

Methods inherited from class java.lang.Object

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

Constructor Detail

State

public State(ObligationFactory factory)

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