org.checkerframework.checker.igj.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.

This annotation is part of the IGJ language.

See the Checker Framework Manual:

IGJ Checker