Package checkers.oigj.quals

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.
Dominator
I	Template annotation over IGJ Immutability annotations.
Immutable	Indicates that the annotated reference is an immutable reference to an immutable object.
Modifier
Mutable	Indicates that the annotated reference is an immutable reference to an immutable object.
O
ReadOnly	Indicates that the annotated reference is a ReadOnly reference.
WildCard
World