Annotation Type CalledMethods
-
@Retention(RUNTIME) @Target({TYPE_USE,TYPE_PARAMETER}) @SubtypeOf({}) @DefaultQualifierInHierarchy public @interface CalledMethods
If an expression has type@CalledMethods({"m1", "m2"}), then methodsm1andm2have definitely been called on its value. Other methods might or might not have been called. "Been called" is defined as having been invoked: a method has "been called" even if it might never return or might throw an exception.The subtyping relationship is:
@CalledMethods({"m1", "m2", "m3"}) <: @CalledMethods({"m1", "m2"})
-
-
Element Detail
-
value
String[] value
Methods that have definitely been called on the expression whose type is annotated.- Returns:
- methods that have definitely been called
- Default:
- {}
-
-