org.checkerframework.checker.javari.qual

Annotation Type ThisMutable

@Target(value={})
 @SubtypeOf(value=ReadOnly.class)
 @DefaultFor(value=FIELD)
public @interface ThisMutable

An annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type in the Javari typesystem.

This annotation may not be written in source code; it is an implementation detail of the checker.

See the Checker Framework Manual:

Javari Checker