Enum TypeKind
- java.lang.Object
-
- java.lang.Enum<TypeKind>
-
- org.checkerframework.framework.qual.TypeKind
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<TypeKind>
public enum TypeKind extends java.lang.Enum<TypeKind>
Specifies kinds of types.These correspond to the constants in
TypeKind
. However, that enum is not available on Android and a warning is produced. So this enum is used instead.
-
-
Enum Constant Summary
Enum Constants Enum Constant Description ARRAY
Corresponds toTypeKind.ARRAY
types.BOOLEAN
Corresponds toTypeKind.BOOLEAN
types.BYTE
Corresponds toTypeKind.BYTE
types.CHAR
Corresponds toTypeKind.CHAR
types.DECLARED
Corresponds toTypeKind.DECLARED
types.DOUBLE
Corresponds toTypeKind.DOUBLE
types.ERROR
Corresponds toTypeKind.ERROR
types.EXECUTABLE
Corresponds toTypeKind.EXECUTABLE
types.FLOAT
Corresponds toTypeKind.FLOAT
types.INT
Corresponds toTypeKind.INT
types.INTERSECTION
Corresponds toTypeKind.INTERSECTION
types.LONG
Corresponds toTypeKind.LONG
types.NONE
Corresponds toTypeKind.NONE
types.NULL
Corresponds toTypeKind.NULL
types.OTHER
Corresponds toTypeKind.OTHER
types.PACKAGE
Corresponds toTypeKind.PACKAGE
types.SHORT
Corresponds toTypeKind.SHORT
types.TYPEVAR
Corresponds toTypeKind.TYPEVAR
types.UNION
Corresponds toTypeKind.UNION
types.VOID
Corresponds toTypeKind.VOID
types.WILDCARD
Corresponds toTypeKind.WILDCARD
types.
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static TypeKind
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static TypeKind[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
BOOLEAN
public static final TypeKind BOOLEAN
Corresponds toTypeKind.BOOLEAN
types.
-
BYTE
public static final TypeKind BYTE
Corresponds toTypeKind.BYTE
types.
-
SHORT
public static final TypeKind SHORT
Corresponds toTypeKind.SHORT
types.
-
INT
public static final TypeKind INT
Corresponds toTypeKind.INT
types.
-
LONG
public static final TypeKind LONG
Corresponds toTypeKind.LONG
types.
-
CHAR
public static final TypeKind CHAR
Corresponds toTypeKind.CHAR
types.
-
FLOAT
public static final TypeKind FLOAT
Corresponds toTypeKind.FLOAT
types.
-
DOUBLE
public static final TypeKind DOUBLE
Corresponds toTypeKind.DOUBLE
types.
-
VOID
public static final TypeKind VOID
Corresponds toTypeKind.VOID
types.
-
NONE
public static final TypeKind NONE
Corresponds toTypeKind.NONE
types.
-
NULL
public static final TypeKind NULL
Corresponds toTypeKind.NULL
types.
-
ARRAY
public static final TypeKind ARRAY
Corresponds toTypeKind.ARRAY
types.
-
DECLARED
public static final TypeKind DECLARED
Corresponds toTypeKind.DECLARED
types.
-
ERROR
public static final TypeKind ERROR
Corresponds toTypeKind.ERROR
types.
-
TYPEVAR
public static final TypeKind TYPEVAR
Corresponds toTypeKind.TYPEVAR
types.
-
WILDCARD
public static final TypeKind WILDCARD
Corresponds toTypeKind.WILDCARD
types.
-
PACKAGE
public static final TypeKind PACKAGE
Corresponds toTypeKind.PACKAGE
types.
-
EXECUTABLE
public static final TypeKind EXECUTABLE
Corresponds toTypeKind.EXECUTABLE
types.
-
OTHER
public static final TypeKind OTHER
Corresponds toTypeKind.OTHER
types.
-
UNION
public static final TypeKind UNION
Corresponds toTypeKind.UNION
types.
-
INTERSECTION
public static final TypeKind INTERSECTION
Corresponds toTypeKind.INTERSECTION
types.
-
-
Method Detail
-
values
public static TypeKind[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:for (TypeKind c : TypeKind.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static TypeKind valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)- Parameters:
name
- the name of the enum constant to be returned.- Returns:
- the enum constant with the specified name
- Throws:
java.lang.IllegalArgumentException
- if this enum type has no constant with the specified namejava.lang.NullPointerException
- if the argument is null
-
-