|
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. |