Class ResourceLeakAnnotatedTypeFactory

All Implemented Interfaces:
CreatesMustCallForElementSupplier, AnnotationProvider

public class ResourceLeakAnnotatedTypeFactory extends CalledMethodsAnnotatedTypeFactory implements CreatesMustCallForElementSupplier
The type factory for the Resource Leak Checker. The main difference between this and the Called Methods type factory from which it is derived is that this version's postAnalyze(ControlFlowGraph) method checks that must-call obligations are fulfilled.