org.checkerframework.checker.oigj.qual

Annotation Type Assignable

@Documented
 @Retention(value=RUNTIME)
 @Target(value=FIELD)
public @interface Assignable

Indicates the annotated Field may be re-assigned regardless of the immutability of the enclosing class or object instance.

See the Checker Framework Manual:

OIGJ Checker