Package org.checkerframework.checker.javari.qual

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.
Mutable	Indicates that, for the variable on which this annotation appears, the object to which this variable refers can be modified via this reference, except its fields explicitly marked as ReadOnly.
PolyRead	Specifies the allowed mutabilities of a method's return value or the arguments, based on the mutability type of the arguments and the receiver at a method invocation.
QReadOnly	Indicates that the annotated type behaves as the most restrictive of ReadOnly and Mutable: only Mutable can be assigned to it, and it can only be assigned to ReadOnly.
ReadOnly	Indicates that, for the variable on which this annotation appears, the object to which this variable refers will not be modified via this reference, except its fields explicitly marked as Mutable.
ThisMutable	An annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type in the Javari typesystem.