Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.checkerframework.checker.nullness.qual Classes and Interfaces - 17 results found.
NameDescriptionTypePackageFramework
AssertNonNullIfNonNullIndicates that if the method returns a non-null value, then the value expressions are also non-null.Classorg.checkerframework.checker.nullness.qualChecker
CovariantA marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly.Classorg.checkerframework.checker.nullness.qualChecker
EnsuresNonNullIndicates that the value expressions are non-null, if the method terminates successfully.Classorg.checkerframework.checker.nullness.qualChecker
EnsuresNonNullIfIndicates that the given expressions are non-null, if the method returns the given result (either true or false).Classorg.checkerframework.checker.nullness.qualChecker
KeyForIndicates that the value assigned to the annotated variable is a key for at least the given map(s).Classorg.checkerframework.checker.nullness.qualChecker
KeyForBottomClassorg.checkerframework.checker.nullness.qualChecker
LazyNonNullThis annotation is deprecated.Classorg.checkerframework.checker.nullness.qualChecker
MonotonicNonNullIndicates that a field (or variable) is lazily initialized to a non-null value.Classorg.checkerframework.checker.nullness.qualChecker
NonNullNonNull is a type annotation that indicates that an expression is For fields of a class, the NonNull annotation indicates that thisClassorg.checkerframework.checker.nullness.qualChecker
NonRawThis type qualifier belongs to the rawness initialization tracking type-system.Classorg.checkerframework.checker.nullness.qualChecker
NullableNullable is a type annotation that indicates that the value is not known to be non-null (see NonNull).Classorg.checkerframework.checker.nullness.qualChecker
PolyKeyForA polymorphic qualifier for the Map Key (@KeyFor) type system.Classorg.checkerframework.checker.nullness.qualChecker
PolyNullA polymorphic qualifier for the non-null type system.Classorg.checkerframework.checker.nullness.qualChecker
PolyRawA polymorphic qualifier for the Rawness type system.Classorg.checkerframework.checker.nullness.qualChecker
RawThis type qualifier belongs to the rawness type-system for tracking initialization.Classorg.checkerframework.checker.nullness.qualChecker
RequiresNonNullIndicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.Classorg.checkerframework.checker.nullness.qualChecker
UnknownKeyForUsed internally by the type system; should never be written by a programmer.Classorg.checkerframework.checker.nullness.qualChecker