org.checkerframework.checker.calledmethods.qual

Annotation Types

• CalledMethods
• CalledMethodsBottom
• CalledMethodsPredicate
• EnsuresCalledMethods
• EnsuresCalledMethods.List
• EnsuresCalledMethodsIf
• EnsuresCalledMethodsIf.List
• EnsuresCalledMethodsVarArgs
• RequiresCalledMethods
• RequiresCalledMethods.List