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 ConversionCategoryConversionCategory. fromConversionChar(char c)Converts a conversion character to a category.static ConversionCategoryConversionCategory. intersect(ConversionCategory a, ConversionCategory b)Returns the intersection of two categories.static ConversionCategoryConversionCategory. 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.formatand similar methods.static ConversionCategoryConversionCategory. valueOf(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 ConversionCategoryConversionCategory. intersect(ConversionCategory a, ConversionCategory b)Returns the intersection of two categories.static booleanConversionCategory. isSubsetOf(ConversionCategory a, ConversionCategory b)static ConversionCategoryConversionCategory. union(ConversionCategory a, ConversionCategory b)Returns the union of two categories.
-