| Class | Description |
|---|---|
| ResourceLeakAnnotatedTypeFactory |
The type factory for the Resource Leak Checker.
|
| ResourceLeakChecker |
The entry point for the Resource Leak Checker.
|
| ResourceLeakTransfer |
The transfer function for the resource-leak extension to the called-methods type system.
|
| ResourceLeakVisitor |
The visitor for the Resource Leak Checker.
|