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	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.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.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
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	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 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.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"
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.FlowExpressionParseUtil

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 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

org.checkerframework.javacutil.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"