Package org.checkerframework.checker.rlccalledmethods

package org.checkerframework.checker.rlccalledmethods

Classes

Class	Description
RLCCalledMethodsAnalysis	This variant of CFAnalysis extends the set of ignored exception types.
RLCCalledMethodsAnnotatedTypeFactory	The type factory for the RLCCalledMethodsChecker.
RLCCalledMethodsChecker	The entry point for the RLCCalledMethodsChecker.
RLCCalledMethodsTransfer	The transfer function for the resource-leak extension to the called-methods type system.
RLCCalledMethodsVisitor	The visitor for the Resource Leak Checker.