Package 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 Description State(ObligationFactory factory)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description State
duplicate()
boolean
equals(java.lang.Object o)
ObligationSet
getObligationSet()
Path
getPath()
int
hashCode()
java.lang.String
toString()
-
-
-
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 classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-