Constant Field Values

Contents

• org.checkerframework.*

org.checkerframework.*

org.checkerframework.checker.calledmethods.CalledMethodsChecker

Modifier and Type	Constant Field	Value
public static final String	COUNT_FRAMEWORK_BUILD_CALLS	"countFrameworkBuildCalls"
public static final String	DISABLE_BUILDER_FRAMEWORK_SUPPORTS	"disableBuilderFrameworkSupports"
public static final String	DISABLE_RETURNS_RECEIVER	"disableReturnsReceiver"
public static final String	USE_VALUE_CHECKER	"useValueChecker"

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.mustcall.MustCallChecker

Modifier and Type	Constant Field	Value
public static final String	NO_CREATES_MUSTCALLFOR	"noCreatesMustCallFor"
public static final String	NO_LIGHTWEIGHT_OWNERSHIP	"noLightweightOwnership"
public static final String	NO_RESOURCE_ALIASES	"noResourceAliases"

org.checkerframework.checker.nullness.NullnessChecker

Modifier and Type	Constant Field	Value
public static final boolean	LINT_DEFAULT_NOINITFORMONOTONICNONNULL	false
public static final boolean	LINT_DEFAULT_PERMITCLEARPROPERTY	false
public static final boolean	LINT_DEFAULT_REDUNDANTNULLCOMPARISON	false
public static final boolean	LINT_DEFAULT_TRUSTARRAYLENZERO	false
public static final String	LINT_NOINITFORMONOTONICNONNULL	"noInitForMonotonicNonNull"
public static final String	LINT_PERMITCLEARPROPERTY	"permitClearProperty"
public static final String	LINT_REDUNDANTNULLCOMPARISON	"redundantNullComparison"
public static final String	LINT_TRUSTARRAYLENZERO	"trustArrayLenZero"

org.checkerframework.checker.resourceleak.ResourceLeakChecker

Modifier and Type	Constant Field	Value
public static final String	COUNT_MUST_CALL	"countMustCall"
public static final String	ENABLE_WPI_FOR_RLC	"enableWpiForRlc"
public static final String	IGNORED_EXCEPTIONS	"resourceLeakIgnoredExceptions"

org.checkerframework.checker.units.util.UnitsTools

