checkers.igj.quals
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.

checker.framework.manual

#igj-checker IGJ Checker