org.checkerframework.checker.calledmethods

Classes

• CalledMethodsAnalysis
• CalledMethodsAnnotatedTypeFactory
• CalledMethodsChecker
• CalledMethodsTransfer
• CalledMethodsVisitor