Search Java Classes and Packages
#Org.checkerframework.checker.javari.qual Classes and Interfaces - 6 results found.
| Name | Description | Type | Package | Framework |
| Assignable | Class | org.checkerframework.checker.javari.qual | Checker | |
| Mutable | Indicates that, for the variable on which this annotation appears, the object to which this variable refers can be modified via this | Class | org.checkerframework.checker.javari.qual | Checker |
| 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 | Class | org.checkerframework.checker.javari.qual | Checker |
| QReadOnly | Indicates that the annotated type behaves as the most restrictive of ReadOnly and Mutable: only Mutable can be assigned | Class | org.checkerframework.checker.javari.qual | Checker |
| ReadOnly | Indicates that, for the variable on which this annotation appears, the object to which this variable refers will not be modified via | Class | org.checkerframework.checker.javari.qual | Checker |
| ThisMutable | An annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type in the Javari typesystem. | Class | org.checkerframework.checker.javari.qual | Checker |