Annotation Interface MaybeReplaceable
@Documented
@Retention(RUNTIME)
@Target({TYPE_USE,TYPE_PARAMETER})
@SubtypeOf({})
@DefaultQualifierInHierarchy
public @interface MaybeReplaceable
The top qualifier in the Replace hierarchy. The collection may or may not support replace
operations such as
set and replaceAll. The checker conservatively issues an error
wherever a replace operation is called on a @MaybeReplaceable expression.
This is the default qualifier for unannotated types in the Replace hierarchy.
- See the Checker Framework Manual:
- Modifiability Checker