Constant Field Values

Contents

• org.checkerframework.*

org.checkerframework.*

org.checkerframework.checker.lock.LockAnnotatedTypeFactory

Modifier and Type	Constant Field	Value
public static final String	NOT_EFFECTIVELY_FINAL	"lock expression is not effectively final"

org.checkerframework.checker.nullness.AbstractNullnessChecker

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 String	LINT_NOINITFORMONOTONICNONNULL	"noInitForMonotonicNonNull"
public static final String	LINT_REDUNDANTNULLCOMPARISON	"redundantNullComparison"

org.checkerframework.checker.units.UnitsTools

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

org.checkerframework.common.reflection.DefaultReflectionResolver

Modifier and Type	Constant Field	Value
public static final String	MSG_PREFEX_REFLECTION	"[Reflection] "

org.checkerframework.common.reflection.ReflectionResolver

Modifier and Type	Constant Field	Value
public static final String	INIT	"<init>"

org.checkerframework.common.value.ValueAnnotatedTypeFactory

Modifier and Type	Constant Field	Value
protected static final int	MAX_VALUES	10

org.checkerframework.common.value.ValueChecker

Modifier and Type	Constant Field	Value
public static final String	IGNORE_RANGE_OVERFLOW	"ignoreRangeOverflow"
public static final String	REPORT_EVAL_WARNS	"reportEvalWarns"

org.checkerframework.framework.source.SourceChecker

Modifier and Type	Constant Field	Value
public static final String	DETAILS_SEPARATOR	" $$ "
protected static final String	MSGS_FILE	"messages.properties"
protected static final String	SUPPRESS_ALL_KEY	"all"

org.checkerframework.framework.test.TestConfigurationBuilder

Modifier and Type	Constant Field	Value
public static final String	TESTS_OUTPUTDIR	"tests.outputDir"

org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils

Modifier and Type	Constant Field	Value
public static final String	DIAGNOSTIC_FILE_REGEX	".+\\.java:(\\d+):\\s*(error|fixable-error|warning|other):\\s*(\\(?.*\\)?)\\s*"
public static final String	DIAGNOSTIC_FILE_WARNING_REGEX	".+\\.java:(\\d+):\\s*warning:\\s*(.*\\s*.*)\\s*"
public static final String	DIAGNOSTIC_IN_JAVA_REGEX	"\\s*(error|fixable-error|warning|other):\\s*(\\(?.*\\)?)\\s*"
public static final String	DIAGNOSTIC_REGEX	":(\\d+):\\s*(error|fixable-error|warning|other):\\s*(\\(?.*\\)?)\\s*"
public static final String	DIAGNOSTIC_WARNING_IN_JAVA_REGEX	"\\s*warning:\\s*(.*\\s*.*)\\s*"
public static final String	DIAGNOSTIC_WARNING_REGEX	":(\\d+):\\s*warning:\\s*(.*\\s*.*)\\s*"

org.checkerframework.framework.util.CheckerMain

Modifier and Type	Constant Field	Value
protected static final String	CHECKER_BASE_PACKAGE	"org.checkerframework.checker"

org.checkerframework.framework.util.ExecUtil

Modifier and Type	Constant Field	Value
public static final int	BLOCK_SIZE	1024

org.checkerframework.framework.util.FlowExpressionParseUtil

Modifier and Type	Constant Field	Value
protected static final String	identifierRegex	"[a-zA-Z_$][a-zA-Z_$0-9]*"
protected static final String	parameterRegex	"#([1-9][0-9]*)"
protected static final String	stringRegex	"\"(?:[^\"\\\\]|\\\\.)*\""

org.checkerframework.framework.util.PluginUtil

Modifier and Type	Constant Field	Value
public static final String	JAVAC_PATH_OPT	"-javacJar"
public static final String	JDK_PATH_OPT	"-jdkJar"

org.checkerframework.framework.util.element.TypeDeclarationApplier

Modifier and Type	Constant Field	Value
public static final int	SUPERCLASS_INDEX	-1

org.checkerframework.stubparser.ASTParserConstants

