Class Summary |
Obligation |
An obligation that must be cleaned up by error handling code. |
ObligationAnalysis |
Dataflow analysis to track obligations (i/o streams and other
resources which must be closed). |
ObligationFactory |
Factory for Obligation and ObligationSet objects to be
used in an instance of ObligationAnalysis. |
ObligationSet |
A multiset of obligations that must be cleaned up by
error-handling code. |
Path |
A Path is a sequence of program statements. |
PolicyDatabase |
Policy database which defines which methods create and remove
obligations. |
State |
Error-handling obligation analysis state. |
StateSet |
A dataflow fact used in ObligationAnalysis. |