org.checkerframework.checker.mustcall.qual

Annotation Type CreatesObligation.List

@Documented
 @Retention(value=RUNTIME)
 @Target(value=METHOD)
 @InheritedAnnotation
public static @interface CreatesObligation.List

A wrapper annotation that makes the CreatesObligation annotation repeatable.

Programmers generally do not need to write this. It is created by Java when a programmer writes more than one CreatesObligation annotation at the same location.

See the Checker Framework Manual:

Must Call Checker

Required Element Summary

Required Elements

Modifier and Type	Required Element and Description
CreatesObligation[]	value Return the repeatable annotations.

Element Detail

value

public abstract CreatesObligation[] value

Return the repeatable annotations.

Returns:

the repeatable annotations