org.checkerframework.checker.objectconstruction.qual

Annotation Type CalledMethods

@Retention(value=RUNTIME)
 @Target(value={TYPE_USE,TYPE_PARAMETER})
 @SubtypeOf(value=CalledMethodsTop.class)
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"})

Optional Element Summary

Optional Elements

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

Element Detail

value

public abstract java.lang.String[] value

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

Returns:

methods that have been called

Default:

{}