Package org.checkerframework.checker.resourceleak

package org.checkerframework.checker.resourceleak

Class	Description
MustCallConsistencyAnalyzer	An analyzer that checks consistency of MustCall and CalledMethods types, thereby detecting resource leaks.
MustCallConsistencyAnalyzer.MethodExitKind	A description for how a method might exit.
MustCallInference	This class implements the annotation inference algorithm for the Resource Leak Checker.
ResourceLeakChecker	The entry point for the Resource Leak Checker.
ResourceLeakUtils	Collection of static utility functions related to the various (sub-) checkers within the ResourceLeakChecker.
SetOfTypes	A set of types.