@CalledMethods({"m1", "m2"}), then methods m1 and
m2 have 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"})| Modifier and Type | Method and Description |
|---|---|
| public String[] | Returns: methods that have definitely been calledMethods that have definitely been called on the expression whose type is annotated. |
| value | back to summary |
|---|---|
| public String[] value() Methods that have definitely been called on the expression whose type is annotated.
| |