Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



# Classes and Interfaces in #Checker - 899 results found.
NameDescriptionTypePackageFramework
AClassorg.checkerframework.checker.units.qualChecker
A2FClassorg.checkerframework.framework.util.typeinference.constraintChecker
A2FReducerA2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint.Classorg.checkerframework.framework.util.typeinference.constraintChecker
AbstractAtmComboVisitor defaultErrorMessage.Classorg.checkerframework.framework.type.visitorChecker
AbstractNodeVisitorA default implementation of the node visitor interface.Classorg.checkerframework.dataflow.cfg.nodeChecker
AbstractNullnessCheckerAn implementation of the nullness type-system, parameterized by an initialization type-system for safe initialization.Classorg.checkerframework.checker.nullnessChecker
AbstractTypeProcessorThis class is an abstract annotation processor designed to be a convenient superclass for concrete "type processors", processors thatClassorg.checkerframework.javacutilChecker
AbstractValueAn abstract value used in the org.Interfaceorg.checkerframework.dataflow.analysisChecker
AccelerationClassorg.checkerframework.checker.units.qualChecker
AFConstraintAFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations.Classorg.checkerframework.framework.util.typeinference.constraintChecker
AFReducerAFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducibleInterfaceorg.checkerframework.framework.util.typeinference.constraintChecker
AggregateCheckerAn aggregate checker that packages multiple checkers together.Classorg.checkerframework.framework.sourceChecker
AliasingAnnotatedTypeFactoryClassorg.checkerframework.common.aliasingChecker
AliasingCheckerAliasing type system -- used to identify expressions that definitely haveSee the Checker Framework Manual:Aliasing CheckerClassorg.checkerframework.common.aliasingChecker
AliasingTransferType refinement is treated in the usual way, except that at (pseudo-)assignments the RHS may lose its type refinement, before the LHS isClassorg.checkerframework.common.aliasingChecker
AliasingVisitorThis visitor ensures that every constructor whose result is annotated as @Unique does not leak aliases.Classorg.checkerframework.common.aliasingChecker
AlwaysSafeClassorg.checkerframework.checker.guieffect.qualChecker
AnalysisAn implementation of an iterative algorithm to solve a org.Classorg.checkerframework.dataflow.analysisChecker
AnalysisResultAn AnalysisResult represents the result of a org.Classorg.checkerframework.dataflow.analysisChecker
AngleClassorg.checkerframework.checker.units.qualChecker
AnnotatedForIndicates that this class has been annotated for the given type system.Classorg.checkerframework.framework.qualChecker
AnnotatedTypeComparerA TypeVisitor that takes an AnnotatedTypeMirror as a parameter, and visits it simultaneously.Classorg.checkerframework.framework.type.visitorChecker
AnnotatedTypeCopierAnnotatedTypeCopier is a visitor that deep copies an AnnotatedTypeMirror exactly, including any lazily initialized fields.Classorg.checkerframework.framework.typeChecker
AnnotatedTypeFactoryThe methods of this class take an element or AST node, and return the annotated type as an AnnotatedTypeMirror.Classorg.checkerframework.framework.typeChecker
AnnotatedTypeFormatterConverts an AnnotatedTypeMirror mirror into a formatted string.Interfaceorg.checkerframework.framework.typeChecker
AnnotatedTypeMergerReplaces or adds all the annotations in the parameter with the annotations from the visited type.Classorg.checkerframework.framework.type.visitorChecker
AnnotatedTypeMirrorRepresents an annotated type in the Java programming language.Classorg.checkerframework.framework.typeChecker
AnnotatedTypeParameterBoundsClassorg.checkerframework.framework.typeChecker
AnnotatedTypeReplacerDuplicates annotated types and replaces components according to a replacement map.Classorg.checkerframework.framework.typeChecker
AnnotatedTypesUtility methods for operating on AnnotatedTypeMirror.Classorg.checkerframework.framework.utilChecker
AnnotatedTypeScannerA TypeVisitor that visits all the child tree nodes.Classorg.checkerframework.framework.type.visitorChecker
AnnotatedTypeVisitorA Visitor class of annotated types, in the style of the visitor A visitor of types, in the style of the visitor design pattern.Interfaceorg.checkerframework.framework.type.visitorChecker
AnnotationBuilderBuilds an annotation mirror that may have some values.Classorg.checkerframework.framework.utilChecker
AnnotationClassLoaderThis class assists the AnnotatedTypeFactory by reflectively looking up the list of annotation class names in each checker's qual directory, andClassorg.checkerframework.framework.typeChecker
AnnotationConverterDefaultQualifiedTypeFactory component for converting annotations written in source code into type qualifiers.Interfaceorg.checkerframework.qualframework.baseChecker
AnnotationConverterConfigurationPlain old java object to help configure SimpleQualifierParameterAnnotationConverter.Classorg.checkerframework.qualframework.polyChecker
AnnotationDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
AnnotationExprClassorg.checkerframework.stubparser.ast.exprChecker
AnnotationFormatterConverts AnnotationMirrors to Strings For converting AnnotatedTypeMirrors:Interfaceorg.checkerframework.framework.utilChecker
AnnotationMemberDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
AnnotationProviderInterfaceorg.checkerframework.javacutilChecker
AnnotationsCounterAn annotation processor for counting the occurrences of annotations.Classorg.checkerframework.common.util.countChecker
AnnotationUtilsA utility class for working with annotations.Classorg.checkerframework.javacutilChecker
AreaClassorg.checkerframework.checker.units.qualChecker
ArrayAccessExprClassorg.checkerframework.stubparser.ast.exprChecker
ArrayAccessNodeA node for an array access: array ref [ index ]Classorg.checkerframework.dataflow.cfg.nodeChecker
ArrayCreationExprClassorg.checkerframework.stubparser.ast.exprChecker
ArrayCreationNodeA node for new array creation new type [] = { expr1, expr2, .Classorg.checkerframework.dataflow.cfg.nodeChecker
ArrayInitializerExprClassorg.checkerframework.stubparser.ast.exprChecker
ArrayLenAn annotation indicating the length of an array type.Classorg.checkerframework.common.value.qualChecker
ArrayTypeNodeA node representing a array type used in an expression such as a field accessClassorg.checkerframework.dataflow.cfg.nodeChecker
AssertionErrorNodeA node for the AssertionError when an assertion fails.Classorg.checkerframework.dataflow.cfg.nodeChecker
AssertNonNullIfNonNullIndicates that if the method returns a non-null value, then the value expressions are also non-null.Classorg.checkerframework.checker.nullness.qualChecker
AssertStmtClassorg.checkerframework.stubparser.ast.stmtChecker
AssignableClassorg.checkerframework.checker.igj.qualChecker
AssignableClassorg.checkerframework.checker.javari.qualChecker
AssignableClassorg.checkerframework.checker.oigj.qualChecker
AssignExprClassorg.checkerframework.stubparser.ast.exprChecker
AssignmentContextAn assignment context for a node, which represents the place to which the node with this context is 'assigned' to.Classorg.checkerframework.dataflow.cfg.nodeChecker
AssignmentNodeA node for an assignment: variable = expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
AssignsFieldsClassorg.checkerframework.checker.igj.qualChecker
AssignsFieldsClassorg.checkerframework.checker.oigj.qualChecker
ASTHelperThis class helps to construct new nodes.Classorg.checkerframework.stubparserChecker
ASTParserConstantsToken literal values and constants.Interfaceorg.checkerframework.stubparserChecker
ASTParserTokenManagerClassorg.checkerframework.stubparserChecker
AtmComboAn enum representing the cartesian product of the set of AtmKinds with itself.Classorg.checkerframework.framework.utilChecker
AtmComboVisitorVisitor interface for all pair-wise combinations of AnnotatedTypeMirrors.Interfaceorg.checkerframework.framework.type.visitorChecker
AwtAlphaCompositingRuleBasic alpha compositing rules for combining source and destination colors to achieve blending and transparencyClassorg.checkerframework.checker.fenum.qualChecker
AwtColorSpaceColor space tags to identify the specific color space of a Color object or, via a ColorModel object, of an Image, a BufferedImage,Classorg.checkerframework.checker.fenum.qualChecker
AwtCursorTypeClassorg.checkerframework.checker.fenum.qualChecker
AwtFlowLayoutClassorg.checkerframework.checker.fenum.qualChecker
BaseAnnotatedTypeFactoryA factory that extends GenericAnnotatedTypeFactory to use the default flow-sensitive analysis as provided by CFAnalysis.Classorg.checkerframework.common.basetypeChecker
BaseContextA collection of references to javac components.Interfaceorg.checkerframework.framework.utilChecker
BaseTypeCheckerAn abstract SourceChecker that provides a simple SourceVisitor implementation that type-checks assignments, pseudo-assignments such as parameter passingClassorg.checkerframework.common.basetypeChecker
BaseTypeContextAn extension of CFContext that includes BaseTypeChecker-specific components.Interfaceorg.checkerframework.common.basetypeChecker
BaseTypeValidatorA visitor to validate the types in a tree.Classorg.checkerframework.common.basetypeChecker
BaseTypeVisitorA SourceVisitor that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking.Classorg.checkerframework.common.basetypeChecker
BasicAnnotationProviderClassorg.checkerframework.javacutilChecker
BasicTypeProcessorProcess the types in an AST in a trivial manner, with hooks for derived classes to actually do something.Classorg.checkerframework.javacutilChecker
BinaryExprClassorg.checkerframework.stubparser.ast.exprChecker
BinaryNameRepresents a binary name as defined in the Java Language Specification, section 13.Classorg.checkerframework.checker.signature.qualChecker
BinaryNameForNonArrayClassorg.checkerframework.checker.signature.qualChecker
BinaryNameForNonArrayInUnnamedPackageRepresents a binary name as defined in the Java Language Specification, section 13.Classorg.checkerframework.checker.signature.qualChecker
BinaryNameInUnnamedPackageRepresents a string that is both a BinaryName and an InternalForm.Classorg.checkerframework.checker.signature.qualChecker
BitwiseAndNodeA node for the bitwise or logical (single bit) and operation: expression & expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
BitwiseComplementNodeA node for the bitwise complement operation:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeChecker
BitwiseOrNodeA node for the bitwise or logical (single bit) or operation: expression Classorg.checkerframework.dataflow.cfg.nodeChecker
BitwiseXorNodeA node for the bitwise or logical (single bit) xor operation: expression ^ expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
BlockRepresents a basic block in a control flow graph.Interfaceorg.checkerframework.dataflow.cfg.blockChecker
BlockComment AST node that represent block comments.Classorg.checkerframework.stubparser.astChecker
BlockImplBase class of the Block implementation hierarchy.Classorg.checkerframework.dataflow.cfg.blockChecker
BlockStmtClassorg.checkerframework.stubparser.ast.stmtChecker
BodyDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
BooleanLiteralExprClassorg.checkerframework.stubparser.ast.exprChecker
BooleanLiteralNodeClassorg.checkerframework.dataflow.cfg.nodeChecker
BoolValAn annotation indicating the possible values for a bool type.Classorg.checkerframework.common.value.qualChecker
BottomA special annotation intended solely for representing the bottom type in the qualifier hierarchy.Classorg.checkerframework.framework.qualChecker
BottomValClassorg.checkerframework.common.value.qualChecker
BoundsInitializerBoundsInitializer creates the bounds for type variables and wildcards.Classorg.checkerframework.framework.typeChecker
BreakStmtClassorg.checkerframework.stubparser.ast.stmtChecker
ByteMathClassorg.checkerframework.common.value.utilChecker
CClassorg.checkerframework.checker.units.qualChecker
CaseNodeA node for a case in a switch statement.Classorg.checkerframework.dataflow.cfg.nodeChecker
CastExprClassorg.checkerframework.stubparser.ast.exprChecker
CatchClauseClassorg.checkerframework.stubparser.ast.stmtChecker
cdCandela (unit of luminance).Classorg.checkerframework.checker.units.qualChecker
CFAbstractAnalysisCFAbstractAnalysis is an extensible org.Classorg.checkerframework.framework.flowChecker
CFAbstractStoreA store for the checker framework analysis tracks the annotations of memory locations such as local variables and fields.Classorg.checkerframework.framework.flowChecker
CFAbstractTransferThe default analysis transfer function for the Checker Framework propagates information through assignments and uses the AnnotatedTypeFactory toClassorg.checkerframework.framework.flowChecker
CFAbstractValueAn implementation of an abstract value used by the Checker Framework org.Classorg.checkerframework.framework.flowChecker
CFAnalysisThe default org.Classorg.checkerframework.framework.flowChecker
CFCFGBuilderA control-flow graph builder (see CFGBuilder) that knows about the Checker Framework annotations and their representation asClassorg.checkerframework.framework.flowChecker
CFContextA collection of references to various type checker components.Interfaceorg.checkerframework.framework.utilChecker
CFGBuilderBuilds the control flow graph of some Java code (either a method, or an arbitrary statement).Classorg.checkerframework.dataflow.cfgChecker
CFGDOTVisualizerGenerate a graph description in the DOT language of a control graph.Classorg.checkerframework.dataflow.cfgChecker
CFStoreThe default store used in the Checker Framework.Classorg.checkerframework.framework.flowChecker
CFTransferThe default transfer function used in the Checker Framework.Classorg.checkerframework.framework.flowChecker
CFTreeBuilderThe TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker.Classorg.checkerframework.framework.flowChecker
CFValueThe default abstract value used in the Checker Framework.Classorg.checkerframework.framework.flowChecker
CharacterLiteralNodeA node for a character literal.Classorg.checkerframework.dataflow.cfg.nodeChecker
CharLiteralExprClassorg.checkerframework.stubparser.ast.exprChecker
CheckerMain entry point for a pluggable type system.Classorg.checkerframework.qualframework.baseChecker
CheckerAdapterAdapter class for Checker, extending org.Classorg.checkerframework.qualframework.baseChecker
CheckerDevelMainClassorg.checkerframework.framework.utilChecker
CheckerFrameworkTestTo use this class you must do two things: Create exactly 1 constructor in the subclass with exactly 1 argumentClassorg.checkerframework.framework.testChecker
CheckerMainThis class functions essentially the same as the jsr308-langtools javac script EXCEPT that it adds the appropriate jdk.Classorg.checkerframework.framework.utilChecker
ClassBoundThis represents a Class object whose run-time value is equal to or a subtype of one of the arguments.Classorg.checkerframework.common.reflection.qualChecker
ClassExprClassorg.checkerframework.stubparser.ast.exprChecker
ClassGetNameThe type representation used by the Class.Classorg.checkerframework.checker.signature.qualChecker
ClassGetSimpleNameClassorg.checkerframework.checker.signature.qualChecker
ClassNameNodeA node representing a class name used in an expression such as a static method invocation.Classorg.checkerframework.dataflow.cfg.nodeChecker
ClassOrInterfaceDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
ClassOrInterfaceTypeClassorg.checkerframework.stubparser.ast.typeChecker
ClassRegexParamClassRegexParam declares a regex qualifier parameter on a class.Classorg.checkerframework.checker.regex.qualChecker
ClassTaintingParamClassTaintingParam declares a tainting qualifier parameter on a class.Classorg.checkerframework.checker.tainting.qualChecker
ClassTypeParamApplierApplies the annotations present for a class type parameter onto an AnnotatedTypeVariable.Classorg.checkerframework.framework.util.elementChecker
ClassValThis represents a Class object where the set of possible values of T is known at compile time.Classorg.checkerframework.common.reflection.qualChecker
ClassValAnnotatedTypeFactoryClassorg.checkerframework.common.reflectionChecker
ClassValBottomClassorg.checkerframework.common.reflection.qualChecker
ClassValCheckerThe ClassVal Checker provides a sound estimate of the binary name of ClassSee the Checker Framework Manual:ClassVal CheckerClassorg.checkerframework.common.reflectionChecker
ClassValVisitorClassorg.checkerframework.common.reflectionChecker
CollectionToArrayHeuristicsHandles calls to Collection.Classorg.checkerframework.checker.nullnessChecker
CollectionUtilsClassorg.checkerframework.javacutilChecker
CombiningOperationA binary operation for combining qualifiers of type Q.Interfaceorg.checkerframework.qualframework.polyChecker
ComboLogCreated by jburke on 6/12/14.Classorg.checkerframework.framework.utilChecker
CommentAbstract class for all AST nodes that represent comments.Classorg.checkerframework.stubparser.astChecker
CompilationResultCompilationResult represents the output of the compiler after it is run.Classorg.checkerframework.framework.testChecker
CompilationUnit This class represents the entire compilation unit.Classorg.checkerframework.stubparser.astChecker
CompilerMessageKeyClassorg.checkerframework.checker.compilermsgs.qualChecker
CompilerMessagesAnnotatedTypeFactoryA PropertyKeyATF that uses CompilerMessageKey to annotate the keys.Classorg.checkerframework.checker.compilermsgsChecker
CompilerMessagesCheckerA PropertyKeyChecker for the compiler message keys that are used in the Checker framework.Classorg.checkerframework.checker.compilermsgsChecker
ConditionalAndNodeA node for a conditional and expression: expression && expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
ConditionalBlockInterfaceorg.checkerframework.dataflow.cfg.blockChecker
ConditionalBlockImplClassorg.checkerframework.dataflow.cfg.blockChecker
ConditionalExprClassorg.checkerframework.stubparser.ast.exprChecker
ConditionalNotNodeA node for a conditional not expression:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeChecker
ConditionalOrNodeA node for a conditional or expression: expression Classorg.checkerframework.dataflow.cfg.nodeChecker
ConditionalPostconditionAnnotationA meta-annotation that indicates that an annotation is a conditional postcondition annotation, i.Classorg.checkerframework.framework.qualChecker
ConditionalTransferResult one for the 'then' edge and one for 'else'.Classorg.checkerframework.dataflow.analysisChecker
ConstantClassorg.checkerframework.dataflow.constantpropagationChecker
ConstantPropagationPlaygroundClassorg.checkerframework.dataflow.cfg.playgroundChecker
ConstantPropagationStoreClassorg.checkerframework.dataflow.constantpropagationChecker
ConstantPropagationTransferClassorg.checkerframework.dataflow.constantpropagationChecker
ConstraintMapConstraintMap holds simplified versions of the TUConstraints for ALL type variable for which we are inferring an argument.Classorg.checkerframework.framework.util.typeinference.solverChecker
ConstraintMapBuilderConverts a set of TUConstraints into a ConstraintMap.Classorg.checkerframework.framework.util.typeinference.solverChecker
ConstructorDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
ConstructorReturnUtilClass to hold a utility method needed by TypeFromExpression and BaseTypeVisitor.Classorg.checkerframework.framework.utilChecker
ContainmentHierarchyClassorg.checkerframework.qualframework.polyChecker
ContinueStmtClassorg.checkerframework.stubparser.ast.stmtChecker
ContractsUtilsA utility class to handle pre- and postconditions.Classorg.checkerframework.framework.utilChecker
ControlFlowGraphA control flow graph (CFG for short) of a single method.Classorg.checkerframework.dataflow.cfgChecker
ConversionCategoryenum ConversionCategoryElements of this enumeration are used in a Format annotationClassorg.checkerframework.checker.formatter.qualChecker
CovariantA marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly.Classorg.checkerframework.checker.nullness.qualChecker
CurrentClassorg.checkerframework.checker.units.qualChecker
DebugListTreeAnnotatorA ListTreeAnnotator implementation that additionally outputs debugging information.Classorg.checkerframework.framework.type.treeannotatorChecker
DeclarationsIntoElementsA helper class that puts the declaration annotations from a method declaration back into the corresponding Elements, so that they get stored in the bytecodeClassorg.checkerframework.framework.typeChecker
DefaultAnnotatedTypeFormatterAn AnnotatedTypeFormatter used by default by all AnnotatedTypeFactory (and therefore allSee Also:AnnotatedTypeFormatter, Classorg.checkerframework.framework.typeChecker
DefaultAnnotationFormatterA utility for converting AnnotationMirrors to Strings.Classorg.checkerframework.framework.utilChecker
DefaultForApplied to the declaration of a type qualifier specifies that the given annotation should be the default for a particular location.Classorg.checkerframework.framework.qualChecker
DefaultInferredTypesApplierUtility class for applying the annotations inferred by dataflow to a given type.Classorg.checkerframework.framework.typeChecker
DefaultInUncheckedCodeForApplied to the declaration of a type qualifier, specifies that the given annotation should be the default for unannotated type usesClassorg.checkerframework.framework.qualChecker
DefaultQualFormatterDefaultQualFormatter is a very basic QualFormatter that returns the toString of the qual.Classorg.checkerframework.qualframework.base.formatChecker
DefaultQualifiedTypeFactoryDefault implementation of QualifiedTypeFactory.Classorg.checkerframework.qualframework.baseChecker
DefaultQualifiedTypeFormatterDefaultQualifiedTypeFormatter formats QualifiedTypeMirrors into Strings.Classorg.checkerframework.qualframework.base.formatChecker
DefaultQualifierApplied to a declaration of a package, type, method, variable, etc.Classorg.checkerframework.framework.qualChecker
DefaultQualifierInHierarchyIndicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicitClassorg.checkerframework.framework.qualChecker
DefaultQualifierInHierarchyInUncheckedCodeIndicates that the annotated qualifier is the default qualifier on unannotated type uses (in bytecode or source code that has not been type-checked).Classorg.checkerframework.framework.qualChecker
DefaultQualifiersSpecifies the annotations to be included in a type without having to provide This annotation permits specifying multiple default qualifiers for moreClassorg.checkerframework.framework.qualChecker
DefaultRawnessComparer //TODO: USING THE SAME LOGIC AS THE OLD TYPE_HIERARCHY.Classorg.checkerframework.framework.typeChecker
DefaultReflectionResolverDefault implementation of ReflectionResolver, which resolves calls Method.Classorg.checkerframework.common.reflectionChecker
DefaultTypeArgumentInferenceAn implementation of TypeArgumentInference that mostly follows the process outlined in JLS7 Note, there are some deviations JLS 7 for the following cases:Classorg.checkerframework.framework.util.typeinferenceChecker
DefaultTypeHierarchyDefault implementation of TypeHierarchy that implements the JLS specification with minor deviations as outlined by the Checker Framework manual.Classorg.checkerframework.framework.typeChecker
DefaultTypeHierarchyDefault implementation of TypeHierarchy.Classorg.checkerframework.qualframework.baseChecker
degreesClassorg.checkerframework.checker.units.qualChecker
DependentRefines the qualified type of the annotated field or variable based on the qualified type of the receiver.Classorg.checkerframework.framework.qualChecker
DependentTypesClassorg.checkerframework.framework.utilChecker
DetachedVarSymbolA DetachedVarSymbol represents a variable that is not part of any AST Tree.Classorg.checkerframework.javacutil.treesChecker
DeterministicA method is called deterministic if it returns the same value (according to ==) every time it is called with the sameClassorg.checkerframework.dataflow.qualChecker
DiagnosticKindIndicates what type of Error was, or expected to be, encountered during typecheckingEnum Constant SummaryClassorg.checkerframework.framework.test.diagnosticsChecker
DominatorClassorg.checkerframework.checker.oigj.qualChecker
DoStmtClassorg.checkerframework.stubparser.ast.stmtChecker
DoubleLiteralExprClassorg.checkerframework.stubparser.ast.exprChecker
DoubleLiteralNodeA node for a double literal.Classorg.checkerframework.dataflow.cfg.nodeChecker
DoubleMathClassorg.checkerframework.common.value.utilChecker
DoubleValAn annotation indicating the possible values for a double or float type.Classorg.checkerframework.common.value.qualChecker
DumpVisitorBuilds a string representation of any AST node for printing.Classorg.checkerframework.stubparser.ast.visitorChecker
EffectClassorg.checkerframework.checker.guieffectChecker
ElementAnnotationApplierUtility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element).Classorg.checkerframework.framework.typeChecker
ElementAnnotationUtilUtility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element).Classorg.checkerframework.framework.util.elementChecker
ElementUtilsA Utility class for analyzing Elements.Classorg.checkerframework.javacutilChecker
EmptyMemberDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
EmptyProcessorEmpty simple processor.Classorg.checkerframework.common.util.debugChecker
EmptyStmtClassorg.checkerframework.stubparser.ast.stmtChecker
EmptyTypeDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
EnclosedExprClassorg.checkerframework.stubparser.ast.exprChecker
EnsuresLockHeldIndicates that the value expressions are LockHeld if the method terminates successfully.Classorg.checkerframework.checker.lock.qualChecker
EnsuresLockHeldIfIndicates that the given expressions are @LockHeld if the method returns the given result (either true or false).Classorg.checkerframework.checker.lock.qualChecker
EnsuresNonNullIndicates that the value expressions are non-null, if the method terminates successfully.Classorg.checkerframework.checker.nullness.qualChecker
EnsuresNonNullIfIndicates that the given expressions are non-null, if the method returns the given result (either true or false).Classorg.checkerframework.checker.nullness.qualChecker
EnsuresQualifierA postcondition annotation to indicate that a method ensures certain expressions to have a certain type qualifier once the method has successfullyClassorg.checkerframework.framework.qualChecker
EnsuresQualifierIfA conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has finished,Classorg.checkerframework.framework.qualChecker
EnsuresQualifiersA meta-annotation to allow multiple postcondition annotations.Classorg.checkerframework.framework.qualChecker
EnsuresQualifiersIfA meta-annotation to allow multiple conditional postcondition annotations.Classorg.checkerframework.framework.qualChecker
EnumConstantDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
EnumDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
EqualitiesSolverEqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap.Classorg.checkerframework.framework.util.typeinference.solverChecker
EqualityAtmComparerCompares two annotated type mirrors for structural equality using only the primary annotations and underlying types of the two input types and their component types.Classorg.checkerframework.framework.typeChecker
EqualsVisitorClassorg.checkerframework.stubparser.ast.visitorChecker
EqualToNodeA node for an equality check: expression == expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
EquivalentAtmComboScannerEquivalentAtmComboScanner is an AtmComboVisitor that accepts combinations that are identical in TypeMirror structure but might differ in contained AnnotationMirrors.Classorg.checkerframework.framework.type.visitorChecker
ErrorHandlerAn implementation of the ErrorHandler interface can be registered with the ErrorReporter class to change the default behavior onInterfaceorg.checkerframework.javacutilChecker
ErrorReporterHandle errors detected in utility classes.Classorg.checkerframework.javacutilChecker
ExceptionBlockRepresents a basic block that contains exactly one Node which can throw an exception.Interfaceorg.checkerframework.dataflow.cfg.blockChecker
ExceptionBlockImplBase class of the Block implementation hierarchy.Classorg.checkerframework.dataflow.cfg.blockChecker
ExecUtilClassorg.checkerframework.framework.utilChecker
ExplicitConstructorInvocationStmtClassorg.checkerframework.stubparser.ast.stmtChecker
ExplicitThisLiteralNodeA node for a reference to 'this'.Classorg.checkerframework.dataflow.cfg.nodeChecker
ExpressionClassorg.checkerframework.stubparser.ast.exprChecker
ExpressionStmtClassorg.checkerframework.stubparser.ast.stmtChecker
ExtendedArrayTypeReturns the component type of this array type.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedDeclaredTypeReturns the element corresponding to this type.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedErrorTypeInterfaceorg.checkerframework.qualframework.utilChecker
ExtendedExecutableTypeReturns the element corresponding to this type.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedIntersectionTypeReturn the bounds comprising this intersection type.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedNoTypeInterfaceorg.checkerframework.qualframework.utilChecker
ExtendedNullTypeInterfaceorg.checkerframework.qualframework.utilChecker
ExtendedParameterDeclarationReturns the element corresponding to this type variable.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedPrimitiveTypeInterfaceorg.checkerframework.qualframework.utilChecker
ExtendedReferenceTypeInterfaceorg.checkerframework.qualframework.utilChecker
ExtendedTypeDeclarationReturns the element corresponding to this type.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedTypeMirrorRepresents a type in the Java programming language.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedTypeVariable Unlike TypeVariable, this interface does not provide methods to obtain the upper and lower bounds of the type variable.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedTypeVisitorInterfaceorg.checkerframework.qualframework.utilChecker
ExtendedUnionTypeReturn the alternatives comprising this union type.Interfaceorg.checkerframework.qualframework.utilChecker
ExtendedWildcardTypeReturns the upper bound of this wildcard.Interfaceorg.checkerframework.qualframework.utilChecker
F2AClassorg.checkerframework.framework.util.typeinference.constraintChecker
F2AReducerF2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.Classorg.checkerframework.framework.util.typeinference.constraintChecker
FBCBottomClassorg.checkerframework.checker.initialization.qualChecker
FenumA generic fake enumeration qualifier that is parameterized by a name.Classorg.checkerframework.checker.fenum.qualChecker
FenumAnnotatedTypeFactoryClassorg.checkerframework.checker.fenumChecker
FenumBottomClassorg.checkerframework.checker.fenum.qualChecker
FenumCheckerThe main checker class for the Fake Enum Checker.Classorg.checkerframework.checker.fenumChecker
FenumTopClassorg.checkerframework.checker.fenum.qualChecker
FenumUnqualifiedClassorg.checkerframework.checker.fenum.qualChecker
FenumVisitorClassorg.checkerframework.checker.fenumChecker
FieldAccessExprClassorg.checkerframework.stubparser.ast.exprChecker
FieldAccessNodeA node for a field access, including a method accesses: expression .Classorg.checkerframework.dataflow.cfg.nodeChecker
FieldDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
FieldDescriptorRepresents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.Classorg.checkerframework.checker.signature.qualChecker
FieldDescriptorForArrayRepresents a field descriptor (JVM type format) as defined in the JavaClassorg.checkerframework.checker.signature.qualChecker
FieldIsExpressionClassorg.checkerframework.framework.qualChecker
FIsAClassorg.checkerframework.framework.util.typeinference.constraintChecker
FIsAReducerFIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint.Classorg.checkerframework.framework.util.typeinference.constraintChecker
FloatingDivisionNodeA node for the floating-point division: expression / expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
FloatingRemainderNodeA node for the floating-point remainder: expression % expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
FloatLiteralNodeA node for a float literal.Classorg.checkerframework.dataflow.cfg.nodeChecker
FloatMathClassorg.checkerframework.common.value.utilChecker
FlowExpressionParseUtilA collection of helper methods to parse a string that represents a restricted Java expression.Classorg.checkerframework.framework.utilChecker
FlowExpressionsCollection of classes and helper functions to represent Java expressions about which the org.Classorg.checkerframework.dataflow.analysisChecker
ForeachStmtClassorg.checkerframework.stubparser.ast.stmtChecker
FormatThis annotation, attached to a String type, indicates that the String may be passed toClassorg.checkerframework.checker.formatter.qualChecker
FormatBottomClassorg.checkerframework.checker.formatter.qualChecker
FormatMethodClassorg.checkerframework.checker.formatter.qualChecker
FormatterAnalysisNeeded for flow analysis, to implement the FormatUtil.Classorg.checkerframework.checker.formatterChecker
FormatterAnnotatedTypeFactoryAdds Format to the type of tree, if it is a String or char literal that represents a satisfiable format.Classorg.checkerframework.checker.formatterChecker
FormatterCheckerA type-checker plug-in for the Format qualifier that finds syntactically invalid formatter calls.Classorg.checkerframework.checker.formatterChecker
FormatterTransferClassorg.checkerframework.checker.formatterChecker
FormatterTreeUtilThis class provides a collection of utilities to ease working with syntax trees that have something to do with Formatters.Classorg.checkerframework.checker.formatterChecker
FormatterVisitorWhenever a format method invocation is found in the syntax tree, the following checks happen, read the code, seriously! (otherwise see manual 12.Classorg.checkerframework.checker.formatterChecker
FormatUtilThis class provides a collection of utilities to ease working with format strings.Classorg.checkerframework.checker.formatterChecker
ForNameClassorg.checkerframework.common.reflection.qualChecker
ForStmtClassorg.checkerframework.stubparser.ast.stmtChecker
FromByteCodeIf 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.Classorg.checkerframework.framework.qualChecker
FromStubFileClassorg.checkerframework.framework.qualChecker
FullyQualifiedNameRepresents a fully-qualified name as defined in the Java Language Specification, section 6.Classorg.checkerframework.checker.signature.qualChecker
FunctionalInterfaceNodeA node for member references and lambdas.Classorg.checkerframework.dataflow.cfg.nodeChecker
gClassorg.checkerframework.checker.units.qualChecker
GeneralAnnotatedTypeFactoryA "general" annotated type factory that supports qualifiers from any type hierarchy.Classorg.checkerframework.framework.typeChecker
GenericAnnotatedTypeFactoryA factory that extends AnnotatedTypeFactory to optionally use flow-sensitive qualifier inference, qualifier polymorphism, implicitClassorg.checkerframework.framework.typeChecker
GenericVisitorInterfaceorg.checkerframework.stubparser.ast.visitorChecker
GenericVisitorAdapterClassorg.checkerframework.stubparser.ast.visitorChecker
GetClassClassorg.checkerframework.common.reflection.qualChecker
GetConstructorClassorg.checkerframework.common.reflection.qualChecker
GetMethodClassorg.checkerframework.common.reflection.qualChecker
GlbUtilA class used to determine the greatest lower bounds for a set of AnnotatedTypeMirrors.Classorg.checkerframework.framework.util.typeinferenceChecker
GraphQualifierHierarchyRepresents the type qualifier hierarchy of a type system.Classorg.checkerframework.framework.utilChecker
GreaterThanNodeA node for the greater than comparison: expression > expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
GreaterThanOrEqualNodeA node for the greater than or equal comparison: expression >= expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
GuardedByThe field (or other variable) to which this annotation is applied can only be accessed when holding a particular lock, which may be a built-inClassorg.checkerframework.checker.lock.qualChecker
GuiEffectCheckerClassorg.checkerframework.checker.guieffectChecker
GuiEffectTypeFactoryAnnotated type factory for the GUI Effect Checker.Classorg.checkerframework.checker.guieffectChecker
GuiEffectVisitorRequire that only UI code invokes code with the UI effect.Classorg.checkerframework.checker.guieffectChecker
hClassorg.checkerframework.checker.units.qualChecker
HashcodeAtmVisitorComputes the hashcode of an AnnotatedTypeMirror using the underlying type and primary annotations of the type and its component type.Classorg.checkerframework.framework.typeChecker
HashCodeUtilsUtility class to implement the hashCode method.Classorg.checkerframework.dataflow.utilChecker
HeuristicsUtilities for determining tree-based heuristics.Classorg.checkerframework.framework.utilChecker
HoldingIndicates a method pre and postcondition: the method expects the specified expressions to be @LockHeld when the annotated methodClassorg.checkerframework.checker.lock.qualChecker
HoldingOnEntryIndicates a method precondition: the method expects the specified expressions to be @LockHeld when the annotated method is invoked.Classorg.checkerframework.checker.lock.qualChecker
ITemplate annotation over IGJ Immutability annotations.Classorg.checkerframework.checker.igj.qualChecker
ITemplate annotation over IGJ Immutability annotations.Classorg.checkerframework.checker.oigj.qualChecker
I18nAnnotatedTypeFactoryClassorg.checkerframework.checker.i18nChecker
I18nCheckerA type-checker that enforces (and finds the violations of) two properties: Only localized output gets emitted to the userOnly localizable keys (i.Classorg.checkerframework.checker.i18nChecker
I18nChecksFormatAttach this annotation to a method with the following properties: The first parameter is a format string.Classorg.checkerframework.checker.i18nformatter.qualChecker
I18nConversionCategoryenum I18nConversionCategoryElements of this enumeration are used in a I18nFormat annotationClassorg.checkerframework.checker.i18nformatter.qualChecker
I18nConversionCategoryTestClassorg.checkerframework.checker.i18nformatter.unittestsChecker
I18nFormatThis annotation, attached to a String type, indicates that the String may be passed toClassorg.checkerframework.checker.i18nformatter.qualChecker
I18nFormatBottomClassorg.checkerframework.checker.i18nformatter.qualChecker
I18nFormatForThis annotation indicates that when a string of the annotated type is passed as the first argument to MessageFormat.Classorg.checkerframework.checker.i18nformatter.qualChecker
I18nFormatterAnalysisNeeded for flow analysis to implement I18nFormatUtil.Classorg.checkerframework.checker.i18nformatterChecker
I18nFormatterAnnotatedTypeFactoryAdds I18nFormat to the type of tree, if it is a String or char literal that represents a satisfiable format.Classorg.checkerframework.checker.i18nformatterChecker
I18nFormatterCheckerA type-checker plug-in for the qualifier that finds syntactically invalid i18n-formatter calls (MessageFormat.Classorg.checkerframework.checker.i18nformatterChecker
I18nFormatterTransferClassorg.checkerframework.checker.i18nformatterChecker
I18nFormatterTreeUtilThis class provides a collection of utilities to ease working with syntax trees that have something to do with I18nFormatters.Classorg.checkerframework.checker.i18nformatterChecker
I18nFormatterVisitorWhenever a method with I18nFormatFor annotation is invoked, it will perform the format string verification.Classorg.checkerframework.checker.i18nformatterChecker
I18nFormatUtilThis class provides a collection of utilities to ease working with i18nAuthor:Siwakorn SrisakaokulSee the Checker Framework Manual:InternationalizationClassorg.checkerframework.checker.i18nformatterChecker
I18nHasFormatTestClassorg.checkerframework.checker.i18nformatter.unittestsChecker
I18nInvalidFormatThis annotation, attached to a String type, indicates that if the String is passed toClassorg.checkerframework.checker.i18nformatter.qualChecker
I18nMakeFormatThis annotation is used internally to annotate ResourceBundle.Classorg.checkerframework.checker.i18nformatter.qualChecker
I18nSubcheckerA type-checker that checks that only localized Strings are visibleSee the Checker Framework Manual:Internationalization CheckerClassorg.checkerframework.checker.i18nChecker
I18nUnknownFormatClassorg.checkerframework.checker.i18nformatter.qualChecker
I18nValidFormatClassorg.checkerframework.checker.i18nformatter.qualChecker
IdentifierClassorg.checkerframework.checker.signature.qualChecker
IdentifierOrArrayClassorg.checkerframework.checker.signature.qualChecker
IfStmtClassorg.checkerframework.stubparser.ast.stmtChecker
IGJAnnotatedTypeFactoryAdds implicit and default IGJ annotations, only if the user does not annotate the type explicitly.Classorg.checkerframework.checker.igjChecker
IGJBottomClassorg.checkerframework.checker.igj.qualChecker
IGJCheckerA type-checker plug-in for the IGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors.Classorg.checkerframework.checker.igjChecker
IGJVisitorA type-checking visitor for the IGJ type qualifier that uses the BaseTypeVisitor implementation.Classorg.checkerframework.checker.igjChecker
ImmutabilityAnnotatedTypeFactoryAdds implicit and default OIGJ annotations, only if the user does not annotate the type explicitly.Classorg.checkerframework.checker.oigjChecker
ImmutabilitySubcheckerClassorg.checkerframework.checker.oigjChecker
ImmutabilityVisitorClassorg.checkerframework.checker.oigjChecker
ImmutableClassorg.checkerframework.checker.igj.qualChecker
ImmutableClassorg.checkerframework.checker.oigj.qualChecker
ImmutableTestConfigurationRepresents all of the information needed to execute the Javac compiler for a given set of test files.Classorg.checkerframework.framework.testChecker
ImplicitForA meta-annotation that specifies the trees and types for which the framework should automatically add that qualifier.Classorg.checkerframework.framework.qualChecker
ImplicitsTreeAnnotatorAdds annotations to a type based on the contents of a tree.Classorg.checkerframework.framework.type.treeannotatorChecker
ImplicitsTypeAnnotatorAdds annotations to a type based on the contents of a type.Classorg.checkerframework.framework.type.typeannotatorChecker
ImplicitThisLiteralNodeA node to model the implicit this, e.Classorg.checkerframework.dataflow.cfg.nodeChecker
ImportDeclaration This class represents a import declaration.Classorg.checkerframework.stubparser.astChecker
IndexUnitClassorg.checkerframework.stubparser.astChecker
InferenceResultRepresents the result from inferring type arguments.Classorg.checkerframework.framework.util.typeinference.solverChecker
InferredValueWhen one of the constraint solvers infers that a the target has a given type/target in ALL qualifier hierarchies or that given an additional set of annotations that we know the target must hold we have covered all hierarchiesClassorg.checkerframework.framework.util.typeinference.solverChecker
InheritedAnnotationClassorg.checkerframework.framework.qualChecker
InitializationAnnotatedTypeFactoryThe annotated type factory for the freedom-before-commitment type-system.Classorg.checkerframework.checker.initializationChecker
InitializationCheckerTracks whether a value is initialized (all its fields are set), and checks that values are initialized before being used.Classorg.checkerframework.checker.initializationChecker
InitializationStoreA store that extends CFAbstractStore and additionally tracks which fields of the 'self' reference have been initialized.Classorg.checkerframework.checker.initializationChecker
InitializationTransferA transfer function that extends CFAbstractTransfer and tracks InitializationStores.Classorg.checkerframework.checker.initializationChecker
InitializationVisitorThe visitor for the freedom-before-commitment type-system.Classorg.checkerframework.checker.initializationChecker
InitializedThis type qualifier belongs to the freedom-before-commitment initialization tracking type-system.Classorg.checkerframework.checker.initialization.qualChecker
InitializerDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
InstanceOfExprClassorg.checkerframework.stubparser.ast.exprChecker
InstanceOfNodeA node for the instanceof operator:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeChecker
IntegerDivisionNodeA node for the integer division: expression / expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
IntegerLiteralExprClassorg.checkerframework.stubparser.ast.exprChecker
IntegerLiteralMinValueExprClassorg.checkerframework.stubparser.ast.exprChecker
IntegerLiteralNodeA node for an integer literal.Classorg.checkerframework.dataflow.cfg.nodeChecker
IntegerMathClassorg.checkerframework.common.value.utilChecker
IntegerRemainderNodeA node for the integer remainder: expression % expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
InternalFormThe syntax for binary names that appears in a class file, as defined in Specification, section 4.Classorg.checkerframework.checker.signature.qualChecker
InternalUtilsStatic utility methods used by annotation abstractions in this package.Classorg.checkerframework.javacutilChecker
InternedIndicates that a variable has been interned, i.Classorg.checkerframework.checker.interning.qualChecker
InterningAnnotatedTypeFactoryAn AnnotatedTypeFactory that accounts for the properties of the Interned type system.Classorg.checkerframework.checker.interningChecker
InterningCheckerA type-checker plug-in for the Interned qualifier that finds (and verifies the absence of) equality-testing and interning errors.Classorg.checkerframework.checker.interningChecker
InterningVisitorTypechecks source code for interning violations.Classorg.checkerframework.checker.interningChecker
IntValAn annotation indicating the possible values for a byte, short, char, If an expression's type has this annotation, then at run time, theClassorg.checkerframework.common.value.qualChecker
InvalidFormatThis annotation, attached to a String type, indicates that the string is not a legal format string.Classorg.checkerframework.checker.formatter.qualChecker
InvisibleQualifierClassorg.checkerframework.framework.qualChecker
InvokeClassorg.checkerframework.common.reflection.qualChecker
JavaCharStreamAn implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing).Classorg.checkerframework.stubparserChecker
JavaDiagnosticReaderReads a file that has serialized javac diagnostics and returns either a list of TestDiagnosticLines or TestDiagnostics.Classorg.checkerframework.framework.test.diagnosticsChecker
JavadocCommentClassorg.checkerframework.stubparser.ast.bodyChecker
JavaParserThis class was generated automatically by javacc, do not edit.Classorg.checkerframework.stubparserChecker
JavariAnnotatedTypeFactoryAdds implicit and default Javari annotations, only if the user does not annotate the type explicitly.Classorg.checkerframework.checker.javariChecker
JavariCheckerAn annotation processor that checks a program's use of the Javari type annotations (@ReadOnly, @Mutable,Classorg.checkerframework.checker.javariChecker
JavariVisitorA type-checking visitor for the Javari mutability annotations (@ReadOnly, @Mutable and @Assignable) thatClassorg.checkerframework.checker.javariChecker
JavaSource2CFGDOTClassorg.checkerframework.dataflow.cfgChecker
KKelvin (unit of temperature).Classorg.checkerframework.checker.units.qualChecker
KeyForIndicates that the value assigned to the annotated variable is a key for at least the given map(s).Classorg.checkerframework.checker.nullness.qualChecker
KeyForAnalysisThe analysis class for the KeyFor type system (serves as factory for the transfer function, stores and abstract values).Classorg.checkerframework.checker.nullnessChecker
KeyForAnnotatedTypeFactoryClassorg.checkerframework.checker.nullnessChecker
KeyForBottomClassorg.checkerframework.checker.nullness.qualChecker
KeyForDeclJava 7 compatibility annotation without dependency on Java 8 classes.Classorg.checkerframework.checker.nullness.compatqualChecker
KeyForPropagationTreeAnnotatorFor the following initializations we wish to propagate the annotations from the left-hand side to the right-hand side or vice versa:Classorg.checkerframework.checker.nullnessChecker
KeyForPropagatorKeyForPropagator is used to move nested KeyFor annotations from one side of a pseudo-assignment to the other.Classorg.checkerframework.checker.nullnessChecker
KeyForSubcheckerA type-checker for determining which which values are keys for which maps.Classorg.checkerframework.checker.nullnessChecker
KeyForTransferClassorg.checkerframework.checker.nullnessChecker
KeyForTypeCompatibility annotation to allow importing both declaration and typeSee Also:KeyForSee the Checker Framework Manual:Nullness CheckerClassorg.checkerframework.checker.nullness.compatqualChecker
KeyForVisitorClassorg.checkerframework.checker.nullnessChecker
kgClassorg.checkerframework.checker.units.qualChecker
kmClassorg.checkerframework.checker.units.qualChecker
km2Classorg.checkerframework.checker.units.qualChecker
kmPERhClassorg.checkerframework.checker.units.qualChecker
LabeledStmtClassorg.checkerframework.stubparser.ast.stmtChecker
LazyNonNullThis annotation is deprecated.Classorg.checkerframework.checker.nullness.qualChecker
LeakedToResultThis annotation is used on a formal parameter to indicate that the parameter may be returned, but it is not otherwise leaked.Classorg.checkerframework.common.aliasing.qualChecker
LeftShiftNodeA node for bitwise left shift operations: expression << expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
LengthClassorg.checkerframework.checker.units.qualChecker
LessThanNodeA node for the less than comparison: expression < expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
LessThanOrEqualNodeA node for the less than or equal comparison: expression <= expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
LinearClassorg.checkerframework.checker.linear.qualChecker
LinearAnnotatedTypeFactoryAdds Unusable qualifier to a type if it represents: Class declaration tree/element.Classorg.checkerframework.checker.linearChecker
LinearCheckerA type-checker plug-in for the Linear type system.Classorg.checkerframework.checker.linearChecker
LinearVisitorA type-checking visitor for the Linear type system.Classorg.checkerframework.checker.linearChecker
LineComment AST node that represent line comments.Classorg.checkerframework.stubparser.astChecker
ListTreeAnnotatorListTreeAnnotator is a TreeVisitor that executes a list of for each tree visited.Classorg.checkerframework.framework.type.treeannotatorChecker
ListTypeAnnotatorListTypeAnnotator is a TypeAnnotator that executes a list of TypeAnnotator for each type visited.Classorg.checkerframework.framework.type.typeannotatorChecker
LiteralExprClassorg.checkerframework.stubparser.ast.exprChecker
LiteralKindSpecifies kinds of literal trees.Classorg.checkerframework.framework.qualChecker
LocalizableKeyClassorg.checkerframework.checker.i18n.qualChecker
LocalizableKeyAnnotatedTypeFactoryA PropertyKeyATF that uses LocalizableKey to annotate the keys.Classorg.checkerframework.checker.i18nChecker
LocalizableKeyCheckerA type-checker that checks that only valid localizable keys are used when using localizing methodsClassorg.checkerframework.checker.i18nChecker
LocalizedClassorg.checkerframework.checker.i18n.qualChecker
LocalVariableNodeA node for a local variable or a parameter: We allow local variable uses introduced by the CFGBuilder withoutClassorg.checkerframework.dataflow.cfg.nodeChecker
LocationsAn annotation processor for listing the potential locations of annotations.Classorg.checkerframework.common.util.countChecker
LockAnalysisThe analysis class for the lock type system (serves as factory for the transfer function, stores and abstract values.Classorg.checkerframework.checker.lockChecker
LockAnnotatedTypeFactoryLockAnnotatedTypeFactory builds types with LockHeld and LockPossiblyHeld annotations.Classorg.checkerframework.checker.lockChecker
LockCheckerClassorg.checkerframework.checker.lockChecker
LockHeldClassorg.checkerframework.checker.lock.qualChecker
LockingFreeClassorg.checkerframework.dataflow.qualChecker
LockPossiblyHeldClassorg.checkerframework.checker.lock.qualChecker
LockStoreClassorg.checkerframework.checker.lockChecker
LockTransferClassorg.checkerframework.checker.lockChecker
LockVisitorThe LockVisitor enforces the subtyping rules of LockHeld and LockPossiblyHeld (via BaseTypeVisitor).Classorg.checkerframework.checker.lockChecker
LongLiteralExprClassorg.checkerframework.stubparser.ast.exprChecker
LongLiteralMinValueExprClassorg.checkerframework.stubparser.ast.exprChecker
LongLiteralNodeA node for a long literal.Classorg.checkerframework.dataflow.cfg.nodeChecker
LongMathClassorg.checkerframework.common.value.utilChecker
LubTypeVariableAnnotatorAt the moment, this class is just a collection of special cases that fix the behavior of AnnotateAsLub Annotate as lub always uses a type variable's upper bound to annotate (when in fact the type variable unchangedClassorg.checkerframework.framework.flow.utilChecker
LuminanceClassorg.checkerframework.checker.units.qualChecker
mClassorg.checkerframework.checker.units.qualChecker
m2See the Checker Framework Manual:Units CheckerOptional Element SummaryClassorg.checkerframework.checker.units.qualChecker
ManualTagletA taglet for processing the @checker_framework.Classorg.checkerframework.javacutil.distChecker
MarkerAnnotationExprClassorg.checkerframework.stubparser.ast.exprChecker
MarkerNodeMarkerNodes are no-op Nodes used for debugging information.Classorg.checkerframework.dataflow.cfg.nodeChecker
MassClassorg.checkerframework.checker.units.qualChecker
MaybeAliasedClassorg.checkerframework.common.aliasing.qualChecker
MaybeLeakedTemporary type qualifier: This is the default type qualifier for the Leaked hierarchy.Classorg.checkerframework.common.aliasing.qualChecker
MemberValuePairClassorg.checkerframework.stubparser.ast.exprChecker
MethodAccessNodeA node for a method access, including a method accesses: expression .Classorg.checkerframework.dataflow.cfg.nodeChecker
MethodApplierAdds annotations from element to the return type, formal parameter types, type parameters, and throws clauses of the AnnotatedExecutableType type.Classorg.checkerframework.framework.util.elementChecker
MethodCallExprClassorg.checkerframework.stubparser.ast.exprChecker
MethodDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
MethodDescriptorRepresents a method descriptor (JVM representation of method signature) as defined in the Java Virtual Machine Specification, section 4.Classorg.checkerframework.checker.signature.qualChecker
MethodInvocationNodeA node for method invocation target(arg1, arg2, .Classorg.checkerframework.dataflow.cfg.nodeChecker
MethodRegexParamMethodRegexParam declares a qualifier parameter on a method.Classorg.checkerframework.checker.regex.qualChecker
MethodTaintingParamMethodTaintingParam declares a qualifier parameter on a method.Classorg.checkerframework.checker.tainting.qualChecker
MethodTypeParamApplierApplies the annotations present for a method type parameter onto an AnnotatedTypeVariable.Classorg.checkerframework.framework.util.elementChecker
MethodValThis represents a set of Method or Constructor values.Classorg.checkerframework.common.reflection.qualChecker
MethodValAnnotatedTypeFactoryClassorg.checkerframework.common.reflectionChecker
MethodValBottomClassorg.checkerframework.common.reflection.qualChecker
MethodValCheckerThe MethodVal Checker provides a sound estimate of the signature of MethodSee the Checker Framework Manual:MethodVal CheckerClassorg.checkerframework.common.reflectionChecker
MethodValVisitorClassorg.checkerframework.common.reflectionChecker
minClassorg.checkerframework.checker.units.qualChecker
MixedUnitsClassorg.checkerframework.checker.units.qualChecker
mmClassorg.checkerframework.checker.units.qualChecker
mm2Classorg.checkerframework.checker.units.qualChecker
ModifierClassorg.checkerframework.checker.oigj.qualChecker
ModifierSetClass to hold modifiers.Classorg.checkerframework.stubparser.ast.bodyChecker
ModifierVisitorAdapterThis visitor adapter can be used to save time when some specific nodes needs to be changed.Classorg.checkerframework.stubparser.ast.visitorChecker
molMole (unit of Substance).Classorg.checkerframework.checker.units.qualChecker
MonotonicNonNullIndicates that a field (or variable) is lazily initialized to a non-null value.Classorg.checkerframework.checker.nullness.qualChecker
MonotonicNonNullDeclClassorg.checkerframework.checker.nullness.compatqualChecker
MonotonicNonNullTypeClassorg.checkerframework.checker.nullness.compatqualChecker
MonotonicQualifierA meta-annotation that indicates that a qualifier indicates that an expression goes monotonically from a type qualifier T to anotherClassorg.checkerframework.framework.qualChecker
MostlySingletonA set that is more efficient than HashSet for 0 and 1 elements.Classorg.checkerframework.dataflow.utilChecker
mPERsSee the Checker Framework Manual:Units CheckerOptional Element SummaryClassorg.checkerframework.checker.units.qualChecker
mPERs2Meter per second squared.Classorg.checkerframework.checker.units.qualChecker
MultiClassRegexParamClassorg.checkerframework.checker.regex.qualChecker
MultiClassTaintingParamClassorg.checkerframework.checker.tainting.qualChecker
MultiGraphQualifierHierarchyRepresents the type qualifier hierarchy of a type system.Classorg.checkerframework.framework.utilChecker
MultiMethodRegexParamClassorg.checkerframework.checker.regex.qualChecker
MultiMethodTaintingParamClassorg.checkerframework.checker.tainting.qualChecker
MultiPolyRegexClassorg.checkerframework.checker.regex.qualChecker
MultiPolyTaintedClassorg.checkerframework.checker.tainting.qualChecker
MultiRegexClassorg.checkerframework.checker.regex.qualChecker
MultiTaintedClassorg.checkerframework.checker.tainting.qualChecker
MultiUntaintedClassorg.checkerframework.checker.tainting.qualChecker
MultiVarClassorg.checkerframework.checker.regex.qualChecker
MultiVarClassorg.checkerframework.checker.tainting.qualChecker
MultiWildClassorg.checkerframework.checker.regex.qualChecker
MultiWildClassorg.checkerframework.checker.tainting.qualChecker
MutableClassorg.checkerframework.checker.igj.qualChecker
MutableIndicates that, for the variable on which this annotation appears, the object to which this variable refers can be modified via thisClassorg.checkerframework.checker.javari.qualChecker
MutableClassorg.checkerframework.checker.oigj.qualChecker
NameExprClassorg.checkerframework.stubparser.ast.exprChecker
NarrowingConversionNodeA node for the narrowing primitive conversion operation.Classorg.checkerframework.dataflow.cfg.nodeChecker
NewInstanceClassorg.checkerframework.common.reflection.qualChecker
NodeA node in the abstract representation used for Java code inside a basic The following invariants hold:Classorg.checkerframework.dataflow.cfg.nodeChecker
NodeAbstract class for all nodes of the AST.Classorg.checkerframework.stubparser.astChecker
NodeUtilsA utility class to operate on a given Node.Classorg.checkerframework.dataflow.utilChecker
NodeVisitorA visitor for a Node tree.Interfaceorg.checkerframework.dataflow.cfg.nodeChecker
NonLeakedThis annotation is used on a formal parameter to indicate that the parameter is not leaked (stored in a location that couldClassorg.checkerframework.common.aliasing.qualChecker
NonNullNonNull is a type annotation that indicates that an expression is For fields of a class, the NonNull annotation indicates that thisClassorg.checkerframework.checker.nullness.qualChecker
NonNullDeclClassorg.checkerframework.checker.nullness.compatqualChecker
NonNullTypeClassorg.checkerframework.checker.nullness.compatqualChecker
NonRawThis type qualifier belongs to the rawness initialization tracking type-system.Classorg.checkerframework.checker.nullness.qualChecker
NormalClassorg.checkerframework.checker.linear.qualChecker
NormalAnnotationExprClassorg.checkerframework.stubparser.ast.exprChecker
NotEqualNodeA node for the not equal comparison: expression != expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
NotOnlyInitializedA declaration annotation for fields that indicates that a client might observe the field storing values that are Initialized,Classorg.checkerframework.checker.initialization.qualChecker
NullableNullable is a type annotation that indicates that the value is not known to be non-null (see NonNull).Classorg.checkerframework.checker.nullness.qualChecker
NullableDeclClassorg.checkerframework.checker.nullness.compatqualChecker
NullableTypeClassorg.checkerframework.checker.nullness.compatqualChecker
NullChkNodeA node for the unary 'nullchk' operation (generated by the Java compiler): <*nullchk*>expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
NullLiteralExprClassorg.checkerframework.stubparser.ast.exprChecker
NullLiteralNodeA node for the null literal.Classorg.checkerframework.dataflow.cfg.nodeChecker
NullnessAnalysisThe analysis class for the non-null type system (serves as factory for the transfer function, stores and abstract values.Classorg.checkerframework.checker.nullnessChecker
NullnessAnnotatedTypeFactoryThe annotated type factory for the nullness type-system.Classorg.checkerframework.checker.nullnessChecker
NullnessAnnotatedTypeFormatterA DefaultAnnotatedTypeFormatter that prints null literals without their annotations.Classorg.checkerframework.checker.nullnessChecker
NullnessCheckerA concrete instantiation of AbstractNullnessChecker using freedom-before-commitment.Classorg.checkerframework.checker.nullnessChecker
NullnessRawnessCheckerA concrete instantiation of AbstractNullnessChecker using rawness.Classorg.checkerframework.checker.nullnessChecker
NullnessStoreBehaves like InitializationStore, but additionally tracks whether PolyNull is known to be Nullable.Classorg.checkerframework.checker.nullnessChecker
NullnessTransferTransfer function for the non-null type system.Classorg.checkerframework.checker.nullnessChecker
NullnessUtilsUtilities class for the Nullness Checker.Classorg.checkerframework.checker.nullnessChecker
NullnessValueBehaves just like CFValue, but additionally tracks whether at this point PolyNull is known to be Nullable.Classorg.checkerframework.checker.nullnessChecker
NullnessVisitorThe visitor for the nullness type-system.Classorg.checkerframework.checker.nullnessChecker
NumberMathClassorg.checkerframework.common.value.utilChecker
NumberUtilsClassorg.checkerframework.common.value.utilChecker
NumericalAdditionNodeA node for the numerical addition: expression + expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
NumericalMinusNodeA node for the unary minus operation:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeChecker
NumericalMultiplicationNodeA node for the numerical multiplication: expression * expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
NumericalPlusNodeA node for the unary plus operation:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeChecker
NumericalSubtractionNodeA node for the numerical subtraction: expression - expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
OClassorg.checkerframework.checker.oigj.qualChecker
ObjectCreationExprClassorg.checkerframework.stubparser.ast.exprChecker
ObjectCreationNodeA node for new object creation new constructor(arg1, arg2, .Classorg.checkerframework.dataflow.cfg.nodeChecker
OIGJCheckerA type-checker plug-in for the OIGJ immutability type system that finds (and verifies the absence of) undesired side-effect errors.Classorg.checkerframework.checker.oigjChecker
OIGJMutabilityBottomClassorg.checkerframework.checker.oigj.qualChecker
OperatorsThis file contains methods that simulate the functions of the Binary and Unary operators in java (e.Classorg.checkerframework.common.valueChecker
OptionConfigurationProvides methods for querying the Checker's options.Interfaceorg.checkerframework.framework.utilChecker
OwnershipAnnotatedTypeFactoryClassorg.checkerframework.checker.oigjChecker
OwnershipSubcheckerClassorg.checkerframework.checker.oigjChecker
OwnershipVisitorClassorg.checkerframework.checker.oigjChecker
PackageDeclaration This class represents the package declaration.Classorg.checkerframework.stubparser.astChecker
PackageNameNodeA node representing a package name used in an expression such as a constructor invocationClassorg.checkerframework.dataflow.cfg.nodeChecker
PairSimple pair class for multiple returns.Classorg.checkerframework.javacutilChecker
ParamApplierAdds annotations to one formal parameter of a method or lambda within a method.Classorg.checkerframework.framework.util.elementChecker
ParameterClassorg.checkerframework.stubparser.ast.bodyChecker
ParameterizedTypeNodeA node for a parameterized type occurring in an expression: Parameterized types don't represent any computation to be doneClassorg.checkerframework.dataflow.cfg.nodeChecker
ParseExceptionThis exception is thrown when parse errors are encountered.Classorg.checkerframework.stubparserChecker
PartialRegexIndicates a String that is not a syntactically valid regular expression.Classorg.checkerframework.checker.regex.classic.qualChecker
PluginUtilThis file contains basic utility functions that should be reused to create a command line call to CheckerMain.Classorg.checkerframework.framework.utilChecker
PolyAllA polymorphic type qualifier that varies over all type hierarchies.Classorg.checkerframework.framework.qualChecker
PolyInternedA polymorphic qualifier for the Interning type system.Classorg.checkerframework.checker.interning.qualChecker
PolyKeyForA polymorphic qualifier for the Map Key (@KeyFor) type system.Classorg.checkerframework.checker.nullness.qualChecker
PolymorphicQualifierA meta-annotation that indicates that an annotation is a polymorphic type Any method written using a polymorphic type qualifier conceptually hasClassorg.checkerframework.framework.qualChecker
PolyNullA polymorphic qualifier for the non-null type system.Classorg.checkerframework.checker.nullness.qualChecker
PolyNullDeclClassorg.checkerframework.checker.nullness.compatqualChecker
PolyNullTypeClassorg.checkerframework.checker.nullness.compatqualChecker
PolyQualA qualifier in the qualifier polymorphism system, with ground qualifier representation Q.Classorg.checkerframework.qualframework.polyChecker
PolyQualHierarchyA qualifier hierarchy for PolyQual instances.Classorg.checkerframework.qualframework.polyChecker
PolyRawA polymorphic qualifier for the Rawness type system.Classorg.checkerframework.checker.nullness.qualChecker
PolyReadSpecifies the allowed mutabilities of a method's return value or the arguments, based on the mutability type of the arguments and the receiver at a methodClassorg.checkerframework.checker.javari.qualChecker
PolyRegexA polymorphic qualifier for the Regex type system.Classorg.checkerframework.checker.regex.classic.qualChecker
PolyRegexClassorg.checkerframework.checker.regex.qualChecker
PolySignatureA polymorphic qualifier for the Signature type system.Classorg.checkerframework.checker.signature.qualChecker
PolyTaintedClassorg.checkerframework.checker.experimental.tainting_qual.qualChecker
PolyTaintedClassorg.checkerframework.checker.tainting.classic.qualChecker
PolyTaintedClassorg.checkerframework.checker.tainting.qualChecker
PolyUIClassorg.checkerframework.checker.guieffect.qualChecker
PolyUIEffectClassorg.checkerframework.checker.guieffect.qualChecker
PolyUITypeClassorg.checkerframework.checker.guieffect.qualChecker
PolyUnitA polymorphic qualifier for the units-of-measure type system implemented by the Units Checker.Classorg.checkerframework.checker.units.qualChecker
PostconditionAnnotationA meta-annotation that indicates that an annotation is a postcondition annotation, i.Classorg.checkerframework.framework.qualChecker
PreconditionAnnotationA meta-annotation that indicates that an annotation is a precondition annotation, i.Classorg.checkerframework.framework.qualChecker
PrefixClassorg.checkerframework.checker.units.qualChecker
PrettyQualifiedTypeFormatterPrettyQualifiedTypeFormatter formats QualifiedTypeMirrors with QualParams qualifiers PrettyQualifiedTypeFormatter prints the primary qualifier of a QualParams before aClassorg.checkerframework.qualframework.poly.formatChecker
PrettyQualParamsFormatterClassorg.checkerframework.qualframework.poly.formatChecker
PrimitiveTypeClassorg.checkerframework.stubparser.ast.typeChecker
PrimitiveTypeNodeA node representing a primitive type used in an expression such as a field accessClassorg.checkerframework.dataflow.cfg.nodeChecker
PropagationTreeAnnotatorPropagationTreeAnnotator adds qualifiers to types where the resulting type is a function of an input type, e.Classorg.checkerframework.framework.type.treeannotatorChecker
PropagationTypeAnnotatorPropagationTypeAnnotator adds qualifiers to types where the qualifier to add should be transferred from one or more other types.Classorg.checkerframework.framework.type.typeannotatorChecker
PropertyKeyClassorg.checkerframework.checker.propkey.qualChecker
PropertyKeyAnnotatedTypeFactoryThis AnnotatedTypeFactory adds PropertyKey annotations to String literals that contain values from lookupKeys.Classorg.checkerframework.checker.propkeyChecker
PropertyKeyBottomClassorg.checkerframework.checker.propkey.qualChecker
PropertyKeyCheckerA type-checker that checks that only valid keys are used to access property files and resource bundles.Classorg.checkerframework.checker.propkeyChecker
PureClassorg.checkerframework.dataflow.qualChecker
PurityAnnotatedTypeFactoryClassorg.checkerframework.framework.utilChecker
PurityCheckerA visitor that determines the purity (as defined by SideEffectFree, Deterministic, and Pure) of a statement or expression.Classorg.checkerframework.dataflow.utilChecker
PurityCheckerPerform purity checking only.Classorg.checkerframework.framework.utilChecker
PurityUnqualifiedClassorg.checkerframework.framework.utilChecker
PurityUtilsAn utility class for working with the SideEffectFree, Deterministic, and Pure annotations.Classorg.checkerframework.dataflow.utilChecker
QReadOnlyIndicates that the annotated type behaves as the most restrictive of ReadOnly and Mutable: only Mutable can be assignedClassorg.checkerframework.checker.javari.qualChecker
QualAnalysisCheckers should extend a QualAnalysis to customize the TransferFunction for their checker.Classorg.checkerframework.qualframework.base.dataflowChecker
QualFormatterQual to String formatter.Interfaceorg.checkerframework.qualframework.base.formatChecker
QualifiedNameExprClassorg.checkerframework.stubparser.ast.exprChecker
QualifiedParameterTypeVariableSubstitutorTypeVariableSubstitutor that handles the qualifier parameter specific logic or combining TypeVariable uses with substituted types.Classorg.checkerframework.qualframework.polyChecker
QualifiedTypeFactoryUsed to compute the qualified type of a Tree or Element.Interfaceorg.checkerframework.qualframework.baseChecker
QualifiedTypeFormatterInterface to format a QualifiedTypeMirrors or an individual qualifier.Interfaceorg.checkerframework.qualframework.base.formatChecker
QualifiedTypeMirrorA ExtendedTypeMirror with a qualifier for the top level and for each component of the type.Classorg.checkerframework.qualframework.baseChecker
QualifiedTypeParameterBoundsA pair of the qualified upper and lower bound types for a type parameter.Classorg.checkerframework.qualframework.baseChecker
QualifiedTypesHelper functions for various manipulations of QualifiedTypeMirrors.Interfaceorg.checkerframework.qualframework.baseChecker
QualifiedTypeVisitorA visitor for QualifiedTypeMirrors, patterned after TypeVisitor.Interfaceorg.checkerframework.qualframework.baseChecker
QualifierContextInterfaceorg.checkerframework.qualframework.utilChecker
QualifierDefaultsDetermines the default qualifiers on a type.Classorg.checkerframework.framework.util.defaultsChecker
QualifierHierarchyRepresents a type qualifier hierarchy.Classorg.checkerframework.framework.typeChecker
QualifierHierarchyDefaultQualifiedTypeFactory component for performing subtyping checks between qualifiers.Interfaceorg.checkerframework.qualframework.baseChecker
QualifierMapVisitorVisitor that maps a function over every qualifier in a QualifiedTypeMirror.Classorg.checkerframework.qualframework.baseChecker
QualifierParameterAnnotationConverterAn AnnotationConverter that can also find the names of all declared parameters on a class or method.Interfaceorg.checkerframework.qualframework.polyChecker
QualifierParameterCheckerQualifierParameterChecker extends Checker to configure QualifiedTypeFormatters specific to QualParams qualifiers.Classorg.checkerframework.qualframework.polyChecker
QualifierParameterHierarchyThis class provides a QualifierHierarchy implementation for sets of qualifier parameters.Classorg.checkerframework.qualframework.polyChecker
QualifierParameterTreeAnnotatorTreeAnnotator instance for qualifier parameter checkers.Classorg.checkerframework.qualframework.polyChecker
QualifierParameterTypeAnnotatorTypeAnnotator implementation for qualifier parameter checkers.Classorg.checkerframework.qualframework.polyChecker
QualifierParameterTypeFactoryType factory with qualifier polymorphism support.Classorg.checkerframework.qualframework.polyChecker
QualifierPolymorphism wish to use it should add calls to annotate(MethodInvocationTree, AnnotatedTypeMirror.Classorg.checkerframework.framework.utilChecker
QualParamsA map of qualifier parameters.Classorg.checkerframework.qualframework.polyChecker
QualParamsFormatterA QualFormatter with extra methods to format QualParams.Interfaceorg.checkerframework.qualframework.poly.formatChecker
QualStoreQualStore is a Store for quals.Classorg.checkerframework.qualframework.base.dataflowChecker
QualTransferA TransferFunction for the Qual Framework.Classorg.checkerframework.qualframework.base.dataflowChecker
QualTransferAdapterQualTransferAdapter adapts the CFTransfer to a QualTransfer.Classorg.checkerframework.qualframework.base.dataflowChecker
QualValueQualValue is an AbstractValue for quals.Classorg.checkerframework.qualframework.base.dataflowChecker
radiansSee the Checker Framework Manual:Units CheckerOptional Element SummaryClassorg.checkerframework.checker.units.qualChecker
RawThis type qualifier belongs to the rawness type-system for tracking initialization.Classorg.checkerframework.checker.nullness.qualChecker
ReadOnlyIndicates that the annotated reference is a ReadOnly reference.Classorg.checkerframework.checker.igj.qualChecker
ReadOnlyIndicates that, for the variable on which this annotation appears, the object to which this variable refers will not be modified viaClassorg.checkerframework.checker.javari.qualChecker
ReadOnlyIndicates that the annotated reference is a ReadOnly reference.Classorg.checkerframework.checker.oigj.qualChecker
ReferenceTypeClassorg.checkerframework.stubparser.ast.typeChecker
ReflectionResolverInterface for reflection resolvers that handle reflective method calls such as Method.Interfaceorg.checkerframework.common.reflectionChecker
ReflectiveEvalutatorClassorg.checkerframework.common.valueChecker
RegexQualifier for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualChecker
RegexIf a type is annotated as @Regex(n), then the run-time value is a regular expression with n capturing groups.Classorg.checkerframework.checker.regex.qualChecker
RegexAnalysisClassorg.checkerframework.checker.regex.classicChecker
RegexAnnotationConverter annotations into a Regex qualifier.Classorg.checkerframework.checker.experimental.regex_qualChecker
RegexAnnotationConverter annotations into a Regex qualifier with support for PolyRegex, Var, Wild annotations.Classorg.checkerframework.checker.regexChecker
RegexBottomClassorg.checkerframework.checker.regex.classic.qualChecker
RegexCheckerCheckerAdapter for the Regex-Qual-Param type system.Classorg.checkerframework.checker.regexChecker
RegexCheckerAdapterCheckerAdapter for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualChecker
RegexClassicAnnotatedTypeFactoryAdds Regex to the type of tree, in the following cases: a String or char literal that is a validClassorg.checkerframework.checker.regex.classicChecker
RegexClassicCheckerA type-checker plug-in for the Regex qualifier that finds syntactically invalid regular expressions.Classorg.checkerframework.checker.regex.classicChecker
RegexClassicVisitorA type-checking visitor for the Regex type system.Classorg.checkerframework.checker.regex.classicChecker
RegexQualCheckerChecker for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualChecker
RegexQualifiedTransferA reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.Classorg.checkerframework.checker.experimental.regex_qualChecker
RegexQualifiedTransferA reimplementation of RegexTransfer using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.Classorg.checkerframework.checker.regexChecker
RegexQualifiedTypeFactoryThe QualifiedTypeFactory for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualChecker
RegexQualifiedTypeFactoryThe QualifiedTypeFactory for the Regex-Qual-Param type system.Classorg.checkerframework.checker.regexChecker
RegexQualifierHierarchyQualifierHierarchy for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualChecker
RegexQualPolyCheckerChecker for the Regex-Qual-Param type system.Classorg.checkerframework.checker.regexChecker
RegexTransferClassorg.checkerframework.checker.regex.classicChecker
RegexTypecheckVisitorThe BaseTypeVisitor for the Regex-Qual type system.Classorg.checkerframework.checker.experimental.regex_qualChecker
RegexTypecheckVisitorThe BaseTypeVisitor for the Regex-Qual-Param type system.Classorg.checkerframework.checker.regexChecker
RegexUtilUtility methods for regular expressions, most notably for testing whether a string is a regular expression.Classorg.checkerframework.checker.regexChecker
RegularBlockA regular basic block that contains a sequence of Nodes.Interfaceorg.checkerframework.dataflow.cfg.blockChecker
RegularBlockImplClassorg.checkerframework.dataflow.cfg.blockChecker
RegularTransferResult store.Classorg.checkerframework.dataflow.analysisChecker
ReportCallReport all calls of a method that has this annotation, including calls of methods that override this method.Classorg.checkerframework.common.util.report.qualChecker
ReportCheckerThe Report Checker for semantic searches.Classorg.checkerframework.common.util.reportChecker
ReportCreationClassorg.checkerframework.common.util.report.qualChecker
ReportInheritClassorg.checkerframework.common.util.report.qualChecker
ReportOverrideClassorg.checkerframework.common.util.report.qualChecker
ReportReadWriteClassorg.checkerframework.common.util.report.qualChecker
ReportUnqualifiedClassorg.checkerframework.common.util.report.qualChecker
ReportUseClassorg.checkerframework.common.util.report.qualChecker
ReportVisitorClassorg.checkerframework.common.util.reportChecker
ReportWriteClassorg.checkerframework.common.util.report.qualChecker
RequiresNonNullIndicates a method precondition: the method expects the specified expressions to be non-null when the annotated method is invoked.Classorg.checkerframework.checker.nullness.qualChecker
RequiresQualifierA precondition annotation to indicate that a method requires certain expressions to have a certain qualifier at the time of the call to theClassorg.checkerframework.framework.qualChecker
RequiresQualifiersA meta-annotation to allow multiple precondition annotations.Classorg.checkerframework.framework.qualChecker
ResolverA Utility class to find symbols corresponding to string references.Classorg.checkerframework.javacutilChecker
Resolver2A Utility class to find symbols corresponding to string references TODO: This class is only supposed to be used temporarily until a good solution for the MapGetHeuristic is found.Classorg.checkerframework.framework.utilChecker
ResultRepresents the outcome of a type-checking operation (success, warning, or failure, plus a list of explanatory messages).Classorg.checkerframework.framework.sourceChecker
ReturnNodeA node for a return statement: return expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
ReturnsFormatAttach this annotation to a method with the following properties: The first parameter is a format string.Classorg.checkerframework.checker.formatter.qualChecker
ReturnStmtClassorg.checkerframework.stubparser.ast.stmtChecker
SafeEffectClassorg.checkerframework.checker.guieffect.qualChecker
SafeTypeClassorg.checkerframework.checker.guieffect.qualChecker
SetQualifierVisitorVisitor that replaces the qualifier of a QualifiedTypeMirror.Classorg.checkerframework.qualframework.baseChecker
ShortLiteralNodeA node for a short literal.Classorg.checkerframework.dataflow.cfg.nodeChecker
ShortMathClassorg.checkerframework.common.value.utilChecker
SideEffectFreeA method is called side-effect-free if it has no visible side-effects, such as setting a field of an object that existed beforeClassorg.checkerframework.dataflow.qualChecker
SignatureAnnotatedTypeFactoryThis class is currently not needed.Classorg.checkerframework.checker.signatureChecker
SignatureBottomClassorg.checkerframework.checker.signature.qualChecker
SignatureCheckerClassorg.checkerframework.checker.signatureChecker
SignaturePrinterOutputs the method signatures of a class with fully annotated types.Classorg.checkerframework.common.util.debugChecker
SignedRightShiftNodeA node for bitwise right shift operations with sign extension: expression >> expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
SimpleAnnotatedTypeScannerClassorg.checkerframework.framework.type.visitorChecker
SimpleAnnotatedTypeVisitorA simple visitor for AnnotatedTypeMirrors.Classorg.checkerframework.framework.type.visitorChecker
SimpleOptionMapSimpleOptionMap is a very basic Option container.Classorg.checkerframework.framework.testChecker
SimpleQualifiedTypeVisitorA simple implementation of QualifiedTypeVisitor, patterned after SimpleTypeVisitor8.Classorg.checkerframework.qualframework.baseChecker
SimpleQualifierParameterAnnotationConverterSimpleQualifierParameterAnnotationConverter abstracts the logic to convert annotations to qualifiers for typical qual-poly types systems that that support @Wild, @Var, and qualifier parameters.Classorg.checkerframework.qualframework.polyChecker
SimpleVoidVisitorClassorg.checkerframework.stubparser.ast.visitorChecker
SingleMemberAnnotationExprClassorg.checkerframework.stubparser.ast.exprChecker
SingleSuccessorBlockA basic block that has at exactly one non-exceptional successor.Interfaceorg.checkerframework.dataflow.cfg.blockChecker
SingleSuccessorBlockImplClassorg.checkerframework.dataflow.cfg.blockChecker
SourceCheckerAn abstract annotation processor designed for implementing a source-file checker for a JSR-308 conforming compiler plug-in.Classorg.checkerframework.framework.sourceChecker
SourceNameForNonArrayNonInnerA source name is a string that is a valid fully qualified name and a valid binary name.Classorg.checkerframework.checker.signature.qualChecker
SourceNameForNonInnerClassorg.checkerframework.checker.signature.qualChecker
SourceVisitorAn AST visitor that provides a variety of compiler utilities and interfaces to facilitate type-checking.Classorg.checkerframework.framework.sourceChecker
SpecialBlockRepresents a special basic block; i.Interfaceorg.checkerframework.dataflow.cfg.blockChecker
SpecialBlockImplClassorg.checkerframework.dataflow.cfg.blockChecker
SpeedClassorg.checkerframework.checker.units.qualChecker
StatementClassorg.checkerframework.stubparser.ast.stmtChecker
StaticallyExecutableStaticallyExecutable is a method annotation that indicates that the compiler is allowed to run the method at compile time, if all ofClassorg.checkerframework.common.value.qualChecker
StoreA store is used to keep track of the information that the org.Interfaceorg.checkerframework.dataflow.analysisChecker
StringConcatenateAssignmentNodeA node for the string concatenation compound assignment: variable += expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
StringConcatenateNodeA node for string concatenation: expression + expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
StringConversionNodeA node for the string conversion operation.Classorg.checkerframework.dataflow.cfg.nodeChecker
StringLiteralExprClassorg.checkerframework.stubparser.ast.exprChecker
StringLiteralNodeA node for an string literal.Classorg.checkerframework.dataflow.cfg.nodeChecker
StringValAn annotation indicating the possible values for a String type.Classorg.checkerframework.common.value.qualChecker
StructuralEqualityComparerA visitor used to compare two type mirrors for "structural" equality.Classorg.checkerframework.framework.typeChecker
StubFilesAn annotation on a SourceChecker subclass to provide additional stub files that should be used in addition to jdk.Classorg.checkerframework.framework.qualChecker
SubstanceClassorg.checkerframework.checker.units.qualChecker
SubtypeOfA meta-annotation to specify all the qualifiers that the given qualifier is a subtype of.Classorg.checkerframework.framework.qualChecker
SubtypesSolverInfers type arguments by using the Greatest Lower Bound computation on the subtype relationships in a constraint map.Classorg.checkerframework.framework.util.typeinference.solverChecker
SubtypingAnnotatedTypeFactoryClassorg.checkerframework.common.subtypingChecker
SubtypingCheckerA checker for type qualifier systems that only checks subtyping The annotation(s) are specified on the command line, using an annotationClassorg.checkerframework.common.subtypingChecker
SuperExprClassorg.checkerframework.stubparser.ast.exprChecker
SuperNodeA node for a reference to 'super'.Classorg.checkerframework.dataflow.cfg.nodeChecker
SuperTypeApplierWhen discovering supertypes of an AnnotatedTypeMirror we want to annotate each supertype with the annotations of the subtypes class declaration.Classorg.checkerframework.framework.util.elementChecker
SupertypesSolverInfers type arguments by using the Least Upper Bound computation on the supertype relationships in a constraint map.Classorg.checkerframework.framework.util.typeinference.solverChecker
SupportedLintOptionsAn annotation used to indicate what lint options a checker supports.Classorg.checkerframework.framework.sourceChecker
SupportedOptionsAn annotation used to indicate what Checker Framework options a checker supports.Classorg.checkerframework.framework.sourceChecker
SuppressWarningsKeysSpecifies the argument(s) that this checker recognizes for suppressing warnings via the SuppressWarnings annotation.Classorg.checkerframework.framework.sourceChecker
SurfaceSyntaxFormatterConfigurationSurfaceSyntaxFormatterConfiguration provides values and methods required by the SurfaceSyntaxQualParamsFormatter to format a QualParams into an annotation.Classorg.checkerframework.qualframework.poly.formatChecker
SurfaceSyntaxQualParamsFormatterSurfaceSyntaxQualParamsFormatter formats QualParams qualifiers into their annotation equivalent.Classorg.checkerframework.qualframework.poly.formatChecker
SwingBoxOrientationClassorg.checkerframework.checker.fenum.qualChecker
SwingCompassDirectionClassorg.checkerframework.checker.fenum.qualChecker
SwingElementOrientationClassorg.checkerframework.checker.fenum.qualChecker
SwingHorizontalOrientationClassorg.checkerframework.checker.fenum.qualChecker
SwingSplitPaneOrientationClassorg.checkerframework.checker.fenum.qualChecker
SwingTextOrientationClassorg.checkerframework.checker.fenum.qualChecker
SwingTitleJustificationClassorg.checkerframework.checker.fenum.qualChecker
SwingTitlePositionJustifications for the title text of aSee Also:TitledBorder.Classorg.checkerframework.checker.fenum.qualChecker
SwingVerticalOrientationClassorg.checkerframework.checker.fenum.qualChecker
SwitchEntryStmtClassorg.checkerframework.stubparser.ast.stmtChecker
SwitchStmtClassorg.checkerframework.stubparser.ast.stmtChecker
SynchronizedNodeClassorg.checkerframework.dataflow.cfg.nodeChecker
SynchronizedStmtClassorg.checkerframework.stubparser.ast.stmtChecker
SyntheticArraysSyntheticArrays exists solely to fix AnnotatedTypeMirrors that need to be adapted from Array type to a specific kind of array.Classorg.checkerframework.framework.typeChecker
SystemGetPropertyHandlerUtility class for handling System.Classorg.checkerframework.checker.nullnessChecker
TaintedClassorg.checkerframework.checker.experimental.tainting_qual.qualChecker
TaintedClassorg.checkerframework.checker.tainting.classic.qualChecker
TaintedTainted is the annotation to specify the tainted qualifier.Classorg.checkerframework.checker.tainting.qualChecker
TaintingClassorg.checkerframework.checker.experimental.tainting_qualChecker
TaintingClassorg.checkerframework.checker.taintingChecker
TaintingAnnotationConverterClassorg.checkerframework.checker.experimental.tainting_qualChecker
TaintingAnnotationConverterClassorg.checkerframework.checker.taintingChecker
TaintingCheckerClassorg.checkerframework.checker.experimental.tainting_qualChecker
TaintingCheckerClassorg.checkerframework.checker.taintingChecker
TaintingCheckerAdapterClassorg.checkerframework.checker.experimental.tainting_qualChecker
TaintingClassicAnnotatedTypeFactoryClassorg.checkerframework.checker.tainting.classicChecker
TaintingClassicCheckerA type-checker plug-in for the Tainting type system qualifier that finds (and verifies the absence of) trust bugs.Classorg.checkerframework.checker.tainting.classicChecker
TaintingQualCheckerClassorg.checkerframework.checker.taintingChecker
TaintingQualifiedTypeFactoryClassorg.checkerframework.checker.experimental.tainting_qualChecker
TaintingQualifiedTypeFactoryClassorg.checkerframework.checker.taintingChecker
TaintingQualifierHierarchyClassorg.checkerframework.checker.experimental.tainting_qualChecker
TaintingQualifierHierarchyClassorg.checkerframework.checker.taintingChecker
TargetConstraintsTargetConstraints represents the set of all TUConstraints for which target was the type parameter, i.Classorg.checkerframework.framework.util.typeinference.solverChecker
TargetLocationsA meta-annotation that restricts the type-use locations where a type qualifier may be written.Classorg.checkerframework.framework.qualChecker
TemperatureClassorg.checkerframework.checker.units.qualChecker
TerminatesExecutionTerminatesExecution is a method annotation that indicates that a method terminates the execution of the program.Classorg.checkerframework.dataflow.qualChecker
TernaryExpressionNodeA node for a conditional expression: expression ? expression : expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
TestConfigurationA configuration for running CheckerFrameworkTests or running the TypecheckExecutor.Interfaceorg.checkerframework.framework.testChecker
TestConfigurationBuilderUsed to create an instance of TestConfiguration, TestConfigurationBuilder follows the standard builder pattern.Classorg.checkerframework.framework.testChecker
TestDiagnosticRepresents an expected error/warning message in a Java test file or an error/warning reported by the Javac compiler See JavaFileDiagnosticReader and TestDiagnosticLineClassorg.checkerframework.framework.test.diagnosticsChecker
TestDiagnosticLineClassorg.checkerframework.framework.test.diagnosticsChecker
TestDiagnosticUtilsClassorg.checkerframework.framework.test.diagnosticsChecker
TestSuiteTestSuite runs a test class once for each set of parameters returned by its method marked with @Parameters Annotated your test class with @RunWith(TestSuite.Classorg.checkerframework.framework.testChecker
TestUtilitiesClassorg.checkerframework.framework.testChecker
ThisExprClassorg.checkerframework.stubparser.ast.exprChecker
ThisLiteralNodeA node for a reference to 'this', either implicit or explicit.Classorg.checkerframework.dataflow.cfg.nodeChecker
ThisMutableAn annotation used to represent a place holder immutability type, that is equivalent to the ThisMutable type in the Javari typesystem.Classorg.checkerframework.checker.javari.qualChecker
ThrowNodeA node for exception throws:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeChecker
ThrowStmtClassorg.checkerframework.stubparser.ast.stmtChecker
TimeClassorg.checkerframework.checker.units.qualChecker
TIsUClassorg.checkerframework.framework.util.typeinference.constraintChecker
TokenDescribes the input token stream.Classorg.checkerframework.stubparserChecker
TokenMgrErrorToken Manager Error.Classorg.checkerframework.stubparserChecker
TransferFunctionInterface of a transfer function for the abstract interpretation used for the A transfer function consists of the following components:Interfaceorg.checkerframework.dataflow.analysisChecker
TransferInputTransferInput is used as the input type of the individual transfer functions of a TransferFunction.Classorg.checkerframework.dataflow.analysisChecker
TransferResultTransferResult is used as the result type of the individual transfer functions of a TransferFunction.Classorg.checkerframework.dataflow.analysisChecker
TreeAnnotatorTreeAnnotator is an abstract SimpleTreeVisitor to be used with ListTreeAnnotatorClassorg.checkerframework.framework.type.treeannotatorChecker
TreeAnnotatorClassorg.checkerframework.qualframework.baseChecker
TreeBuilderThe TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker.Classorg.checkerframework.javacutil.treesChecker
TreeDebugA utility class for displaying the structure of the AST of a program.Classorg.checkerframework.common.util.debugChecker
TreeParserA Utility class for parsing Java expression snippets, and converting them to proper Javac AST nodes.Classorg.checkerframework.javacutil.treesChecker
TreePathCacherTreePathCacher is a TreeScanner that creates and caches a TreePath for a target This class replicates some logic from TreePath.Classorg.checkerframework.framework.utilChecker
TreePrinterA utility class for pretty-printing the AST of a program.Classorg.checkerframework.common.util.debugChecker
TreeUtilsA utility class made for helping to analyze a given Tree.Classorg.checkerframework.javacutilChecker
TryStmtClassorg.checkerframework.stubparser.ast.stmtChecker
TSubUClassorg.checkerframework.framework.util.typeinference.constraintChecker
TSuperUClassorg.checkerframework.framework.util.typeinference.constraintChecker
TUConstraintSubclasses of TUConstraint represent constraints between type parameter whose type arguments are being inferred and the types used to do that inference.Classorg.checkerframework.framework.util.typeinference.constraintChecker
TypeClassorg.checkerframework.stubparser.ast.typeChecker
TypeAnnotationUtilsA collection of helper methods related to type annotation handling.Classorg.checkerframework.javacutilChecker
TypeAnnotatorTypeAnnotator is an abstract AnnotatedTypeScanner to be used with ListTypeAnnotatorClassorg.checkerframework.framework.type.typeannotatorChecker
TypeAnnotatorDefaultQualifiedTypeFactory component for annotating a ExtendedTypeMirror with qualifiers.Classorg.checkerframework.qualframework.baseChecker
TypeArgInferenceUtilMiscellaneous utilities to help in type argument inference.Classorg.checkerframework.framework.util.typeinferenceChecker
TypeArgumentInferenceInstances of TypeArgumentInference are used to infer the types of method type arguments when no explicit arguments are provided.Interfaceorg.checkerframework.framework.util.typeinferenceChecker
TypeArgumentMapperRecords any mapping between the type parameters of a subtype to the corresponding type parameters of a supertype.Classorg.checkerframework.framework.utilChecker
TypeCastNodeA node for the cast operator:Author:Stefan Heule, Charlie GarrettClassorg.checkerframework.dataflow.cfg.nodeChecker
TypecheckExecutorUsed by the Checker Framework test suite to run the framework and generate a test result.Classorg.checkerframework.framework.testChecker
TypecheckResultRepresents the test results from typechecking one or more java files using the given TestConfiguration.Classorg.checkerframework.framework.testChecker
TypecheckVisitorAdapterThis class is a shim to allow writing typecheck-visitors using QualifiedTypeMirrors instead of AnnotatedTypeMirrors.Classorg.checkerframework.qualframework.baseChecker
TypeDeclarationClassorg.checkerframework.stubparser.ast.bodyChecker
TypeDeclarationApplierApply annotations to a declared type based on its declaration.Classorg.checkerframework.framework.util.elementChecker
TypeDeclarationStmtClassorg.checkerframework.stubparser.ast.stmtChecker
TypeHierarchyCompares AnnotatedTypeMirrors for subtype relationships.Interfaceorg.checkerframework.framework.typeChecker
TypeHierarchyDefaultQualifiedTypeFactory component for performing subtyping checks between QualifiedTypeMirrors.Interfaceorg.checkerframework.qualframework.baseChecker
TypeMirrorConverterHelper class used by adapters to convert between QualifiedTypeMirror and AnnotatedTypeMirror.Classorg.checkerframework.qualframework.baseChecker
TypeOutputtingCheckerA testing class that can be used to test TypeElement.Classorg.checkerframework.common.util.debugChecker
TypeParameter This class represents the declaration of a genetics argument.Classorg.checkerframework.stubparser.astChecker
TypesIntoElementsA helper class that puts the annotations from an AnnotatedTypeMirrors back into the corresponding Elements, so that they get stored in the bytecode by the compiler.Classorg.checkerframework.framework.typeChecker
TypesUtilsA utility class that helps with TypeMirrors.Classorg.checkerframework.javacutilChecker
TypeUseLocationenum TypeUseLocationSpecifies the locations to which a DefaultQualifier annotation applies.Classorg.checkerframework.framework.qualChecker
TypeValidatorTypeValidator ensures that a type for a given tree is valid both for the tree and the type system that is being used to check the tree.Interfaceorg.checkerframework.common.basetypeChecker
TypeVariableSubstitutorTypeVariableSusbtitutor replaces type variables from a declaration with arguments to its use.Classorg.checkerframework.framework.typeChecker
TypeVariableSubstitutorTypeVariableSubstitutor replaces type variables from a declaration with arguments to its use.Classorg.checkerframework.qualframework.baseChecker
TypeVariableSubstitutorAdapterClassorg.checkerframework.qualframework.baseChecker
TypeVarUseApplierClassorg.checkerframework.framework.util.elementChecker
TypeVisualizerTypeVisualizer prints AnnotatedTypeMirrors as a directed graph where each node is a type and an arrow is a reference.Classorg.checkerframework.common.utilChecker
UIClassorg.checkerframework.checker.guieffect.qualChecker
UIEffectClassorg.checkerframework.checker.guieffect.qualChecker
UIPackageClassorg.checkerframework.checker.guieffect.qualChecker
UITypeClassorg.checkerframework.checker.guieffect.qualChecker
UnannotatedStringClassorg.checkerframework.checker.signature.qualChecker
UnaryExprClassorg.checkerframework.stubparser.ast.exprChecker
UnderInitializationThis type qualifier belongs to the freedom-before-commitment type-system for tracking initialization.Classorg.checkerframework.checker.initialization.qualChecker
UnderlyingASTRepresents an abstract syntax tree of type Tree that underlies a given control flow graph.Classorg.checkerframework.dataflow.cfgChecker
UniqueAn expression with this type has no aliases.Classorg.checkerframework.common.aliasing.qualChecker
UnitsAnnotatedTypeFactoryAnnotated type factory for the Units Checker.Classorg.checkerframework.checker.unitsChecker
UnitsAnnotatedTypeFormatterClassorg.checkerframework.checker.unitsChecker
UnitsAnnotationClassLoaderClassorg.checkerframework.checker.unitsChecker
UnitsBottomClassorg.checkerframework.checker.units.qualChecker
UnitsCheckerUnits Checker main class.Classorg.checkerframework.checker.unitsChecker
UnitsMultipleDefine the relation between a base unit and the current unit.Classorg.checkerframework.checker.units.qualChecker
UnitsRelationsSpecify the class that knows how to handle the meta-annotated unit when put in relation (plus, multiply, .Classorg.checkerframework.checker.units.qualChecker
UnitsRelationsInterface that is used to specify the relation between units.Interfaceorg.checkerframework.checker.unitsChecker
UnitsRelationsDefaultDefault relations between SI units.Classorg.checkerframework.checker.unitsChecker
UnitsRelationsToolsClassorg.checkerframework.checker.unitsChecker
UnitsToolsUtility methods to generate annotated types and to convert between them.Classorg.checkerframework.checker.unitsChecker
UnitsVisitor Ensure consistent use of compound assignments.Classorg.checkerframework.checker.unitsChecker
UnknownClassClassorg.checkerframework.common.reflection.qualChecker
UnknownFormatClassorg.checkerframework.checker.formatter.qualChecker
UnknownInitializationThis type qualifier belongs to the freedom-before-commitment type-system for tracking initialization.Classorg.checkerframework.checker.initialization.qualChecker
UnknownInternedClassorg.checkerframework.checker.interning.qualChecker
UnknownKeyForUsed internally by the type system; should never be written by a programmer.Classorg.checkerframework.checker.nullness.qualChecker
UnknownLocalizedClassorg.checkerframework.checker.i18n.qualChecker
UnknownMethodClassorg.checkerframework.common.reflection.qualChecker
UnknownPropertyKeyClassorg.checkerframework.checker.propkey.qualChecker
UnknownRegexClassorg.checkerframework.checker.regex.classic.qualChecker
UnknownUnitsClassorg.checkerframework.checker.units.qualChecker
UnknownValClassorg.checkerframework.common.value.qualChecker
UnqualifiedA special annotation intended solely for representing an unqualified type in the qualifier hierarchy, as an argument to SubtypeOf.Classorg.checkerframework.framework.qualChecker
UnsignedRightShiftNodeA node for bitwise right shift operations with zero extension: expression >>> expressionClassorg.checkerframework.dataflow.cfg.nodeChecker
UntaintedClassorg.checkerframework.checker.experimental.tainting_qual.qualChecker
UntaintedClassorg.checkerframework.checker.tainting.classic.qualChecker
UntaintedUntainted is the annotation to specify the untainted qualifier.Classorg.checkerframework.checker.tainting.qualChecker
UnusableClassorg.checkerframework.checker.linear.qualChecker
UnusedDeclares that the field may not be accessed if the receiver is of the specified qualifier type (or any supertype).Classorg.checkerframework.framework.qualChecker
UsesObjectEqualsClass declaration to indicate the class does not override equals(Object), and therefore a.Classorg.checkerframework.checker.interning.qualChecker
ValueAnnotatedTypeFactoryClassorg.checkerframework.common.valueChecker
ValueCheckerClassorg.checkerframework.common.valueChecker
ValueCheckerUtilsClassorg.checkerframework.common.valueChecker
ValueLiteralNodeA node for a literals that have some form of value: integer literallong literalchar literalstring literalfloat literaldouble literalboolean literalnull literalClassorg.checkerframework.dataflow.cfg.nodeChecker
ValueTransferClassorg.checkerframework.common.valueChecker
ValueVisitor Visitor for the Constant Value type-system.Classorg.checkerframework.common.valueChecker
VarVar is a qualifier parameter use.Classorg.checkerframework.checker.regex.qualChecker
VarVar is a qualifier parameter use.Classorg.checkerframework.checker.tainting.qualChecker
VariableApplierApplies annotations to variable declaration (providing they are not the use of a TYPE_PARAMETER).Classorg.checkerframework.framework.util.elementChecker
VariableDeclarationExprClassorg.checkerframework.stubparser.ast.exprChecker
VariableDeclarationNodeA node for a local variable declaration: modifier type identifier;Classorg.checkerframework.dataflow.cfg.nodeChecker
VariableDeclaratorClassorg.checkerframework.stubparser.ast.bodyChecker
VariableDeclaratorIdClassorg.checkerframework.stubparser.ast.bodyChecker
VisitHistoryIMPORTANT: DO NOT USE VisitHistory FOR VISITORS THAT UPDATE AN ANNOTATED TYPE MIRROR'S ANNOTATIONS OR YOU VIOLATE THE CONTRACT OF equals/Hashcode.Classorg.checkerframework.framework.type.visitorChecker
VisitorStateRepresents the state of a visitor.Classorg.checkerframework.framework.typeChecker
VoidTypeClassorg.checkerframework.stubparser.ast.typeChecker
VoidVisitorInterfaceorg.checkerframework.stubparser.ast.visitorChecker
VoidVisitorAdapterClassorg.checkerframework.stubparser.ast.visitorChecker
WhileStmtClassorg.checkerframework.stubparser.ast.stmtChecker
WideningConversionNodeA node for the widening primitive conversion operation.Classorg.checkerframework.dataflow.cfg.nodeChecker
WildWild is equivalent to the wildcard operator.Classorg.checkerframework.checker.regex.qualChecker
WildWild is equivalent to the wildcard operator.Classorg.checkerframework.checker.tainting.qualChecker
WildCardClassorg.checkerframework.checker.oigj.qualChecker
WildcardWhen using SimpleQualifierParameterAnnotationConverter, this enum allows specifying super and extends bounds, e.Classorg.checkerframework.qualframework.poly.qualChecker
WildcardA qualifier wildcard, bounded above and below by PolyQuals.Classorg.checkerframework.qualframework.polyChecker
WildcardTypeClassorg.checkerframework.stubparser.ast.typeChecker
WorldClassorg.checkerframework.checker.oigj.qualChecker
WrappedAnnotatedTypeMirrorA wrapper to adapt an AnnotatedTypeMirror to the ExtendedTypeMirror interface.Classorg.checkerframework.qualframework.utilChecker