Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.checkerframework.checker.javari Classes and Interfaces - 9 results found.
NameDescriptionTypePackageFramework
AssignableClassorg.checkerframework.checker.javari.qualChecker
JavariAnnotatedTypeFactoryAdds implicit and default Javari annotations, only if the user does not annotate the type explicitly.Classorg.checkerframework.checker.javariChecker
JavariCheckerAn annotation processor that checks a program's use of the Javari type annotations (@ReadOnly, @Mutable,Classorg.checkerframework.checker.javariChecker
JavariVisitorA type-checking visitor for the Javari mutability annotations (@ReadOnly, @Mutable and @Assignable) thatClassorg.checkerframework.checker.javariChecker
MutableIndicates that, for the variable on which this annotation appears, the object to which this variable refers can be modified via thisClassorg.checkerframework.checker.javari.qualChecker
PolyReadSpecifies 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 methodClassorg.checkerframework.checker.javari.qualChecker
QReadOnlyIndicates that the annotated type behaves as the most restrictive of ReadOnly and Mutable: only Mutable can be assignedClassorg.checkerframework.checker.javari.qualChecker
ReadOnlyIndicates that, for the variable on which this annotation appears, the object to which this variable refers will not be modified viaClassorg.checkerframework.checker.javari.qualChecker
ThisMutableAn annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type in the Javari typesystem.Classorg.checkerframework.checker.javari.qualChecker