Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
NOT_EFFECTIVELY_FINAL |
"lock expression is not effectively final" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final boolean |
LINT_DEFAULT_NOINITFORMONOTONICNONNULL |
false |
public static final boolean |
LINT_DEFAULT_REDUNDANTNULLCOMPARISON |
false |
public static final java.lang.String |
LINT_NOINITFORMONOTONICNONNULL |
"noInitForMonotonicNonNull" |
public static final java.lang.String |
LINT_REDUNDANTNULLCOMPARISON |
"redundantNullComparison" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final @A int |
A |
1 |
public static final @C int |
C |
1 |
public static final @cd int |
cd |
1 |
public static final @degrees double |
deg |
1.0 |
public static final @g int |
g |
1 |
public static final @h int |
h |
1 |
public static final @K int |
K |
1 |
public static final @kg int |
kg |
1 |
public static final @km int |
km |
1 |
public static final @km2 int |
km2 |
1 |
public static final @kmPERh int |
kmPERh |
1 |
public static final @m int |
m |
1 |
public static final @m2 int |
m2 |
1 |
public static final @min int |
min |
1 |
public static final @mm int |
mm |
1 |
public static final @mm2 int |
mm2 |
1 |
public static final @mol int |
mol |
1 |
public static final @mPERs int |
mPERs |
1 |
public static final @mPERs2 int |
mPERs2 |
1 |
public static final @radians double |
rad |
1.0 |
public static final @s int |
s |
1 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
MSG_PREFEX_REFLECTION |
"[Reflection] " |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
INIT |
"<init>" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final int |
MAX_VALUES |
10 |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
IGNORE_RANGE_OVERFLOW |
"ignoreRangeOverflow" |
public static final java.lang.String |
REPORT_EVAL_WARNS |
"reportEvalWarns" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DETAILS_SEPARATOR |
" $$ " |
protected static final java.lang.String |
MSGS_FILE |
"messages.properties" |
protected static final java.lang.String |
SUPPRESS_ALL_KEY |
"all" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
TESTS_OUTPUTDIR |
"tests.outputDir" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
DIAGNOSTIC_FILE_REGEX |
".+\\.java:(\\d+):\\s*(error|fixable-error|warning|other):\\s*(\\(?.*\\)?)\\s*" |
public static final java.lang.String |
DIAGNOSTIC_FILE_WARNING_REGEX |
".+\\.java:(\\d+):\\s*warning:\\s*(.*\\s*.*)\\s*" |
public static final java.lang.String |
DIAGNOSTIC_IN_JAVA_REGEX |
"\\s*(error|fixable-error|warning|other):\\s*(\\(?.*\\)?)\\s*" |
public static final java.lang.String |
DIAGNOSTIC_REGEX |
":(\\d+):\\s*(error|fixable-error|warning|other):\\s*(\\(?.*\\)?)\\s*" |
public static final java.lang.String |
DIAGNOSTIC_WARNING_IN_JAVA_REGEX |
"\\s*warning:\\s*(.*\\s*.*)\\s*" |
public static final java.lang.String |
DIAGNOSTIC_WARNING_REGEX |
":(\\d+):\\s*warning:\\s*(.*\\s*.*)\\s*" |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
CHECKER_BASE_PACKAGE |
"org.checkerframework.checker" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
BLOCK_SIZE |
1024 |
Modifier and Type | Constant Field | Value |
---|---|---|
protected static final java.lang.String |
identifierRegex |
"[a-zA-Z_$][a-zA-Z_$0-9]*" |
protected static final java.lang.String |
parameterRegex |
"#([1-9][0-9]*)" |
protected static final java.lang.String |
stringRegex |
"\"(?:[^\"\\\\]|\\\\.)*\"" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final java.lang.String |
JAVAC_PATH_OPT |
"-javacJar" |
public static final java.lang.String |
JDK_PATH_OPT |
"-jdkJar" |
Modifier and Type | Constant Field | Value |
---|---|---|
public static final int |
SUPERCLASS_INDEX |
-1 |