Modifier and Type	Constant Field	Value
public static final @org.checkerframework.checker.units.qual.A int	A	1
public static final @org.checkerframework.checker.units.qual.C int	C	1
public static final @org.checkerframework.checker.units.qual.cd int	cd	1
public static final @org.checkerframework.checker.units.qual.degrees double	deg	1.0
public static final @org.checkerframework.checker.units.qual.g int	g	1
public static final @org.checkerframework.checker.units.qual.h int	h	1
public static final @org.checkerframework.checker.units.qual.K int	K	1
public static final @org.checkerframework.checker.units.qual.kg int	kg	1
public static final @org.checkerframework.checker.units.qual.km int	km	1
public static final @org.checkerframework.checker.units.qual.km2 int	km2	1
public static final @org.checkerframework.checker.units.qual.km3 int	km3	1
public static final @org.checkerframework.checker.units.qual.kmPERh int	kmPERh	1
public static final @org.checkerframework.checker.units.qual.kN int	kN	1
public static final @org.checkerframework.checker.units.qual.m int	m	1
public static final @org.checkerframework.checker.units.qual.m2 int	m2	1
public static final @org.checkerframework.checker.units.qual.m3 int	m3	1
public static final @org.checkerframework.checker.units.qual.min int	min	1
public static final @org.checkerframework.checker.units.qual.mm int	mm	1
public static final @org.checkerframework.checker.units.qual.mm2 int	mm2	1
public static final @org.checkerframework.checker.units.qual.mm3 int	mm3	1
public static final @org.checkerframework.checker.units.qual.mol int	mol	1
public static final @org.checkerframework.checker.units.qual.mPERs int	mPERs	1
public static final @org.checkerframework.checker.units.qual.mPERs2 int	mPERs2	1
public static final @org.checkerframework.checker.units.qual.N int	N	1
public static final @org.checkerframework.checker.units.qual.radians double	rad	1.0
public static final @org.checkerframework.checker.units.qual.s int	s	1
public static final @org.checkerframework.checker.units.qual.t int	t	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
public static final String	ARRAYLEN_NAME	"org.checkerframework.common.value.qual.ArrayLen"
public static final String	ARRAYLENRANGE_NAME	"org.checkerframework.common.value.qual.ArrayLenRange"
public static final String	BOOLVAL_NAME	"org.checkerframework.common.value.qual.BoolVal"
public static final String	BOTTOMVAL_NAME	"org.checkerframework.common.value.qual.BottomVal"
public static final String	DOES_NOT_MATCH_REGEX_NAME	"org.checkerframework.common.value.qual.DoesNotMatchRegex"
public static final String	DOUBLEVAL_NAME	"org.checkerframework.common.value.qual.DoubleVal"
public static final String	INTRANGE_FROMGTENEGONE_NAME	"org.checkerframework.common.value.qual.IntRangeFromGTENegativeOne"
public static final String	INTRANGE_FROMNONNEG_NAME	"org.checkerframework.common.value.qual.IntRangeFromNonNegative"
public static final String	INTRANGE_FROMPOS_NAME	"org.checkerframework.common.value.qual.IntRangeFromPositive"
public static final String	INTRANGE_NAME	"org.checkerframework.common.value.qual.IntRange"
public static final String	INTVAL_NAME	"org.checkerframework.common.value.qual.IntVal"
public static final String	MATCHES_REGEX_NAME	"org.checkerframework.common.value.qual.MatchesRegex"
protected static final int	MAX_VALUES	10
public static final String	MINLEN_NAME	"org.checkerframework.common.value.qual.MinLen"
public static final String	POLY_NAME	"org.checkerframework.common.value.qual.PolyValue"
public static final String	STRINGVAL_NAME	"org.checkerframework.common.value.qual.StringVal"
public static final String	UNKNOWN_NAME	"org.checkerframework.common.value.qual.UnknownVal"

org.checkerframework.common.value.ValueChecker

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

org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>

Modifier and Type	Constant Field	Value
protected static final String	storeEntryIndent	" "

org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer<V extends AbstractValue<V>,S extends Store<S>,T extends TransferFunction<V,S>>

Modifier and Type	Constant Field	Value
protected static final String	leftJustifiedTerminator	"\\l"

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	OPTION_SEPARATOR	"_"
public static final String	SUPPRESS_ALL_MESSAGE_KEY	"all"
public static final String	SUPPRESS_ALL_PREFIX	"allcheckers"
public static final @CompilerMessageKey String	UNNEEDED_SUPPRESSION_KEY	"unneeded.suppression"

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|fixable-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|fixable-warning|other):\\s*(\\(?.*\\)?)\\s*"
public static final String	DIAGNOSTIC_REGEX	":(\\d+):\\s*(error|fixable-error|warning|fixable-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_DIR_NAME	"org/checkerframework/checker/"
public static final String	CHECKER_QUAL_PATH_OPT	"-checkerQualJar"
public static final String	CHECKER_UTIL_PATH_OPT	"-checkerUtilJar"
protected static final String	COMMON_BASE_DIR_NAME	"org/checkerframework/common/"
public static final String	JAVAC_PATH_OPT	"-javacJar"
public static final String	JDK_PATH_OPT	"-jdkJar"

org.checkerframework.framework.util.ExecUtil

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

org.checkerframework.framework.util.JavaExpressionParseUtil

Modifier and Type	Constant Field	Value
protected static final String	PARAMETER_REGEX	"#([1-9][0-9]*)"

org.checkerframework.framework.util.dependenttypes.DependentTypesError

Modifier and Type	Constant Field	Value
public static final @Format({INT,GENERAL}) String	FORMAL_PARAM_NAME_STRING	"Use \"#%d\" rather than \"%s\""

org.checkerframework.framework.util.element.ParamApplier

Modifier and Type	Constant Field	Value
public static final int	RECEIVER_PARAM_INDEX	-2147483648

org.checkerframework.framework.util.element.TypeDeclarationApplier

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