Package org.checkerframework.checker.resourceleak
package org.checkerframework.checker.resourceleak
-
ClassDescriptionThis class contains the Resource Leak Checker's annotation inference algorithm.This variant of CFAnalysis extends the set of ignored exception types to include all those ignored by the
MustCallConsistencyAnalyzer
.The type factory for the Resource Leak Checker.The entry point for the Resource Leak Checker.The transfer function for the resource-leak extension to the called-methods type system.The visitor for the Resource Leak Checker.