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

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.dataflow.cfg.AbstractCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>>

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

org.checkerframework.dataflow.cfg.DOTCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,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"
public static final String	SUPPRESS_ALL_KEY	"all"
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_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	IDENTIFIER_REGEX	"[a-zA-Z_$][a-zA-Z_$0-9]*"
protected static final String	PARAMETER_REGEX	"#([1-9][0-9]*)"
protected static final String	STRING_REGEX	"\"(?:[^\"\\\\]|\\\\.)*\""

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"