org.checkerframework.checker.resourceleak

Classes

• ResourceLeakAnnotatedTypeFactory
• ResourceLeakChecker
• ResourceLeakTransfer
• ResourceLeakVisitor