Uses of Class
org.checkerframework.dataflow.qual.Pure.Kind
-
Packages that use Pure.Kind Package Description org.checkerframework.dataflow.qual -
-
Uses of Pure.Kind in org.checkerframework.dataflow.qual
Methods in org.checkerframework.dataflow.qual that return Pure.Kind Modifier and Type Method Description static Pure.Kind
Pure.Kind. valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static Pure.Kind[]
Pure.Kind. values()
Returns an array containing the constants of this enum type, in the order they are declared.
-