Uses of Class
org.checkerframework.framework.qual.TypeKind
-
Packages that use TypeKind Package Description org.checkerframework.framework.qual Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers). -
-
Uses of TypeKind in org.checkerframework.framework.qual
Methods in org.checkerframework.framework.qual that return TypeKind Modifier and Type Method Description TypeKind[]
typeKinds()
ReturnsTypeKind
s of types for which an annotation should be implicitly added.TypeKind[]
typeKinds()
ReturnsTypeKind
s of types that get an upper bound.static TypeKind
TypeKind. valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static TypeKind[]
TypeKind. values()
Returns an array containing the constants of this enum type, in the order they are declared.
-