Package org.checkerframework.checker.rlccalledmethods
package org.checkerframework.checker.rlccalledmethods
-
ClassesClassDescriptionThis variant of CFAnalysis extends the set of ignored exception types.The type factory for the RLCCalledMethodsChecker.The entry point for the RLCCalledMethodsChecker.The transfer function for the resource-leak extension to the called-methods type system.The visitor for the Resource Leak Checker.