Search Java Classes and Packages
Search Java Frameworks and Libraries
#Org.checkerframework.checker.javari Classes and Interfaces - 9 results found.
| Name | Description | Type | Package | Framework |
| Assignable | | Class | org.checkerframework.checker.javari.qual | Checker |
|
| JavariAnnotatedTypeFactory | Adds implicit and default Javari annotations, only if the user does not annotate the type explicitly. | Class | org.checkerframework.checker.javari | Checker |
|
| JavariChecker | An annotation processor that checks a program's use of the Javari type annotations (@ReadOnly, @Mutable, | Class | org.checkerframework.checker.javari | Checker |
|
| JavariVisitor | A type-checking visitor for the Javari mutability annotations (@ReadOnly, @Mutable and @Assignable) that | Class | org.checkerframework.checker.javari | 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 |
|
