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	CHECKER_QUAL_PATH_OPT	"-checkerQualJar"
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