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
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
State
public State(ObligationFactory factory)
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™ is licenced under the LGPL. Copyright © 2006 University of Maryland.