Package org.checkerframework.checker.resourceleak
package org.checkerframework.checker.resourceleak
-
ClassDescriptionAn analyzer that checks consistency of
MustCall
andCalledMethods
types, thereby detecting resource leaks.A description for how a method might exit.This class implements the annotation inference algorithm for the Resource Leak Checker.The entry point for the Resource Leak Checker.Collection of static utility functions related to the various (sub-) checkers within the ResourceLeakChecker.A set of types.