| 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 assign (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 | |
| OIGJMutabilityBottom |
An annotation used to represent a place holder immutability type, that is a
subtype of all other types.
|
| ReadOnly |
Indicates that the annotated reference is a ReadOnly reference.
|
| WildCard | |
| World |