Package org.checkerframework.checker.resourceleak

package org.checkerframework.checker.resourceleak

Class	Description
MustCallInference	This class implements the annotation inference algorithm for the Resource Leak Checker.
ResourceLeakAnalysis	This variant of CFAnalysis extends the set of ignored exception types.
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.
SetOfTypes	A set of types.