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 TypeUseLocationTypeUseLocation. valueOf(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.
-