Enum DiagnosticKind
- java.lang.Object
-
- java.lang.Enum<DiagnosticKind>
-
- org.checkerframework.framework.test.diagnostics.DiagnosticKind
-
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Comparable<DiagnosticKind>
public enum DiagnosticKind extends java.lang.Enum<DiagnosticKind>
The kinds of errors that can be encountered during typechecking.
-
-
Field Summary
Fields Modifier and Type Field Description java.lang.String
parseString
How this DiagnosticKind appears in error messages or source code.
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static @Nullable DiagnosticKind
fromParseString(java.lang.String parseStr)
Convert a string as it would appear in error messages or source code into a DiagnosticKind.static DiagnosticKind
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.static DiagnosticKind[]
values()
Returns an array containing the constants of this enum type, in the order they are declared.
-
-
-
Enum Constant Detail
-
Warning
public static final DiagnosticKind Warning
A warning.
-
Error
public static final DiagnosticKind Error
An error.
-
JSpecify
public static final DiagnosticKind JSpecify
A JSpecify diagnostic.
-
Other
public static final DiagnosticKind Other
Something else.
-
-
Method Detail
-
values
public static DiagnosticKind[] 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 (DiagnosticKind c : DiagnosticKind.values()) System.out.println(c);
- Returns:
- an array containing the constants of this enum type, in the order they are declared
-
valueOf
public static DiagnosticKind 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
-
fromParseString
public static @Nullable DiagnosticKind fromParseString(java.lang.String parseStr)
Convert a string as it would appear in error messages or source code into a DiagnosticKind.
-
-