FindBugs™ 1.3.9

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

java.lang.Object
  extended by 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
State(ObligationFactory factory)
           
 
Method Summary
 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

FindBugs™ 1.3.9

FindBugs™ is licenced under the LGPL. Copyright © 2006 University of Maryland.