Package checkers.igj.quals

Contains qualifiers for type annotations used by the IGJ checker.

See:
          Description

Annotation Types Summary
Annotation Type Description
Assignable Indicates the annotated Field may be re-assigned regardless of the immutability of the enclosing class or object instance.
AssignsFields Indicates that the annotated method could assigns (but not mutate) the fields of this object.
I Template annotation over IGJ Immutability annotations.
Immutable Indicates that the annotated reference is an immutable reference to an immutable object.
Mutable Indicates that the annotated reference is an immutable reference to an immutable object.
ReadOnly Indicates that the annotated reference is a ReadOnly reference.
 

Package checkers.igj.quals Description

Contains qualifiers for type annotations used by the IGJ checker.

See Also:
IGJChecker
See the Checker Framework manual:
IGJ Checker