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 |