Constant Field Values

Contents

• org.checkerframework.*

org.checkerframework.*

org.checkerframework.afu.scenelib.io.ASTPath

Modifier and Type	Constant Field	Value
public static final String	ANNOTATION	"annotation"
public static final String	ARGUMENT	"argument"
public static final String	BLOCK	"block"
public static final String	BODY	"body"
public static final String	BOUND	"bound"
public static final String	CASE	"case"
public static final String	CATCH	"catch"
public static final String	CLASS_BODY	"classBody"
public static final String	CONDITION	"condition"
public static final String	DETAIL	"detail"
public static final String	DIMENSION	"dimension"
public static final String	ELSE_STATEMENT	"elseStatement"
public static final String	ENCLOSING_EXPRESSION	"enclosingExpression"
public static final String	EXPRESSION	"expression"
public static final String	FALSE_EXPRESSION	"falseExpression"
public static final String	FINALLY_BLOCK	"finallyBlock"
public static final String	IDENTIFIER	"identifier"
public static final String	INDEX	"index"
public static final String	INITIALIZER	"initializer"
public static final String	LEFT_OPERAND	"leftOperand"
public static final String	METHOD_SELECT	"methodSelect"
public static final String	MODIFIERS	"modifiers"
public static final String	PARAMETER	"parameter"
public static final String	QUALIFIER_EXPRESSION	"qualifierExpression"
public static final String	RESOURCE	"resource"
public static final String	RIGHT_OPERAND	"rightOperand"
public static final String	STATEMENT	"statement"
public static final String	THEN_STATEMENT	"thenStatement"
public static final String	THROWS	"throws"
public static final String	TRUE_EXPRESSION	"trueExpression"
public static final String	TYPE	"type"
public static final String	TYPE_ALTERNATIVE	"typeAlternative"
public static final String	TYPE_ARGUMENT	"typeArgument"
public static final String	TYPE_PARAMETER	"typeParameter"
public static final String	UNDERLYING_TYPE	"underlyingType"
public static final String	UPDATE	"update"
public static final String	VARIABLE	"variable"

org.checkerframework.afu.scenelib.io.classfile.ClassFileReader

Modifier and Type	Constant Field	Value
public static final String	INDEX_UTILS_VERSION	"Annotation File Utilities v3.49.6"

org.checkerframework.afu.scenelib.toys.SimplerInterface

Modifier and Type	Constant Field	Value
public static final int	myField	1

org.checkerframework.afu.scenelib.type.DeclaredType

Modifier and Type	Constant Field	Value
public static final String	WILDCARD	"?"

org.checkerframework.afu.scenelib.util.coll.KeyedSet<K,V>

Modifier and Type	Constant Field	Value
public static final int	IGNORE	-1
public static final int	REPLACE	1
public static final int	THROW_EXCEPTION	0

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_RETURNS_RECEIVER	"enableReturnsReceiverForRlc"
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.node.Node

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

org.checkerframework.dataflow.cfg.visualize.AbstractCFGVisualizer<V,S,T>

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

org.checkerframework.dataflow.cfg.visualize.DOTCFGVisualizer<V,S,T>

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

org.checkerframework.framework.util.typeinference8.bound.BoundSet

Modifier and Type	Constant Field	Value
public static final int	MAX_INCORPORATION_STEPS	1000