Package edu.umd.cs.findbugs.ba.obl
Class State
java.lang.Object
edu.umd.cs.findbugs.ba.obl.State
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.
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
-
Field Details
-
obligationSet
-
path
-
-
Constructor Details
-
State
private State() -
State
-
-
Method Details