Index (checker-qual 3.9.1 API)

A B C D E F G H I J K L M N O P Q R S T U V W

A

A - Annotation Type in org.checkerframework.checker.units.qual: Ampere.
A - Static variable in class org.checkerframework.checker.units.UnitsTools
Acceleration - Annotation Type in org.checkerframework.checker.units.qual: Units of acceleration.
allLiteralKinds() - Static method in enum org.checkerframework.framework.qual.LiteralKind: Returns all LiteralKinds except for ALL and PRIMITIVE (which are shorthands for groups of other LiteralKinds).
AlwaysSafe - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation to override the UI effect on a class, and make a field or method safe for non-UI code to use.
Angle - Annotation Type in org.checkerframework.checker.units.qual: Units of measure for angles.
AnnotatedFor - Annotation Type in org.checkerframework.framework.qual: Indicates that this class has been annotated for the given type system.
Area - Annotation Type in org.checkerframework.checker.units.qual: Units of areas.
ArrayLen - Annotation Type in org.checkerframework.common.value.qual: An annotation indicating the length of an array or a string.
ArrayLenRange - Annotation Type in org.checkerframework.common.value.qual: An expression with this type evaluates to an array or a string whose length is in the given range.
ArrayWithoutPackage - Annotation Type in org.checkerframework.checker.signature.qual: An identifier or primitive type, followed by any number of array square brackets.
asFormat(String, ConversionCategory...) - Static method in class org.checkerframework.checker.formatter.FormatUtil: Returns the first argument if the format string is satisfiable, and if the format's parameters match the passed ConversionCategorys.
asRegex(String) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns the argument as a @Regex String if it is a regex, otherwise throws an error.
asRegex(String, int) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns the argument as a @Regex(groups) String if it is a regex with at least the given number of groups, otherwise throws an error.
AssertNonNullIfNonNull - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that if the method returns a non-null value, then the value expressions are also non-null.
AwtAlphaCompositingRule - Annotation Type in org.checkerframework.checker.fenum.qual: Basic alpha compositing rules for combining source and destination colors to achieve blending and transparency effects with graphics and images (see AlphaComposite for more details).
AwtColorSpace - Annotation Type in org.checkerframework.checker.fenum.qual: Color space tags to identify the specific color space of a Color object or, via a ColorModel object, of an Image, a BufferedImage, or a GraphicsDevice (see ColorSpace for more details).
AwtCursorType - Annotation Type in org.checkerframework.checker.fenum.qual: AwtCursorType.
AwtFlowLayout - Annotation Type in org.checkerframework.checker.fenum.qual: Line alignments in a flow layout (see FlowLayout for more details).

B

BinaryName - Annotation Type in org.checkerframework.checker.signature.qual: Represents a binary name as defined in the Java Language Specification, section 13.1.
BinaryNameOrPrimitiveType - Annotation Type in org.checkerframework.checker.signature.qual: Represents a primitive type name or a binary name.
BinaryNameWithoutPackage - Annotation Type in org.checkerframework.checker.signature.qual: Represents a string that is a BinaryName, an InternalForm, and a ClassGetName.
BoolVal - Annotation Type in org.checkerframework.common.value.qual: An annotation indicating the possible values for a bool type.
Bottom - Annotation Type in org.checkerframework.common.subtyping.qual: A special annotation intended solely for representing the bottom type in the qualifier hierarchy.
BottomThis - Annotation Type in org.checkerframework.common.returnsreceiver.qual: The bottom type for the Returns Receiver Checker's type system.
BottomVal - Annotation Type in org.checkerframework.common.value.qual: The bottom type in the Constant Value type system.
byteFromDouble(double) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned byte representing the same value as the double.
byteFromFloat(float) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned byte representing the same value as the float.

C

