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