Uses of Class
org.checkerframework.framework.qual.TypeUseLocation
-
Packages that use TypeUseLocation 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 TypeUseLocation in org.checkerframework.framework.qual
Methods in org.checkerframework.framework.qual that return TypeUseLocation Modifier and Type Method Description TypeUseLocation[]
locations()
Returns the locations to which the annotation should be applied.TypeUseLocation[]
value()
Returns the locations to which the annotation should be applied.TypeUseLocation[]
value()
Type uses at which the qualifier is permitted to be written in source code.static TypeUseLocation
TypeUseLocation. valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static TypeUseLocation[]
TypeUseLocation. values()
Returns an array containing the constants of this enum type, in the order they are declared.
-