C - Annotation Type in org.checkerframework.checker.units.qual: Degree Centigrade (Celsius).
C - Static variable in class org.checkerframework.checker.units.UnitsTools
CalledMethods - Annotation Type in org.checkerframework.checker.builder.qual: A deprecated variant of CalledMethods.
CalledMethods - Annotation Type in org.checkerframework.checker.calledmethods.qual: If an expression has type @CalledMethods({"m1", "m2"}), then methods m1 and m2 have definitely been called on its value.
CalledMethodsBottom - Annotation Type in org.checkerframework.checker.calledmethods.qual: The bottom type for the Called Methods type system.
CalledMethodsPredicate - Annotation Type in org.checkerframework.checker.calledmethods.qual: This annotation represents a predicate on @CalledMethods annotations.
CanonicalName - Annotation Type in org.checkerframework.checker.signature.qual: Canonical names have the same syntactic form as fully-qualified names.
CanonicalNameOrEmpty - Annotation Type in org.checkerframework.checker.signature.qual: Either a CanonicalName or the empty string.
castNonNull(T) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: A method that suppresses warnings from the Nullness Checker.
castNonNull(T, String) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Suppress warnings from the Nullness Checker, with a custom error message.
castNonNullDeep(T[]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[], String) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][], String) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][], String) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][][]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][][], String) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][][][]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][][][], String) - Static method in class org.checkerframework.checker.nullness.NullnessUtil: Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
cd - Annotation Type in org.checkerframework.checker.units.qual: Candela (unit of luminance).
cd - Static variable in class org.checkerframework.checker.units.UnitsTools
CFComment - Annotation Type in org.checkerframework.framework.qual: This annotation is for comments related to the Checker Framework.
chars - Variable in enum org.checkerframework.checker.formatter.qual.ConversionCategory: The format specifier characters.
CheckedPatternSyntaxException(PatternSyntaxException) - Constructor for exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Constructs a new CheckedPatternSyntaxException equivalent to the given PatternSyntaxException.
CheckedPatternSyntaxException(String, String, int) - Constructor for exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Constructs a new CheckedPatternSyntaxException.
ClassBound - Annotation Type in org.checkerframework.common.reflection.qual: This represents a Class<T> object whose run-time value is equal to or a subtype of one of the arguments.
ClassGetName - Annotation Type in org.checkerframework.checker.signature.qual: The type representation used by the Class.getName(), Class.forName(String), and Class.forName(String, boolean, ClassLoader) methods.
ClassGetSimpleName - Annotation Type in org.checkerframework.checker.signature.qual: The format produced by the Class.getSimpleName() method.
ClassVal - Annotation Type in org.checkerframework.common.reflection.qual: This represents a Class<T> object where the set of possible values of T is known at compile time.
ClassValBottom - Annotation Type in org.checkerframework.common.reflection.qual: The bottom type in the ClassVal type system.
CompareToMethod - Annotation Type in org.checkerframework.checker.interning.qual: Method declaration annotation that indicates a method has a specification like compareTo() or compare().
compareUnsigned(short, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Compares two unsigned shorts x and y.
compareUnsigned(byte, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Compares two unsigned bytes x and y.
CompilerMessageKey - Annotation Type in org.checkerframework.checker.compilermsgs.qual: A string that is definitely a compiler message key.
CompilerMessageKeyBottom - Annotation Type in org.checkerframework.checker.compilermsgs.qual: The bottom type in the Compiler Message Key type system.
ConditionalPostconditionAnnotation - Annotation Type in org.checkerframework.framework.qual: A meta-annotation that indicates that an annotation E is a conditional postcondition annotation, i.e., E is a type-specialized version of EnsuresQualifierIf or EnsuresQualifierIf.List.
ConversionCategory - Enum in org.checkerframework.checker.formatter.qual: Elements of this enumeration are used in a Format annotation to indicate the valid types that may be passed as a format parameter.
conversionCharFromFormat(String) - Static method in class org.checkerframework.checker.formatter.FormatUtil: Deprecated.
This method is public only for testing. Use private method #conversionCharFromFormat(Matcher).
Covariant - Annotation Type in org.checkerframework.framework.qual: A marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly.
Current - Annotation Type in org.checkerframework.checker.units.qual: Electric current.

D

DefaultFor - Annotation Type in org.checkerframework.framework.qual: A meta-annotation applied to the declaration of a type qualifier.
DefaultQualifier - Annotation Type in org.checkerframework.framework.qual: Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default.
DefaultQualifier.List - Annotation Type in org.checkerframework.framework.qual: A wrapper annotation that makes the DefaultQualifier annotation repeatable.
DefaultQualifierForUse - Annotation Type in org.checkerframework.framework.qual: Declaration annotation applied to type declarations to specify the qualifier to be added to unannotated uses of the type.
DefaultQualifierInHierarchy - Annotation Type in org.checkerframework.framework.qual: Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.
deg - Static variable in class org.checkerframework.checker.units.UnitsTools
degrees - Annotation Type in org.checkerframework.checker.units.qual: Degrees.
Deterministic - Annotation Type in org.checkerframework.dataflow.qual: A method is called deterministic if it returns the same value (according to ==) every time it is called with the same parameters and in the same environment.
dimensionUnsignedHeight(Dimension) - Static method in class org.checkerframework.checker.signedness.SignednessUtilExtra: Gets the unsigned height of a Dimension.
dimensionUnsignedWidth(Dimension) - Static method in class org.checkerframework.checker.signedness.SignednessUtilExtra: Gets the unsigned width of a Dimension.
DotSeparatedIdentifiers - Annotation Type in org.checkerframework.checker.signature.qual: This is a string that is a valid fully qualified name and a valid binary name.
DotSeparatedIdentifiersOrPrimitiveType - Annotation Type in org.checkerframework.checker.signature.qual: This is a string that is a valid fully qualified name and a valid binary name or primitive type.
DoubleVal - Annotation Type in org.checkerframework.common.value.qual: An annotation indicating the possible values for a double or float type.

E

EnsuresCalledMethods - Annotation Type in org.checkerframework.checker.calledmethods.qual: Indicates that the method, if it terminates successfully, always invokes the given methods on the given expressions.
EnsuresCalledMethodsIf - Annotation Type in org.checkerframework.checker.calledmethods.qual: Indicates that the method, if it terminates with the given result, invokes the given methods on the given expressions.
EnsuresCalledMethodsIf.List - Annotation Type in org.checkerframework.checker.calledmethods.qual: A wrapper annotation that makes the EnsuresCalledMethodsIf annotation repeatable.
EnsuresInitializedFields - Annotation Type in org.checkerframework.common.initializedfields.qual: A method postcondition annotation indicates which fields the method definitely initializes.
EnsuresInitializedFields.List - Annotation Type in org.checkerframework.common.initializedfields.qual: A wrapper annotation that makes the EnsuresInitializedFields annotation repeatable.
EnsuresKeyFor - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the value expressions evaluate to a value that is a key in all the given maps, if the method terminates successfully.
EnsuresKeyFor.List - Annotation Type in org.checkerframework.checker.nullness.qual: A wrapper annotation that makes the EnsuresKeyFor annotation repeatable.
EnsuresKeyForIf - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the given expressions evaluate to a value that is a key in all the given maps, if the method returns the given result (either true or false).
EnsuresKeyForIf.List - Annotation Type in org.checkerframework.checker.nullness.qual: A wrapper annotation that makes the EnsuresKeyForIf annotation repeatable.
EnsuresLockHeld - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that the given expressions are held if the method terminates successfully.
EnsuresLockHeld.List - Annotation Type in org.checkerframework.checker.lock.qual: A wrapper annotation that makes the EnsuresLockHeld annotation repeatable.
EnsuresLockHeldIf - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).
EnsuresLockHeldIf.List - Annotation Type in org.checkerframework.checker.lock.qual: A wrapper annotation that makes the EnsuresLockHeldIf annotation repeatable.
EnsuresLTLengthOf - Annotation Type in org.checkerframework.checker.index.qual: Indicates that the value expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method terminates successfully.
EnsuresLTLengthOf.List - Annotation Type in org.checkerframework.checker.index.qual: A wrapper annotation that makes the EnsuresLTLengthOf annotation repeatable.
EnsuresLTLengthOfIf - Annotation Type in org.checkerframework.checker.index.qual: Indicates that the given expressions evaluate to an integer whose value is less than the lengths of all the given sequences, if the method returns the given result (either true or false).
EnsuresLTLengthOfIf.List - Annotation Type in org.checkerframework.checker.index.qual: A wrapper annotation that makes the EnsuresLTLengthOfIf annotation repeatable.
EnsuresMinLenIf - Annotation Type in org.checkerframework.common.value.qual: Indicates that the value of the given expression is a sequence containing at least the given number of elements, if the method returns the given result (either true or false).
EnsuresMinLenIf.List - Annotation Type in org.checkerframework.common.value.qual: A wrapper annotation that makes the EnsuresMinLenIf annotation repeatable.
EnsuresNonNull - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the value expressions are non-null, if the method terminates successfully.
EnsuresNonNull.List - Annotation Type in org.checkerframework.checker.nullness.qual: A wrapper annotation that makes the EnsuresNonNull annotation repeatable.
EnsuresNonNullIf - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the given expressions are non-null, if the method returns the given result (either true or false).
EnsuresNonNullIf.List - Annotation Type in org.checkerframework.checker.nullness.qual: * A wrapper annotation that makes the EnsuresNonNullIf annotation repeatable.
EnsuresQualifier - Annotation Type in org.checkerframework.framework.qual: A postcondition annotation to indicate that a method ensures that certain expressions have a certain type qualifier once the method has successfully terminated.
EnsuresQualifier.List - Annotation Type in org.checkerframework.framework.qual: A wrapper annotation that makes the EnsuresQualifier annotation repeatable.
EnsuresQualifierIf - Annotation Type in org.checkerframework.framework.qual: A conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has terminated, and if the result is as indicated by result.
EnsuresQualifierIf.List - Annotation Type in org.checkerframework.framework.qual: A wrapper annotation that makes the EnsuresQualifierIf annotation repeatable.
EnumVal - Annotation Type in org.checkerframework.common.value.qual: An annotation indicating the possible values for an enum type.
EqualsMethod - Annotation Type in org.checkerframework.checker.interning.qual: Method declaration annotation that indicates a method has a specification like equals().
ExcessiveOrMissingFormatArgumentException(int, int) - Constructor for exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException: Constructs an instance of this class with the actual argument length and the expected one.

F

FBCBottom - Annotation Type in org.checkerframework.checker.initialization.qual: The bottom type in the initialization type system.
Fenum - Annotation Type in org.checkerframework.checker.fenum.qual: A generic fake enumeration qualifier that is parameterized by a name.
FenumBottom - Annotation Type in org.checkerframework.checker.fenum.qual: The bottom type in the Fenum type system.
FenumTop - Annotation Type in org.checkerframework.checker.fenum.qual: The top of the fake enumeration type hierarchy.
FenumUnqualified - Annotation Type in org.checkerframework.checker.fenum.qual: An unqualified type.
FieldDescriptor - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorForPrimitive - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor (JVM type format) for a primitive as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorWithoutPackage - Annotation Type in org.checkerframework.checker.signature.qual: Represents a field descriptor for a primitive or for an array whose base type is primitive or in the unnamed package.
FieldInvariant - Annotation Type in org.checkerframework.framework.qual: Specifies that a field's type, in the class on which this annotation is written, is a subtype of its declared type.
filter(T, Predicate<? super T>) - Static method in class org.checkerframework.checker.nullness.Opt: If primary is non-null, and its value matches the given predicate, return the value.
FindDistinct - Annotation Type in org.checkerframework.checker.interning.qual: This formal parameter annotation indicates that the method searches for the given value, using reference equality (==).
Format - Annotation Type in org.checkerframework.checker.formatter.qual: This annotation, attached to a String type, indicates that the String may be passed to Formatter.format and similar methods.
FormatBottom - Annotation Type in org.checkerframework.checker.formatter.qual: The bottom type in the Format String type system.
FormatMethod - Annotation Type in org.checkerframework.checker.formatter.qual: If this annotation is attached to a Formatter.format-like method, then the first parameter, which must be of type String, is treated as a format string for the remaining arguments.
formatParameterCategories(String) - Static method in class org.checkerframework.checker.formatter.FormatUtil: Returns a ConversionCategory for every conversion found in the format string.
formatParameterCategories(String) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil: Returns a I18nConversionCategory for every conversion found in the format string.
FormatUtil - Class in org.checkerframework.checker.formatter: This class provides a collection of utilities to ease working with format strings.
FormatUtil() - Constructor for class org.checkerframework.checker.formatter.FormatUtil
FormatUtil.ExcessiveOrMissingFormatArgumentException - Exception in org.checkerframework.checker.formatter
FormatUtil.IllegalFormatConversionCategoryException - Exception in org.checkerframework.checker.formatter
ForName - Annotation Type in org.checkerframework.common.reflection.qual: Annotation for methods like Class.forName.
FqBinaryName - Annotation Type in org.checkerframework.checker.signature.qual: An extension of binary name format to represent primitives and arrays.
FromByteCode - Annotation Type in org.checkerframework.framework.qual: If a method is annotated with this declaration annotation, then its signature is not written in a stub file and the method is not declared in source.
fromCelsiusToKelvin(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromConversionChar(char) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Converts a conversion character to a category.
fromGramToKiloGram(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromHourToMinute(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromKelvinToCelsius(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromKiloGramToGram(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromKiloMeterPerHourToMeterPerSecond(double) - Static method in class org.checkerframework.checker.units.UnitsTools
fromKiloMeterToMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromMeterPerSecondToKiloMeterPerHour(double) - Static method in class org.checkerframework.checker.units.UnitsTools
fromMeterToKiloMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromMeterToMilliMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromMilliMeterToMeter(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromMinuteToHour(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromMinuteToSecond(int) - Static method in class org.checkerframework.checker.units.UnitsTools
fromSecondToMinute(int) - Static method in class org.checkerframework.checker.units.UnitsTools
FromStubFile - Annotation Type in org.checkerframework.framework.qual: If a method is annotated with this declaration annotation, then its signature was read from a stub file.
FullyQualifiedName - Annotation Type in org.checkerframework.checker.signature.qual: A sequence of dot-separated identifiers, followed by any number of array square brackets.

G

g - Annotation Type in org.checkerframework.checker.units.qual: Gram.
g - Static variable in class org.checkerframework.checker.units.UnitsTools
get(T) - Static method in class org.checkerframework.checker.nullness.Opt: If primary is non-null, returns it, otherwise throws NoSuchElementException.
GetClass - Annotation Type in org.checkerframework.common.reflection.qual: Annotation for methods like Object.getClassName.
GetConstructor - Annotation Type in org.checkerframework.common.reflection.qual: Annotation for methods like Class.getConstructor, whose signature is:
{@link MethodVal}(classname=c, methodname="", params=p) Constructor method(Class this, Object...
getDescription() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Retrieves the description of the error.
getExpected() - Method in exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException
getExpected() - Method in exception org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException
getFound() - Method in exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException
getFound() - Method in exception org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException
getIndex() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Retrieves the error index.
getMessage() - Method in exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException
getMessage() - Method in exception org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException
getMessage() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Returns a multi-line string containing the description of the syntax error and its index, the erroneous regular-expression pattern, and a visual indication of the error index within the pattern.
GetMethod - Annotation Type in org.checkerframework.common.reflection.qual: Annotation for methods like Class.getMethod and Class.getDeclaredMethod, whose signature is:
{@link MethodVal}(classname=c, methodname=m, params=p) Method getMyMethod(Class this, String m, Object...
getPattern() - Method in exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException: Retrieves the erroneous regular-expression pattern.
getUnsigned(ByteBuffer) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned byte from the ByteBuffer b.
getUnsigned(ByteBuffer, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned byte from the ByteBuffer b at i.
getUnsigned(ByteBuffer, byte[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Populates an unsigned byte array from the ByteBuffer b at i with l bytes.
getUnsigned(IntBuffer, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned int from the IntBuffer b at i.
getUnsigned(ByteBuffer, byte[]) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an array of unsigned bytes from the ByteBuffer b and stores them in the array bs.
getUnsignedInt(ByteBuffer) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned int from the ByteBuffer b.
getUnsignedRGB(BufferedImage, int, int, int, int, int[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtilExtra: Gets rgb of BufferedImage b as unsigned ints.
getUnsignedShort(ByteBuffer) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Gets an unsigned short from the ByteBuffer b.
GTENegativeOne - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer greater than or equal to -1.
GuardedBy - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that a thread may dereference the value referred to by the annotated variable only if the thread holds all the given lock expressions.
GuardedByBottom - Annotation Type in org.checkerframework.checker.lock.qual: The bottom type in the GuardedBy type system.
GuardedByUnknown - Annotation Type in org.checkerframework.checker.lock.qual: It is unknown what locks guard the value referred to by the annotated variable.
GuardSatisfied - Annotation Type in org.checkerframework.checker.lock.qual: If a variable x has type @GuardSatisfied, then all lock expressions for x's value are held.

H

h - Annotation Type in org.checkerframework.checker.units.qual: Hour.
h - Static variable in class org.checkerframework.checker.units.UnitsTools
hasFormat(String, I18nConversionCategory...) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil: Returns true if the format string is satisfiable, and if the format's parameters match the passed I18nConversionCategorys.
HasQualifierParameter - Annotation Type in org.checkerframework.framework.qual: This is a declaration annotation that applies to type declarations and packages.
HasSubsequence - Annotation Type in org.checkerframework.checker.index.qual: The annotated sequence contains a subsequence that is equal to the value of some other expression.
Holding - Annotation Type in org.checkerframework.checker.lock.qual: Indicates a method precondition: the specified expressions must be held when the annotated method is invoked.

I

I18nChecksFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation is used internally to annotate I18nFormatUtil.hasFormat(java.lang.String, org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory...) (and will potentially be used to annotate more such functions in the future).
I18nConversionCategory - Enum in org.checkerframework.checker.i18nformatter.qual: Elements of this enumeration are used in a I18nFormat annotation to indicate the valid types that may be passed as a format parameter.
I18nFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation, attached to a String type, indicates that the String may be passed to MessageFormat.format.
I18nFormatBottom - Annotation Type in org.checkerframework.checker.i18nformatter.qual: The bottom type in the Internationalization Format String type system.
I18nFormatFor - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation indicates that when a string of the annotated type is passed as the first argument to MessageFormat.format(String, Object...), then the expression that is an argument to the annotation can be passed as the remaining arguments, in varargs style.
I18nFormatUtil - Class in org.checkerframework.checker.i18nformatter: This class provides a collection of utilities to ease working with i18n format strings.
I18nFormatUtil() - Constructor for class org.checkerframework.checker.i18nformatter.I18nFormatUtil
I18nInvalidFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation, attached to a String type, indicates that if the String is passed to MessageFormat.format(String, Object...), an exception will result.
I18nMakeFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation is used internally to annotate ResourceBundle.getString(java.lang.String) indicating the checker to check if the given key exist in the translation file and annotate the result string with the correct format annotation according to the corresponding key's value.
I18nUnknownFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: The top qualifier.
I18nValidFormat - Annotation Type in org.checkerframework.checker.i18nformatter.qual: This annotation is used internally to annotate I18nFormatUtil.isFormat(java.lang.String).
Identifier - Annotation Type in org.checkerframework.checker.signature.qual: An identifier.
IdentifierOrPrimitiveType - Annotation Type in org.checkerframework.checker.signature.qual: An identifier or a primitive type.
ifPresent(T, Consumer<? super T>) - Static method in class org.checkerframework.checker.nullness.Opt: If primary is non-null, invoke the specified consumer with the value, otherwise do nothing.
IgnoreInWholeProgramInference - Annotation Type in org.checkerframework.framework.qual: This annotation can be used two ways:
IllegalFormatConversionCategoryException(ConversionCategory, ConversionCategory) - Constructor for exception org.checkerframework.checker.formatter.FormatUtil.IllegalFormatConversionCategoryException: Constructs an instance of this class with the mismatched conversion and the expected one.
IndexFor - Annotation Type in org.checkerframework.checker.index.qual: An integer that can be used to index any of the given sequences.
IndexOrHigh - Annotation Type in org.checkerframework.checker.index.qual: An integer that, for each of the given sequences, is either a valid index or is equal to the sequence's length.
IndexOrLow - Annotation Type in org.checkerframework.checker.index.qual: An integer that is either -1 or is a valid index for each of the given sequences.
InheritedAnnotation - Annotation Type in org.checkerframework.framework.qual: A meta-annotation that specifies if an annotation should be inherited.
Initialized - Annotation Type in org.checkerframework.checker.initialization.qual: This type qualifier belongs to the freedom-before-commitment initialization tracking type-system.
InitializedFields - Annotation Type in org.checkerframework.common.initializedfields.qual: Indicates which fields have definitely been initialized.
InitializedFieldsBottom - Annotation Type in org.checkerframework.common.initializedfields.qual: The bottom type qualifier for the Initialized Fields type system.
InternalForm - Annotation Type in org.checkerframework.checker.signature.qual: The syntax for binary names that appears in a class file, as defined in the JVM Specification, section 4.2.
Interned - Annotation Type in org.checkerframework.checker.interning.qual: Indicates that a variable has been interned, i.e., that the variable refers to the canonical representation of an object.
InternedDistinct - Annotation Type in org.checkerframework.checker.interning.qual: Indicates that no other value is equals() to the given value.
InternMethod - Annotation Type in org.checkerframework.checker.interning.qual: Method declaration annotation used to indicate that this method may be invoked on an uninterned object and that it returns an interned object.
intersect(ConversionCategory, ConversionCategory) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns the intersection of two categories.
intersect(I18nConversionCategory, I18nConversionCategory) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns the intersection of the two given I18nConversionCategories.
intFromDouble(double) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned int representing the same value as the double.
intFromFloat(float) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned int representing the same value as the float.
IntRange - Annotation Type in org.checkerframework.common.value.qual: An expression with this type evaluates to an integral value (byte, short, char, int, or long) in the given range.
IntRangeFromGTENegativeOne - Annotation Type in org.checkerframework.common.value.qual: An expression with this type is exactly the same as an IntRange annotation whose from field is -1 and whose to field is Integer.MAX_VALUE.
IntRangeFromNonNegative - Annotation Type in org.checkerframework.common.value.qual: An expression with this type is exactly the same as an IntRange annotation whose from field is 0 and whose to field is Integer.MAX_VALUE.
IntRangeFromPositive - Annotation Type in org.checkerframework.common.value.qual: An expression with this type is exactly the same as an IntRange annotation whose from field is 1 and whose to field is Integer.MAX_VALUE.
IntVal - Annotation Type in org.checkerframework.common.value.qual: An annotation indicating the possible values for a byte, short, char, int, or long type.
InvalidFormat - Annotation Type in org.checkerframework.checker.formatter.qual: This annotation, attached to a String type, indicates that the string is not a legal format string.
InvisibleQualifier - Annotation Type in org.checkerframework.framework.qual: A meta-annotation indicating that an annotation is a type qualifier that should not be visible in output.
Invoke - Annotation Type in org.checkerframework.common.reflection.qual: Annotation for methods like Method.invoke, whose signature is:
Object method({@link MethodVal}(classname=c, methodname=m, params=p) Method this, Object obj, Object...
isAssignableFrom(Class<?>) - Method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns true if argType can be an argument used by this format specifier.
isAssignableFrom(Class<?>) - Method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns true if argType can be an argument used by this format specifier.
isFormat(String) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil
isPresent(Object) - Static method in class org.checkerframework.checker.nullness.Opt: Returns true if primary is non-null, false if primary is null.
isRegex(String) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns true if the argument is a syntactically valid regular expression.
isRegex(String, int) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns true if the argument is a syntactically valid regular expression with at least the given number of groups.
isRegex(char) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns true if the argument is a syntactically valid regular expression.
isSubsetOf(ConversionCategory, ConversionCategory) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory
isSubsetOf(I18nConversionCategory, I18nConversionCategory) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Return true if a is a subset of b.

J

JavaExpression - Annotation Type in org.checkerframework.framework.qual: An annotation to use on an element of a dependent type qualifier to specify which elements of the annotation should be interpreted as Java expressions.

K

K - Annotation Type in org.checkerframework.checker.units.qual: Kelvin (unit of temperature).
K - Static variable in class org.checkerframework.checker.units.UnitsTools
KeyFor - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that the value assigned to the annotated variable is a key for at least the given map(s).
KeyForBottom - Annotation Type in org.checkerframework.checker.nullness.qual: The bottom type in the Map Key type system.
kg - Annotation Type in org.checkerframework.checker.units.qual: Kilogram.
kg - Static variable in class org.checkerframework.checker.units.UnitsTools
km - Annotation Type in org.checkerframework.checker.units.qual: Kilometer.
km - Static variable in class org.checkerframework.checker.units.UnitsTools
km2 - Annotation Type in org.checkerframework.checker.units.qual: Square kilometer.
km2 - Static variable in class org.checkerframework.checker.units.UnitsTools
kmPERh - Annotation Type in org.checkerframework.checker.units.qual: Kilometer per hour.
kmPERh - Static variable in class org.checkerframework.checker.units.UnitsTools

L

LeakedToResult - Annotation Type in org.checkerframework.common.aliasing.qual: This annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked.
Length - Annotation Type in org.checkerframework.checker.units.qual: Units of length.
LengthOf - Annotation Type in org.checkerframework.checker.index.qual: An integer that, for each of the given sequences, is equal to the sequence's length.
LessThan - Annotation Type in org.checkerframework.checker.index.qual: An annotation indicating the relationship between values with a byte, short, char, int, or long type.
LessThanBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the LessThan type system.
LessThanUnknown - Annotation Type in org.checkerframework.checker.index.qual: The top qualifier for the LessThan type hierarchy.
LiteralKind - Enum in org.checkerframework.framework.qual: Specifies kinds of literal trees.
LocalizableKey - Annotation Type in org.checkerframework.checker.i18n.qual: Indicates that the String is a key into a property file or resource bundle containing Localized Strings.
LocalizableKeyBottom - Annotation Type in org.checkerframework.checker.i18n.qual: The bottom type in the Internationalization type system.
Localized - Annotation Type in org.checkerframework.checker.i18n.qual: Indicates that the String type has been localized and formatted for the target output locale.
LockHeld - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that an expression is used as a lock and the lock is known to be held on the current thread.
LockingFree - Annotation Type in org.checkerframework.checker.lock.qual: The method neither acquires nor releases locks, nor do any of the methods that it calls.
LockPossiblyHeld - Annotation Type in org.checkerframework.checker.lock.qual: Indicates that an expression is not known to be LockHeld.
longFromDouble(double) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as the double.
longFromFloat(float) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as the float.
LowerBoundBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type of the lower bound type system.
LowerBoundUnknown - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to value that might be -2 or lower.
LTEqLengthOf - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer whose value is less than or equal to the lengths of all the given sequences.
LTLengthOf - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer whose value is less than the lengths of all the given sequences.
LTOMLengthOf - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer whose value is at least 2 less than the lengths of all the given sequences.
Luminance - Annotation Type in org.checkerframework.checker.units.qual: Units of luminance.

M

m - Annotation Type in org.checkerframework.checker.units.qual: Meter.
m - Static variable in class org.checkerframework.checker.units.UnitsTools
m2 - Annotation Type in org.checkerframework.checker.units.qual: Square meter.
m2 - Static variable in class org.checkerframework.checker.units.UnitsTools
map(T, Function<? super T, ? extends U>) - Static method in class org.checkerframework.checker.nullness.Opt: If primary is non-null, apply the provided mapping function to it and return the result.
Mass - Annotation Type in org.checkerframework.checker.units.qual: Units of mass.
MatchesRegex - Annotation Type in org.checkerframework.common.value.qual: An annotation indicating the possible values for a String type.
MaybeAliased - Annotation Type in org.checkerframework.common.aliasing.qual: An expression with this type might have an alias.
MaybeLeaked - Annotation Type in org.checkerframework.common.aliasing.qual: Temporary type qualifier:
MaybePresent - Annotation Type in org.checkerframework.checker.optional.qual: The Optional container may or may not contain a value.
MayReleaseLocks - Annotation Type in org.checkerframework.checker.lock.qual: The method, or one of the methods it calls, might release locks that were held prior to the method being called.
MethodDescriptor - Annotation Type in org.checkerframework.checker.signature.qual: Represents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4.3.3.
MethodVal - Annotation Type in org.checkerframework.common.reflection.qual: This represents a set of Method or Constructor values.
MethodValBottom - Annotation Type in org.checkerframework.common.reflection.qual: The bottom type in the MethodVal type system.
min - Annotation Type in org.checkerframework.checker.units.qual: Minute.
min - Static variable in class org.checkerframework.checker.units.UnitsTools
MinLen - Annotation Type in org.checkerframework.common.value.qual: The value of the annotated expression is a sequence containing at least the given number of elements.
MinLenFieldInvariant - Annotation Type in org.checkerframework.common.value.qual: A specialization of FieldInvariant for specifying the minimum length of an array.
MixedUnits - Annotation Type in org.checkerframework.checker.units.qual: MixedUnits is the result of multiplying or dividing units, where no more specific unit is known from a UnitsRelations implementation.
mm - Annotation Type in org.checkerframework.checker.units.qual: Millimeter.
mm - Static variable in class org.checkerframework.checker.units.UnitsTools
mm2 - Annotation Type in org.checkerframework.checker.units.qual: Square millimeter.
mm2 - Static variable in class org.checkerframework.checker.units.UnitsTools
mol - Annotation Type in org.checkerframework.checker.units.qual: Mole (unit of Substance).
mol - Static variable in class org.checkerframework.checker.units.UnitsTools
MonotonicNonNull - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates that once the field (or variable) becomes non-null, it never becomes null again.
MonotonicQualifier - Annotation Type in org.checkerframework.framework.qual: A meta-annotation that indicates that a qualifier indicates that an expression goes monotonically from a type qualifier T to another qualifier S.
mPERs - Annotation Type in org.checkerframework.checker.units.qual: Meter per second.
mPERs - Static variable in class org.checkerframework.checker.units.UnitsTools
mPERs2 - Annotation Type in org.checkerframework.checker.units.qual: Meter per second squared.
mPERs2 - Static variable in class org.checkerframework.checker.units.UnitsTools

N

NegativeIndexFor - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression is between -1 and -a.length - 1, inclusive, for each sequence a listed in the annotation.
NewInstance - Annotation Type in org.checkerframework.common.reflection.qual: Annotation for methods like Constructor.newInstance, whose signature is:
T method(MethodVal{@code (classname=c, methodname="", params=p) Constructor this, Object...
NoDefaultQualifierForUse - Annotation Type in org.checkerframework.framework.qual: Declaration annotation applied to type declarations to specify that the annotation on the type declaration should not be applied to unannotated uses of the type.
NonLeaked - Annotation Type in org.checkerframework.common.aliasing.qual: This annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that could be accessed later) nor returned by the method body.
NonNegative - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer greater than or equal to 0.
NonNull - Annotation Type in org.checkerframework.checker.nullness.qual: If an expression's type is qualified by @NonNull, then the expression never evaluates to null.
NoQualifierParameter - Annotation Type in org.checkerframework.framework.qual: This is a declaration annotation that applies to type declarations.
NotCalledMethods - Annotation Type in org.checkerframework.checker.builder.qual: An annotation speculatively used by Lombok's lombok.config checkerframework = true option.
NotOnlyInitialized - Annotation Type in org.checkerframework.checker.initialization.qual: A declaration annotation for fields that indicates that a client might observe the field storing values that are Initialized, UnderInitialization, or UnknownInitialization, regardless of the initialization type annotation on the field's type.
Nullable - Annotation Type in org.checkerframework.checker.nullness.qual: Nullable is a type annotation that indicates that the value is not known to be non-null (see NonNull).
NullnessUtil - Class in org.checkerframework.checker.nullness: Utility class for the Nullness Checker.

O

Opt - Class in org.checkerframework.checker.nullness: Utility class for the Nullness Checker, providing every method in Optional, but written for possibly-null references rather than for the Optional type.
orElse(T, T) - Static method in class org.checkerframework.checker.nullness.Opt: Return primary if it is non-null.
orElseGet(T, Supplier<? extends T>) - Static method in class org.checkerframework.checker.nullness.Opt: Return primary if it is non-null.
orElseThrow(T, Supplier<? extends X>) - Static method in class org.checkerframework.checker.nullness.Opt: Return primary if it is non-null.
org.checkerframework.checker.builder.qual - package org.checkerframework.checker.builder.qual
org.checkerframework.checker.calledmethods.qual - package org.checkerframework.checker.calledmethods.qual
org.checkerframework.checker.compilermsgs.qual - package org.checkerframework.checker.compilermsgs.qual: Qualifiers for the Compiler Message Key Checker.
org.checkerframework.checker.fenum.qual - package org.checkerframework.checker.fenum.qual
org.checkerframework.checker.formatter - package org.checkerframework.checker.formatter
org.checkerframework.checker.formatter.qual - package org.checkerframework.checker.formatter.qual
org.checkerframework.checker.guieffect.qual - package org.checkerframework.checker.guieffect.qual
org.checkerframework.checker.i18n.qual - package org.checkerframework.checker.i18n.qual
org.checkerframework.checker.i18nformatter - package org.checkerframework.checker.i18nformatter
org.checkerframework.checker.i18nformatter.qual - package org.checkerframework.checker.i18nformatter.qual
org.checkerframework.checker.index.qual - package org.checkerframework.checker.index.qual
org.checkerframework.checker.initialization.qual - package org.checkerframework.checker.initialization.qual
org.checkerframework.checker.interning.qual - package org.checkerframework.checker.interning.qual
org.checkerframework.checker.lock.qual - package org.checkerframework.checker.lock.qual
org.checkerframework.checker.nullness - package org.checkerframework.checker.nullness
org.checkerframework.checker.nullness.qual - package org.checkerframework.checker.nullness.qual
org.checkerframework.checker.optional.qual - package org.checkerframework.checker.optional.qual
org.checkerframework.checker.propkey.qual - package org.checkerframework.checker.propkey.qual
org.checkerframework.checker.regex - package org.checkerframework.checker.regex
org.checkerframework.checker.regex.qual - package org.checkerframework.checker.regex.qual
org.checkerframework.checker.signature.qual - package org.checkerframework.checker.signature.qual
org.checkerframework.checker.signedness - package org.checkerframework.checker.signedness
org.checkerframework.checker.signedness.qual - package org.checkerframework.checker.signedness.qual
org.checkerframework.checker.tainting.qual - package org.checkerframework.checker.tainting.qual
org.checkerframework.checker.units - package org.checkerframework.checker.units
org.checkerframework.checker.units.qual - package org.checkerframework.checker.units.qual
org.checkerframework.common.aliasing.qual - package org.checkerframework.common.aliasing.qual
org.checkerframework.common.initializedfields.qual - package org.checkerframework.common.initializedfields.qual
org.checkerframework.common.reflection.qual - package org.checkerframework.common.reflection.qual
org.checkerframework.common.returnsreceiver.qual - package org.checkerframework.common.returnsreceiver.qual
org.checkerframework.common.subtyping.qual - package org.checkerframework.common.subtyping.qual
org.checkerframework.common.util.report.qual - package org.checkerframework.common.util.report.qual
org.checkerframework.common.value.qual - package org.checkerframework.common.value.qual
org.checkerframework.dataflow.qual - package org.checkerframework.dataflow.qual
org.checkerframework.framework.qual - package org.checkerframework.framework.qual: Contains the basic annotations to be used by all type systems and meta-annotations to qualify annotations (qualifiers).
org.checkerframework.framework.util - package org.checkerframework.framework.util

P

PartialRegex - Annotation Type in org.checkerframework.checker.regex.qual: Indicates a String that is not a syntactically valid regular expression.
PolyFenum - Annotation Type in org.checkerframework.checker.fenum.qual: A polymorphic qualifier for the fake enum type system.
PolyIndex - Annotation Type in org.checkerframework.checker.index.qual: A polymorphic qualifier for the Lower Bound and Upper Bound type systems.
PolyInitializedFields - Annotation Type in org.checkerframework.common.initializedfields.qual: Polymorphic qualifier for the Initialized Fields type system.
PolyInterned - Annotation Type in org.checkerframework.checker.interning.qual: A polymorphic qualifier for the Interning type system.
PolyKeyFor - Annotation Type in org.checkerframework.checker.nullness.qual: A polymorphic qualifier for the Map Key (@KeyFor) type system.
PolyLength - Annotation Type in org.checkerframework.checker.index.qual: Syntactic sugar for both @PolyValue and @PolySameLen.
PolyLowerBound - Annotation Type in org.checkerframework.checker.index.qual: A polymorphic qualifier for the Lower Bound type system.
PolymorphicQualifier - Annotation Type in org.checkerframework.framework.qual: A meta-annotation that indicates that an annotation is a polymorphic type qualifier.
PolyNull - Annotation Type in org.checkerframework.checker.nullness.qual: A polymorphic qualifier for the non-null type system.
PolyPresent - Annotation Type in org.checkerframework.checker.optional.qual: A polymorphic qualifier for the Optional type system.
PolyRegex - Annotation Type in org.checkerframework.checker.regex.qual: A polymorphic qualifier for the Regex type system.
PolySameLen - Annotation Type in org.checkerframework.checker.index.qual: A polymorphic qualifier for the SameLen type system.
PolySignature - Annotation Type in org.checkerframework.checker.signature.qual: A polymorphic qualifier for the Signature type system.
PolySigned - Annotation Type in org.checkerframework.checker.signedness.qual: A polymorphic qualifier for the signedness type system.
PolyTainted - Annotation Type in org.checkerframework.checker.tainting.qual: A polymorphic qualifier for the Tainting type system.
PolyUI - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the polymorphic-UI effect.
PolyUIEffect - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the polymorphic effect on methods, or on field accesses.
PolyUIType - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the polymorphic type declaration.
PolyUnit - Annotation Type in org.checkerframework.checker.units.qual: A polymorphic qualifier for the units-of-measure type system implemented by the Units Checker.
PolyUpperBound - Annotation Type in org.checkerframework.checker.index.qual: A polymorphic qualifier for the Upper Bound type system.
PolyValue - Annotation Type in org.checkerframework.common.value.qual: A polymorphic qualifier for the Constant Value Checker.
Positive - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer greater than or equal to 1.
PostconditionAnnotation - Annotation Type in org.checkerframework.framework.qual: A meta-annotation that indicates that an annotation E is a postcondition annotation, i.e., E is a type-specialized version of EnsuresQualifier or of EnsuresQualifier.List.
PreconditionAnnotation - Annotation Type in org.checkerframework.framework.qual: A meta-annotation that indicates that an annotation R is a precondition annotation, i.e., R is a type-specialized version of RequiresQualifier.
Prefix - Enum in org.checkerframework.checker.units.qual: SI prefixes.
Present - Annotation Type in org.checkerframework.checker.optional.qual: The Optional container definitely contains a (non-null) value.
primitiveLiteralKinds() - Static method in enum org.checkerframework.framework.qual.LiteralKind: Returns the primitive LiteralKinds: INT, LONG, FLOAT, DOUBLE, BOOLEAN, CHAR.
PrimitiveType - Annotation Type in org.checkerframework.checker.signature.qual: A primitive type.
PropertyKey - Annotation Type in org.checkerframework.checker.propkey.qual: Indicates that the String type can be used as key in a property file or resource bundle.
PropertyKeyBottom - Annotation Type in org.checkerframework.checker.propkey.qual: The bottom type in the PropertyKeyChecker (and associated checkers) qualifier hierarchy.
Pure - Annotation Type in org.checkerframework.dataflow.qual: Pure is a method annotation that means both SideEffectFree and Deterministic.
Pure.Kind - Enum in org.checkerframework.dataflow.qual: The type of purity.
PurityUnqualified - Annotation Type in org.checkerframework.framework.util: An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Purity Checker.
putUnsigned(ByteBuffer, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned byte into the ByteBuffer b.
putUnsigned(ByteBuffer, int, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned byte into the ByteBuffer b at i.
putUnsigned(IntBuffer, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int into the IntBuffer b.
putUnsigned(IntBuffer, int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int into the IntBuffer b at i.
putUnsigned(IntBuffer, int[]) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int array into the IntBuffer b.
putUnsigned(IntBuffer, int[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int array into the IntBuffer b at i with length l.
putUnsignedInt(ByteBuffer, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int into the ByteBuffer b.
putUnsignedInt(ByteBuffer, int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned int into the ByteBuffer b at i.
putUnsignedLong(ByteBuffer, int, long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned long into the ByteBuffer b at i.
putUnsignedShort(ByteBuffer, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned short into the ByteBuffer b.
putUnsignedShort(ByteBuffer, int, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Places an unsigned short into the ByteBuffer b at i.

Q

QualifierArgument - Annotation Type in org.checkerframework.framework.qual: An annotation to use on an element of a contract annotation to indicate that the element specifies the value of an argument of the qualifier.
QualifierForLiterals - Annotation Type in org.checkerframework.framework.qual: A meta-annotation that indicates what qualifier should be given to literals.

R

rad - Static variable in class org.checkerframework.checker.units.UnitsTools
radians - Annotation Type in org.checkerframework.checker.units.qual: Radians.
readFullyUnsigned(RandomAccessFile, byte[]) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads a file fully into an unsigned byte array.
readUnsigned(RandomAccessFile, byte[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads up to len bytes of data from this file into an unsigned array of bytes.
readUnsignedChar(RandomAccessFile) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads an unsigned char from the RandomAccessFile f.
readUnsignedInt(RandomAccessFile) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads an unsigned int from the RandomAccessFile f.
readUnsignedLong(RandomAccessFile) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Reads an unsigned long from the RandomAccessFile f.
Regex - Annotation Type in org.checkerframework.checker.regex.qual: If a type is annotated as @Regex(n), then the run-time value is a regular expression with n capturing groups.
RegexBottom - Annotation Type in org.checkerframework.checker.regex.qual: The bottom type in the Regex type system.
regexError(String) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns null if the argument is a syntactically valid regular expression.
regexError(String, int) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns null if the argument is a syntactically valid regular expression with at least the given number of groups.
regexException(String) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns null if the argument is a syntactically valid regular expression.
regexException(String, int) - Static method in class org.checkerframework.checker.regex.RegexUtil: Returns null if the argument is a syntactically valid regular expression with at least the given number of groups.
RegexUtil - Class in org.checkerframework.checker.regex: Utility methods for regular expressions, most notably for testing whether a string is a regular expression.
RegexUtil.CheckedPatternSyntaxException - Exception in org.checkerframework.checker.regex: A checked version of PatternSyntaxException.
ReleasesNoLocks - Annotation Type in org.checkerframework.checker.lock.qual: The method maintains a strictly nondecreasing lock held count on the current thread for any locks that were held prior to the method call.
RelevantJavaTypes - Annotation Type in org.checkerframework.framework.qual: An annotation on a SourceChecker subclass to specify which Java types are processed by the checker.
ReportCall - Annotation Type in org.checkerframework.common.util.report.qual: Report all calls of a method that has this annotation, including calls of methods that override this method.
ReportCreation - Annotation Type in org.checkerframework.common.util.report.qual: Report all instantiations of a class/interface that has this annotation, including any subclass.
ReportInherit - Annotation Type in org.checkerframework.common.util.report.qual: Report all types that extend/implement a type that has this annotation.
ReportOverride - Annotation Type in org.checkerframework.common.util.report.qual: Report all methods that override a method with this annotation.
ReportReadWrite - Annotation Type in org.checkerframework.common.util.report.qual: Report all read or write access to a field with this annotation.
ReportUnqualified - Annotation Type in org.checkerframework.common.util.report.qual: An annotation intended solely for representing an unqualified type in the qualifier hierarchy for the Report Checker.
ReportUse - Annotation Type in org.checkerframework.common.util.report.qual: Report all uses of a type that has this annotation.
ReportWrite - Annotation Type in org.checkerframework.common.util.report.qual: Report all write accesses to a field with this annotation.
RequiresNonNull - Annotation Type in org.checkerframework.checker.nullness.qual: Indicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.
RequiresQualifier - Annotation Type in org.checkerframework.framework.qual: A precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to the method.
RequiresQualifier.List - Annotation Type in org.checkerframework.framework.qual: A wrapper annotation that makes the RequiresQualifier annotation repeatable.
ReturnsFormat - Annotation Type in org.checkerframework.checker.formatter.qual: Attach this annotation to a method with the following properties: The first parameter is a format string.
ReturnsReceiver - Annotation Type in org.checkerframework.checker.builder.qual: A deprecated variant of org.checkerframework.common.returnsreceiver.qual.This.

S

s - Annotation Type in org.checkerframework.checker.units.qual: A second (1/60 of a minute).
s - Static variable in class org.checkerframework.checker.units.UnitsTools
SafeEffect - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the concrete safe effect on methods, or on field accesses.
SafeType - Annotation Type in org.checkerframework.checker.guieffect.qual: Class declaration annotation to make methods default to @AlwaysSafe.
SameLen - Annotation Type in org.checkerframework.checker.index.qual: An expression whose type has this annotation evaluates to a value that is a sequence, and that sequence has the same length as the given sequences.
SameLenBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the SameLen type system.
SameLenUnknown - Annotation Type in org.checkerframework.checker.index.qual: This type represents any variable that isn't known to have the same length as another sequence.
SearchIndexBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the Search Index type system.
SearchIndexFor - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to an integer whose length is between -a.length - 1 and a.length - 1, inclusive, for all sequences a listed in the annotation.
SearchIndexUnknown - Annotation Type in org.checkerframework.checker.index.qual: The top type for the SearchIndex type system.
setUnsignedRGB(BufferedImage, int, int, int, int, int[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtilExtra: Sets rgb of BufferedImage b given unsigned ints.
shortFromDouble(double) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned short representing the same value as the double.
shortFromFloat(float) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned short representing the same value as the float.
SideEffectFree - Annotation Type in org.checkerframework.dataflow.qual: A method is called side-effect-free if it has no visible side-effects, such as setting a field of an object that existed before the method was called.
SignatureBottom - Annotation Type in org.checkerframework.checker.signature.qual: The bottom type in the Signature String type system.
SignatureUnknown - Annotation Type in org.checkerframework.checker.signature.qual: Top qualifier in the type hierarchy.
Signed - Annotation Type in org.checkerframework.checker.signedness.qual: The value is to be interpreted as signed.
SignednessBottom - Annotation Type in org.checkerframework.checker.signedness.qual: The bottom type in the Signedness type system.
SignednessGlb - Annotation Type in org.checkerframework.checker.signedness.qual: Client code may interpret the value either as Signed or as Unsigned.
SignednessUtil - Class in org.checkerframework.checker.signedness: Provides static utility methods for unsigned values.
SignednessUtilExtra - Class in org.checkerframework.checker.signedness: Provides more static utility methods for unsigned values.
SignedPositive - Annotation Type in org.checkerframework.checker.signedness.qual: The expression's value is in the signed positive range; that is, its most significant bit is not set.
SignedPositiveFromUnsigned - Annotation Type in org.checkerframework.checker.signedness.qual: The expression is @SignedPositive, and its value came from widening a value that is allowed to be interpreted as unsigned.
Speed - Annotation Type in org.checkerframework.checker.units.qual: Units of speed.
StaticallyExecutable - Annotation Type in org.checkerframework.common.value.qual: StaticallyExecutable is a method annotation that indicates that the compiler is allowed to run the method at compile time, if all of the method's arguments are compile-time constants.
strings - Variable in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
stringToI18nConversionCategory(String) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Creates a conversion cagetogry from a string name.
StringVal - Annotation Type in org.checkerframework.common.value.qual: An annotation indicating the possible values for a String type.
StubFiles - Annotation Type in org.checkerframework.framework.qual: An annotation on a SourceChecker subclass to provide additional stub files that should be used in addition to jdk.astub.
Substance - Annotation Type in org.checkerframework.checker.units.qual: Units of substance, such as mole (@mol).
SubstringIndexBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the Substring Index type system.
SubstringIndexFor - Annotation Type in org.checkerframework.checker.index.qual: The annotated expression evaluates to either -1 or a non-negative integer less than the lengths of all the given sequences.
SubstringIndexUnknown - Annotation Type in org.checkerframework.checker.index.qual: The top type for the Substring Index type system.
SubtypeOf - Annotation Type in org.checkerframework.framework.qual: A meta-annotation to specify all the qualifiers that the given qualifier is an immediate subtype of.
SwingBoxOrientation - Annotation Type in org.checkerframework.checker.fenum.qual: SwingBoxOrientation.
SwingCompassDirection - Annotation Type in org.checkerframework.checker.fenum.qual: SwingCompassDirection.
SwingElementOrientation - Annotation Type in org.checkerframework.checker.fenum.qual: SwingElementOrientation.
SwingHorizontalOrientation - Annotation Type in org.checkerframework.checker.fenum.qual: SwingHorizontalOrientation.
SwingSplitPaneOrientation - Annotation Type in org.checkerframework.checker.fenum.qual: SwingSplitPaneOrientation.
SwingTextOrientation - Annotation Type in org.checkerframework.checker.fenum.qual: SwingTextOrientation.
SwingTitleJustification - Annotation Type in org.checkerframework.checker.fenum.qual: Vertical orientations for the title text of a TitledBorder.
SwingTitlePosition - Annotation Type in org.checkerframework.checker.fenum.qual: Justifications for the title text of a TitledBorder.
SwingVerticalOrientation - Annotation Type in org.checkerframework.checker.fenum.qual: SwingVerticalOrientation.

T

Tainted - Annotation Type in org.checkerframework.checker.tainting.qual: Denotes a possibly-tainted value: at run time, the value might be tainted or might be untainted.
TargetLocations - Annotation Type in org.checkerframework.framework.qual: NOTE: This meta-annotation is not currently enforced.
Temperature - Annotation Type in org.checkerframework.checker.units.qual: Units of temperature.
TerminatesExecution - Annotation Type in org.checkerframework.dataflow.qual: TerminatesExecution is a method annotation that indicates that a method terminates the execution of the program.
This - Annotation Type in org.checkerframework.common.returnsreceiver.qual: Write @This on the return type of a method that always returns its receiver (this).
Time - Annotation Type in org.checkerframework.checker.units.qual: Units of time.
toDegrees(double) - Static method in class org.checkerframework.checker.units.UnitsTools
toDouble(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a double representing the same value as the unsigned byte.
toDouble(short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a double representing the same value as the unsigned short.
toDouble(int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a double representing the same value as the unsigned int.
toDouble(long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a double representing the same value as the unsigned long.
toFloat(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a float representing the same value as the unsigned byte.
toFloat(short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a float representing the same value as the unsigned short.
toFloat(int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a float representing the same value as the unsigned int.
toFloat(long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns a float representing the same value as the unsigned long.
toRadians(double) - Static method in class org.checkerframework.checker.units.UnitsTools
toString() - Method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns a pretty printed ConversionCategory.
toString() - Method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns a pretty printed I18nConversionCategory.
toUnsignedInt(char) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned int representing the same value as an unsigned char.
toUnsignedLong(char) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned long representing the same value as an unsigned char.
toUnsignedShort(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned short representing the same value as an unsigned byte.
toUnsignedShort(char) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Returns an unsigned short representing the same value as an unsigned char.
toUnsignedString(short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned short s.
toUnsignedString(short, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned short s in base radix.
toUnsignedString(byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned byte b.
toUnsignedString(byte, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Produces a string representation of the unsigned byte b in base radix.
tryFormatSatisfiability(String) - Static method in class org.checkerframework.checker.formatter.FormatUtil: Throws an exception if the format is not syntactically valid.
tryFormatSatisfiability(String) - Static method in class org.checkerframework.checker.i18nformatter.I18nFormatUtil: Throws an exception if the format is not syntactically valid.
TypeKind - Enum in org.checkerframework.framework.qual: Specifies kinds of types.
types - Variable in enum org.checkerframework.checker.formatter.qual.ConversionCategory: The argument types.
types - Variable in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory
TypeUseLocation - Enum in org.checkerframework.framework.qual: Specifies the locations to which a DefaultQualifier annotation applies.

U

UI - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the UI effect.
UIEffect - Annotation Type in org.checkerframework.checker.guieffect.qual: Annotation for the concrete UI effect on methods, or on field accesses.
UIPackage - Annotation Type in org.checkerframework.checker.guieffect.qual: Package annotation to make all classes within a package @UIType.
UIType - Annotation Type in org.checkerframework.checker.guieffect.qual: Class declaration annotation to make methods default to @UI.
UnderInitialization - Annotation Type in org.checkerframework.checker.initialization.qual: This type qualifier indicates that an object is (definitely) in the process of being constructed/initialized.
union(ConversionCategory, ConversionCategory) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns the union of two categories.
union(I18nConversionCategory, I18nConversionCategory) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns the union of the two given I18nConversionCategories.
Unique - Annotation Type in org.checkerframework.common.aliasing.qual: An expression with this type has no aliases.
UnitsBottom - Annotation Type in org.checkerframework.checker.units.qual: The bottom type in the Units type system.
UnitsMultiple - Annotation Type in org.checkerframework.checker.units.qual: Define the relation between a base unit and the current unit.
UnitsRelations - Annotation Type in org.checkerframework.checker.units.qual: Specify the class that knows how to handle the meta-annotated unit when put in relation (plus, multiply, ...) with another unit.
UnitsTools - Class in org.checkerframework.checker.units: Utility methods to generate annotated types and to convert between them.
UnitsTools() - Constructor for class org.checkerframework.checker.units.UnitsTools
UnknownClass - Annotation Type in org.checkerframework.common.reflection.qual: Represents a Class object whose run-time value is not known at compile time.
UnknownCompilerMessageKey - Annotation Type in org.checkerframework.checker.compilermsgs.qual: A String that might or might not be a compiler message key.
UnknownFormat - Annotation Type in org.checkerframework.checker.formatter.qual: The top qualifier.
UnknownInitialization - Annotation Type in org.checkerframework.checker.initialization.qual: This type qualifier indicates how much of an object has been fully initialized.
UnknownInterned - Annotation Type in org.checkerframework.checker.interning.qual: The top qualifier for the Interning Checker.
UnknownKeyFor - Annotation Type in org.checkerframework.checker.nullness.qual: Used internally by the type system; should never be written by a programmer.
UnknownLocalizableKey - Annotation Type in org.checkerframework.checker.i18n.qual: Indicates that the String type has an unknown localizable key property.
UnknownLocalized - Annotation Type in org.checkerframework.checker.i18n.qual: Indicates that the String type has unknown localization properties.
UnknownMethod - Annotation Type in org.checkerframework.common.reflection.qual: Represents a Method or Constructor expression whose run-time value is not known at compile time.
UnknownPropertyKey - Annotation Type in org.checkerframework.checker.propkey.qual: Indicates that the String type has an unknown property key property.
UnknownRegex - Annotation Type in org.checkerframework.checker.regex.qual: Represents the top of the Regex qualifier hierarchy.
UnknownSignedness - Annotation Type in org.checkerframework.checker.signedness.qual: The value's signedness is not known to the Signedness Checker.
UnknownThis - Annotation Type in org.checkerframework.common.returnsreceiver.qual: The top type for the Returns Receiver Checker's type system.
UnknownUnits - Annotation Type in org.checkerframework.checker.units.qual: UnknownUnits is the top type of the type hierarchy.
UnknownVal - Annotation Type in org.checkerframework.common.value.qual: UnknownVal is a type annotation indicating that the expression's value is not known at compile type.
Unqualified - Annotation Type in org.checkerframework.common.subtyping.qual: A special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf.value(), in a type qualifier declaration.
Unsigned - Annotation Type in org.checkerframework.checker.signedness.qual: The value is to be interpreted as unsigned.
Untainted - Annotation Type in org.checkerframework.checker.tainting.qual: Denotes a reference that is untainted, i.e.
Unused - Annotation Type in org.checkerframework.framework.qual: Declares that the field may not be accessed if the receiver is of the specified qualifier type (or any supertype).
UpperBoundBottom - Annotation Type in org.checkerframework.checker.index.qual: The bottom type in the Upper Bound type system.
UpperBoundFor - Annotation Type in org.checkerframework.framework.qual: A meta-annotation applied to the declaration of a type qualifier.
UpperBoundUnknown - Annotation Type in org.checkerframework.checker.index.qual: A variable not known to have a relation to any sequence length.
UsesObjectEquals - Annotation Type in org.checkerframework.checker.interning.qual: Class declaration to indicate the class does not override equals(Object), and therefore a.equals(b) and a == b behave identically.

V

valueOf(String) - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.checker.units.qual.Prefix: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.dataflow.qual.Pure.Kind: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.framework.qual.LiteralKind: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.framework.qual.TypeKind: Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum org.checkerframework.framework.qual.TypeUseLocation: Returns the enum constant of this type with the specified name.
values() - Static method in enum org.checkerframework.checker.formatter.qual.ConversionCategory: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.checker.i18nformatter.qual.I18nConversionCategory: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.checker.units.qual.Prefix: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.dataflow.qual.Pure.Kind: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.framework.qual.LiteralKind: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.framework.qual.TypeKind: Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum org.checkerframework.framework.qual.TypeUseLocation: Returns an array containing the constants of this enum type, in the order they are declared.

W

wrapUnsigned(byte[]) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Wraps an unsigned byte array into a ByteBuffer.
wrapUnsigned(byte[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Wraps an unsigned byte array into a ByteBuffer.
writeUnsigned(RandomAccessFile, byte[], int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes len unsigned bytes to the RandomAccessFile f at offset off.
writeUnsignedByte(RandomAccessFile, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned byte to the RandomAccessFile f.
writeUnsignedChar(RandomAccessFile, char) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned char to the RandomAccessFile f.
writeUnsignedInt(RandomAccessFile, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned byte to the RandomAccessFile f.
writeUnsignedLong(RandomAccessFile, long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned byte to the RandomAccessFile f.
writeUnsignedShort(RandomAccessFile, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil: Writes an unsigned short to the RandomAccessFile f.

A B C D E F G H I J K L M N O P Q R S T U V W