org.checkerframework.checker.calledmethods.qual

Annotation Type CalledMethods

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value={})
 @DefaultQualifierInHierarchy
public @interface CalledMethods

If an expression has type @CalledMethods({"m1", "m2"}), then methods m1 and m2 have definitely been called on its value. Other methods might or might not have been called.

The subtyping relationship is:

 @CalledMethods({"m1", "m2", "m3"}) <: @CalledMethods({"m1", "m2"})

See the Checker Framework Manual:

Called Methods Checker

Optional Element Summary

Optional Elements

Modifier and Type	Optional Element and Description
String[]	value Methods that have definitely been called, on any expression whose type is annotated.

Element Detail

value

public abstract String[] value

Methods that have definitely been called, on any expression whose type is annotated.

Returns:

methods that have definitely been called

Default:

{}