Modifier and Type	Constant Field	Value
public static final int	_DEFAULT	23
public static final int	ABSTRACT	12
public static final int	ANDASSIGN	117
public static final int	ASSERT	13
public static final int	ASSIGN	90
public static final int	AT	89
public static final int	BANG	92
public static final int	BIT_AND	108
public static final int	BIT_OR	109
public static final int	BOOLEAN	14
public static final int	BREAK	15
public static final int	BYTE	16
public static final int	CASE	17
public static final int	CATCH	18
public static final int	CHAR	19
public static final int	CHARACTER_LITERAL	75
public static final int	CLASS	20
public static final int	COLON	95
public static final int	COMMA	87
public static final int	CONST	21
public static final int	CONTINUE	22
public static final int	DECIMAL_EXPONENT	72
public static final int	DECIMAL_FLOATING_POINT_LITERAL	71
public static final int	DECIMAL_LITERAL	67
public static final int	DECR	103
public static final int	DEFAULT	0
public static final int	DO	24
public static final int	DOT	88
public static final int	DOUBLE	25
public static final int	ELLIPSIS	124
public static final int	ELSE	26
public static final int	ENUM	27
public static final int	EOF	0
public static final int	EQ	96
public static final int	EXTENDS	28
public static final int	FALSE	29
public static final int	FINAL	30
public static final int	FINALLY	31
public static final int	FLOAT	32
public static final int	FLOATING_POINT_LITERAL	70
public static final int	FOR	33
public static final int	GE	98
public static final int	GOTO	34
public static final int	GT	127
public static final int	HEX_LITERAL	68
public static final int	HEXADECIMAL_EXPONENT	74
public static final int	HEXADECIMAL_FLOATING_POINT_LITERAL	73
public static final int	HOOK	94
public static final int	IDENTIFIER	77
public static final int	IF	35
public static final int	IMPLEMENTS	36
public static final int	IMPORT	37
public static final int	IN_JAVA_DOC_COMMENT	1
public static final int	IN_MULTI_LINE_COMMENT	2
public static final int	INCR	102
public static final int	INSTANCEOF	38
public static final int	INT	39
public static final int	INTEGER_LITERAL	66
public static final int	INTERFACE	40
public static final int	JAVA_DOC_COMMENT	9
public static final int	LBRACE	82
public static final int	LBRACKET	84
public static final int	LE	97
public static final int	LETTER	78
public static final int	LONG	41
public static final int	LONG_LITERAL	65
public static final int	LPAREN	80
public static final int	LSHIFT	112
public static final int	LSHIFTASSIGN	121
public static final int	LT	91
public static final int	MINUS	105
public static final int	MINUSASSIGN	114
public static final int	MULTI_LINE_COMMENT	10
public static final int	NATIVE	42
public static final int	NE	99
public static final int	NEW	43
public static final int	NULL	44
public static final int	OCTAL_LITERAL	69
public static final int	ORASSIGN	118
public static final int	PACKAGE	45
public static final int	PART_LETTER	79
public static final int	PLUS	104
public static final int	PLUSASSIGN	113
public static final int	PRIVATE	46
public static final int	PROTECTED	47
public static final int	PUBLIC	48
public static final int	RBRACE	83
public static final int	RBRACKET	85
public static final int	REM	111
public static final int	REMASSIGN	120
public static final int	RETURN	49
public static final int	RPAREN	81
public static final int	RSIGNEDSHIFT	126
public static final int	RSIGNEDSHIFTASSIGN	122
public static final int	RUNSIGNEDSHIFT	125
public static final int	RUNSIGNEDSHIFTASSIGN	123
public static final int	SC_AND	101
public static final int	SC_OR	100
public static final int	SEMICOLON	86
public static final int	SHORT	50
public static final int	SINGLE_LINE_COMMENT	6
public static final int	SLASH	107
public static final int	SLASHASSIGN	116
public static final int	STAR	106
public static final int	STARASSIGN	115
public static final int	STATIC	51
public static final int	STRICTFP	52
public static final int	STRING_LITERAL	76
public static final int	SUPER	53
public static final int	SWITCH	54
public static final int	SYNCHRONIZED	55
public static final int	THIS	56
public static final int	THROW	57
public static final int	THROWS	58
public static final int	TILDE	93
public static final int	TRANSIENT	59
public static final int	TRUE	60
public static final int	TRY	61
public static final int	VOID	62
public static final int	VOLATILE	63
public static final int	WHILE	64
public static final int	XOR	110
public static final int	XORASSIGN	119

org.checkerframework.stubparser.JavaCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

org.checkerframework.stubparser.ast.body.ModifierSet

Modifier and Type	Constant Field	Value
public static final int	ABSTRACT	1024
public static final int	FINAL	16
public static final int	NATIVE	256
public static final int	PRIVATE	2
public static final int	PROTECTED	4
public static final int	PUBLIC	1
public static final int	STATIC	8
public static final int	STRICTFP	2048
public static final int	SYNCHRONIZED	32
public static final int	TRANSIENT	128
public static final int	VOLATILE	64

org.checkerframework.stubparser.ast.expr.IntegerLiteralExpr

Modifier and Type	Constant Field	Value
protected static final String	MIN_VALUE	"-2147483648"

org.checkerframework.stubparser.ast.expr.LongLiteralExpr

Modifier and Type	Constant Field	Value
protected static final String	MIN_VALUE	"-9223372036854775808L"