Uses of Class
org.checkerframework.checker.formatter.qual.ConversionCategory
-
Packages that use ConversionCategory Package Description org.checkerframework.checker.formatter.qual -
-
Uses of ConversionCategory in org.checkerframework.checker.formatter.qual
Methods in org.checkerframework.checker.formatter.qual that return ConversionCategory Modifier and Type Method Description static ConversionCategory
ConversionCategory. fromConversionChar(char c)
Converts a conversion character to a category.static ConversionCategory
ConversionCategory. intersect(ConversionCategory a, ConversionCategory b)
Returns the intersection of two categories.static ConversionCategory
ConversionCategory. union(ConversionCategory a, ConversionCategory b)
Returns the union of two categories.ConversionCategory[]
value()
An array ofConversionCategory
, indicating the types of legal remaining arguments when a value of the annotated type is used as the first argument toFormatter.format
and similar methods.static ConversionCategory
ConversionCategory. valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static ConversionCategory[]
ConversionCategory. values()
Returns an array containing the constants of this enum type, in the order they are declared.Methods in org.checkerframework.checker.formatter.qual with parameters of type ConversionCategory Modifier and Type Method Description static ConversionCategory
ConversionCategory. intersect(ConversionCategory a, ConversionCategory b)
Returns the intersection of two categories.static boolean
ConversionCategory. isSubsetOf(ConversionCategory a, ConversionCategory b)
static ConversionCategory
ConversionCategory. union(ConversionCategory a, ConversionCategory b)
Returns the union of two categories.
-