- CalledMethods - Annotation Type in org.checkerframework.checker.objectconstruction.qual
-
If an expression has type @CalledMethods({"m1", "m2"}), then methods m1 and
m2 have definitely been called on its value.
- CalledMethodsBottom - Annotation Type in org.checkerframework.checker.objectconstruction.qual
-
The bottom type for the CalledMethods type system, a part of the object construction checker.
- CalledMethodsPredicate - Annotation Type in org.checkerframework.checker.objectconstruction.qual
-
This annotation represents a predicate on @CalledMethods annotations that must be true.
- CalledMethodsTop - Annotation Type in org.checkerframework.checker.objectconstruction.qual
-
The top qualifier in the Called Methods type hierarchy.