Skip navigation links
A B C D E F G H I J K L M N O P Q R S T U V W X Z _ 

A

A - Annotation Type in org.checkerframework.checker.units.qual
Ampere.
A - Static variable in class org.checkerframework.checker.units.UnitsTools
 
a - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
 
A2F - Class in org.checkerframework.framework.util.typeinference.constraint
 
A2F(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.A2F
 
A2FReducer - Class in org.checkerframework.framework.util.typeinference.constraint
A2FReducer takes an A2F constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
A2FReducer(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.A2FReducer
 
abortIfParentNotKind(TypeKind, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.type.BoundsInitializer
 
ABSTRACT - Static variable in class org.checkerframework.stubparser.ast.body.ModifierSet
 
ABSTRACT - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
AbstractAtmComboVisitor<RETURN_TYPE,PARAM> - Class in org.checkerframework.framework.type.visitor
Implements all methods from AtmComboVisitor.
AbstractAtmComboVisitor() - Constructor for class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor
 
AbstractNodeVisitor<R,P> - Class in org.checkerframework.dataflow.cfg.node
A default implementation of the node visitor interface.
AbstractNodeVisitor() - Constructor for class org.checkerframework.dataflow.cfg.node.AbstractNodeVisitor
 
AbstractNullnessChecker - Class in org.checkerframework.checker.nullness
An implementation of the nullness type-system, parameterized by an initialization type-system for safe initialization.
AbstractNullnessChecker(boolean) - Constructor for class org.checkerframework.checker.nullness.AbstractNullnessChecker
 
AbstractTypeProcessor - Class in org.checkerframework.javacutil
This class is an abstract annotation processor designed to be a convenient superclass for concrete "type processors", processors that require the type information in the processed source.
AbstractTypeProcessor() - Constructor for class org.checkerframework.javacutil.AbstractTypeProcessor
Constructor for subclasses to call.
AbstractValue<V extends AbstractValue<V>> - Interface in org.checkerframework.dataflow.analysis
An abstract value used in the org.checkerframework.dataflow analysis.
Acceleration - Annotation Type in org.checkerframework.checker.units.qual
Units of acceleration.
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ImplicitThisLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.Node
Accept method of the visitor pattern
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateAssignmentNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
 
accept(NodeVisitor<R, P>, P) - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Applies a visitor to this type.
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
 
accept(AnnotatedTypeVisitor<R, P>, P) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
 
accept(AnnotatedTypeMirror, AnnotatedTypeMirror, PARAM, AtmComboVisitor<RETURN_TYPE, PARAM>) - Static method in enum org.checkerframework.framework.util.AtmCombo
Call the visit method that corresponds to the AtmCombo that represents the classes of type1 and type2.
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.BlockComment
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.BlockComment
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.AnnotationDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.AnnotationDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.AnnotationMemberDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.AnnotationMemberDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.ClassOrInterfaceDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.ClassOrInterfaceDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.ConstructorDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.ConstructorDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.EmptyMemberDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.EmptyMemberDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.EmptyTypeDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.EmptyTypeDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.EnumConstantDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.EnumConstantDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.EnumDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.EnumDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.FieldDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.FieldDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.InitializerDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.InitializerDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.JavadocComment
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.JavadocComment
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.MethodDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.MethodDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.Parameter
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.Parameter
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.VariableDeclarator
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.VariableDeclarator
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.body.VariableDeclaratorId
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.body.VariableDeclaratorId
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.CompilationUnit
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.CompilationUnit
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ArrayAccessExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ArrayAccessExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ArrayCreationExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ArrayCreationExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ArrayInitializerExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ArrayInitializerExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.AssignExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.AssignExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.BinaryExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.BinaryExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.BooleanLiteralExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.BooleanLiteralExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.CastExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.CastExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.CharLiteralExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.CharLiteralExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ClassExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ClassExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ConditionalExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ConditionalExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.DoubleLiteralExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.DoubleLiteralExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.EnclosedExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.EnclosedExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.FieldAccessExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.FieldAccessExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.InstanceOfExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.InstanceOfExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.IntegerLiteralExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.IntegerLiteralExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.IntegerLiteralMinValueExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.IntegerLiteralMinValueExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.LongLiteralExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.LongLiteralExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.LongLiteralMinValueExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.LongLiteralMinValueExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.MarkerAnnotationExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.MarkerAnnotationExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.MemberValuePair
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.MemberValuePair
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.MethodCallExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.MethodCallExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.NameExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.NameExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.NormalAnnotationExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.NormalAnnotationExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.NullLiteralExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.NullLiteralExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ObjectCreationExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ObjectCreationExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.QualifiedNameExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.QualifiedNameExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.SingleMemberAnnotationExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.SingleMemberAnnotationExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.StringLiteralExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.StringLiteralExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.SuperExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.SuperExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ThisExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.ThisExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.UnaryExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.UnaryExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.expr.VariableDeclarationExpr
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.expr.VariableDeclarationExpr
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.ImportDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.ImportDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.IndexUnit
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.IndexUnit
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.LineComment
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.LineComment
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.Node
Accept method for visitor support.
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.Node
Accept method for visitor support.
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.PackageDeclaration
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.PackageDeclaration
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.AssertStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.AssertStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.BlockStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.BlockStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.BreakStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.BreakStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.CatchClause
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.CatchClause
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ContinueStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ContinueStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.DoStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.DoStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.EmptyStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.EmptyStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ExplicitConstructorInvocationStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ExplicitConstructorInvocationStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ExpressionStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ExpressionStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ForeachStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ForeachStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ForStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ForStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.IfStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.IfStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.LabeledStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.LabeledStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ReturnStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ReturnStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.SwitchEntryStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.SwitchEntryStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.SwitchStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.SwitchStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.SynchronizedStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.SynchronizedStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ThrowStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.ThrowStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.TryStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.TryStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.TypeDeclarationStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.TypeDeclarationStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.WhileStmt
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.stmt.WhileStmt
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.type.ClassOrInterfaceType
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.type.ClassOrInterfaceType
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.type.PrimitiveType
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.type.PrimitiveType
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.type.ReferenceType
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.type.ReferenceType
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.type.VoidType
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.type.VoidType
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.type.WildcardType
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.type.WildcardType
 
accept(GenericVisitor<R, A>, A) - Method in class org.checkerframework.stubparser.ast.TypeParameter
 
accept(VoidVisitor<A>, A) - Method in class org.checkerframework.stubparser.ast.TypeParameter
 
accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.ClassTypeParamApplier
 
accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.MethodApplier
 
accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.MethodTypeParamApplier
 
accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.ParamApplier
 
accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.TypeDeclarationApplier
 
accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.TypeVarUseApplier
 
accepts(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.VariableApplier
 
actualType - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror
Actual type wrapped with this AnnotatedTypeMirror
adaptGetClassReturnTypeToReceiver(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Java special cases the return type of getClass.
adaptMethodType(AnnotatedTypeFactory, ExpressionTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
 
adaptMethodType(AnnotatedTypeFactory, ExpressionTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in interface org.checkerframework.framework.util.typeinference.TypeArgumentInference
 
add(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist
 
add(T) - Method in class org.checkerframework.dataflow.util.MostlySingleton
 
add(AnnotatedTypeMirror, AnnotatedTypeMirror, RETURN_TYPE) - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
 
add(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.VisitHistory
Add a visit for type1 and type2.
add(AnnotationMirror) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
 
addAliasedAnnotation(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Add the annotation clazz as an alias for the annotation type.
addAliasedDeclAnnotation(Class<? extends Annotation>, Class<? extends Annotation>, AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Add the annotation alias as an alias for the declaration annotation annotation, where the annotation mirror annoationToUse will be used instead.
addAll(Collection<? extends T>) - Method in class org.checkerframework.dataflow.util.MostlySingleton
 
addAll(Collection<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
 
addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Adds an annotation to this type.
addAnnotation(Class<? extends Annotation>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Adds an annotation to this type.
addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
 
addAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
 
addAnnotations(Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Adds multiple annotations to this type.
addArgument(MethodCallExpr, Expression) - Static method in class org.checkerframework.stubparser.ASTHelper
Adds the given argument to the method call.
addCheckedCodeDefault(AnnotationMirror, TypeUseLocation) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Sets the default annotations.
addCheckedCodeDefaults(QualifierDefaults) - Method in class org.checkerframework.checker.index.minlen.MinLenAnnotatedTypeFactory
 
addCheckedCodeDefaults(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Adds default qualifiers for type-checked code by reading DefaultFor and DefaultQualifierInHierarchy meta-annotations.
addCheckedCodeDefaults(AnnotationMirror, TypeUseLocation[]) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
 
addCheckedStandardDefaults(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Adds the standard CLIMB defaults that do not conflict with previously added defaults.
addClimbStandardDefaults(Iterable<? extends AnnotationMirror>, Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Add standard CLIMB defaults that do not conflict with previously added defaults.
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
 
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
 
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.index.minlen.MinLenAnnotatedTypeFactory
 
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.index.minlen.MinLenAnnotatedTypeFactory
 
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
 
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
 
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.linear.LinearAnnotatedTypeFactory
Case 1: type of class declaration
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
 
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
 
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
Like {#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror)}.
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Adds implicit annotations to a type obtained from a Tree.
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Adds implicit annotations to a type obtained from a Element.
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
addComputedTypeAnnotations(Tree, AnnotatedTypeMirror, boolean) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Like {#addComputedTypeAnnotations(Tree, AnnotatedTypeMirror)}.
addComputedTypeAnnotations(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
 
addConstraintsBetweenTargets(Set<TUConstraint>, Set<TypeVariable>, boolean, AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
Declarations of the form: <A, B extends A> implies a TUConstraint of B <: A.
addDiagnosticFile(File) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addDiagnosticFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addDotEdge(long, long, String) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
 
adddToPathOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addElementDefault(Element, AnnotationMirror, TypeUseLocation) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Sets the default annotations for a certain Element.
addEscapes(String) - Static method in error org.checkerframework.stubparser.TokenMgrError
Replaces unprintable characters by their escaped (or unicode escaped) equivalents in the given string
addExceptionalSuccessor(BlockImpl, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
Add an exceptional successor.
addFieldToAnnotationBuilder(String, Object, AnnotationBuilder) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter
Adds a field to an AnnotationBuilder.
addInformationFromPreconditions(S, AnnotatedTypeFactory, UnderlyingAST.CFGMethod, MethodTree, ExecutableElement) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer
Add the information from all the preconditions of the method method with corresponding tree methodTree to the store info.
addInheritedAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Adds the annotation annotation in the set of declaration annotations that should be inherited.
addInitializedField(FlowExpressions.FieldAccess) - Method in class org.checkerframework.checker.initialization.InitializationStore
Mark the field identified by the element field as initialized (if it belongs to the current class, or is static (in which case there is no aliasing issue and we can just add all static fields).
addInitializedField(VariableElement) - Method in class org.checkerframework.checker.initialization.InitializationStore
Mark the field identified by the element f as initialized (the caller needs to ensure that the field belongs to the current class, or is a static field).
additionalAnnotations - Variable in class org.checkerframework.framework.util.typeinference.solver.InferredValue.InferredTarget
Indicates that the inferred type should have these primary annotations and the remainder should come from the annotations inferred for target.
addLabelForNextNode(CFGBuilder.Label) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Add the label l to the extended node that will be placed next in the sequence.
addLiteralKind(LiteralKind, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator
Added an implicit rule for a particular LiteralKind
addMainToArgs(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
addMember(TypeDeclaration, BodyDeclaration) - Static method in class org.checkerframework.stubparser.ASTHelper
Adds the given declaration to the specified type.
addMissingAnnotations(Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Adds those annotations to the current type, for which no annotation from the same qualifier hierarchy is present.
addModifier(int, int) - Static method in class org.checkerframework.stubparser.ast.body.ModifierSet
Adds the given modifier.
addNode(Node) - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
Add a node to the contents of this basic block.
addNodes(List<? extends Node>) - Method in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
Add multiple nodes to the contents of this basic block.
addNotBothReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
Add reason as a reason why the method is not both side-effect free and deterministic.
addNotDetReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
Add reason as a reason why the method is not deterministic.
addNotSeFreeReason(Tree, String) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityResult
Add reason as a reason why the method is not side-effect free.
addOption(String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
Adds an option that takes no argument
addOption(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
Adds an option that takes an argument
addOption(String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addOption(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addOptionIfValueNonEmpty(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
Adds the option only if value is a non-null, non-empty String
addOptionIfValueNonEmpty(String, String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addOptions(Map<String, String>) - Method in class org.checkerframework.framework.source.SourceChecker
Add additional active options.
addOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap
Adds all of the options in the given map to this one
addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.SimpleOptionMap
 
addOptions(Map<String, String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addOptions(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addOrGetDeclarations(TypeVariable, AnnotatedTypeFactory, Map<TypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable>) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
 
addParameter(MethodDeclaration, Parameter) - Static method in class org.checkerframework.stubparser.ASTHelper
Adds the given parameter to the method.
addPolyRelations(QualifierHierarchy, Map<AnnotationMirror, Set<AnnotationMirror>>, Map<AnnotationMirror, AnnotationMirror>, Set<AnnotationMirror>, Set<AnnotationMirror>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
Add the relationships for polymorphic qualifiers.
addPredecessor(BlockImpl) - Method in class org.checkerframework.dataflow.cfg.block.BlockImpl
 
addPrimaryEqualities(TypeVariable, QualifierHierarchy, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target has primary annotations equal to the given annotations
addPrimarySubtypes(TypeVariable, QualifierHierarchy, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target's primary annotations are subtypes of the given annotations
addPrimarySupertype(TypeVariable, QualifierHierarchy, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target's primary annotations are subtypes of the given annotations
addProcessor(String) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addProcessors(Iterable<String>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addQualifier(AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
Adds the passed qualifier to the hierarchy.
addSourceFile(File) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addSourceFiles(Iterable<File>) - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
addStmt(BlockStmt, Statement) - Static method in class org.checkerframework.stubparser.ASTHelper
Adds the given statement to the specified block.
addStmt(BlockStmt, Expression) - Static method in class org.checkerframework.stubparser.ASTHelper
Adds the given expression to the specified block.
addStoreBefore(Block, Node, S, Store.Kind, boolean) - Method in class org.checkerframework.dataflow.analysis.Analysis
Add a store before the basic block b by merging with the existing stores for that location.
addStringPattern(String, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator
Added an implicit rule for all String literals that match the given pattern
addSubtype(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
Adds a subtype relationship between the two type qualifiers.
addTargetEquality(TypeVariable, TypeVariable, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that the equivalent is equal to target in the given qualifier hierarchies
addTargetSubtype(TypeVariable, TypeVariable, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is a subtype of supertype in the given qualifier hierarchies
addTargetSupertype(TypeVariable, TypeVariable, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is a supertype of subtype in the given qualifier hierarchies
addToClasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
addToConvertedLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Add a node in the post-conversion lookup map.
addToConvertedLookupMap(Tree, Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Add a node in the post-conversion lookup map.
addToLookupMap(Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Add a node to the lookup map if it not already present.
addToPathOption(String, String) - Method in class org.checkerframework.framework.test.SimpleOptionMap
A method to easily add Strings to an option that takes a filepath as an argument
addToPrimaryRelationship(TypeVariable, TUConstraint, ConstraintMap, AnnotationMirrorSet, QualifierHierarchy) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
 
addToProcessorpath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
addToRuntimeBootclasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
addToTypeRelationship(TypeVariable, AnnotatedTypeMirror, ConstraintMap, TUConstraint, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
 
addToWorklist(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis
Add a basic block to the worklist.
addTreeClass(Class<? extends Tree>, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator
Added an implicit rule for a particular Tree class
addTreeKind(Tree.Kind, AnnotationMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator
Added an implicit rule for a particular Tree.Kind
addTypeClass(Class<? extends AnnotatedTypeMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.ImplicitsTypeAnnotator
 
addTypeDeclaration(CompilationUnit, TypeDeclaration) - Static method in class org.checkerframework.stubparser.ASTHelper
Adds the given type declaration to the compilation unit.
addTypeEqualities(TypeVariable, AnnotatedTypeMirror, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is equal to type in the given hierarchies
addTypeKind(TypeKind, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.ImplicitsTypeAnnotator
 
addTypeName(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.typeannotator.ImplicitsTypeAnnotator
 
addTypeNameImplicit(Class<?>, AnnotationMirror) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
 
addTypeSubtype(TypeVariable, AnnotatedTypeMirror, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is a subtype of supertype in the given qualifier hierarchies
addTypeSupertype(TypeVariable, AnnotatedTypeMirror, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
Add a constraint indicating that target is a supertype of subtype in the given qualifier hierarchies
addUncheckedCodeDefault(AnnotationMirror, TypeUseLocation) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Sets the default annotation for unchecked elements.
addUncheckedCodeDefaults(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Adds default qualifiers for code that is not type-checked by reading @DefaultInUncheckedCodeFor and @DefaultQualifierInHierarchyInUncheckedCode meta-annotations.
addUncheckedCodeDefaults(AnnotationMirror, TypeUseLocation[]) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Sets the default annotation for unchecked elements, with specific locations.
addUncheckedStandardDefaults(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Adds standard unchecked defaults that do not conflict with previously added defaults.
addUncheckedStandardDefaults(Iterable<? extends AnnotationMirror>, Iterable<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Add standard unchecked defaults that do not conflict with previously added defaults.
adjustBeginLineColumn(int, int) - Method in class org.checkerframework.stubparser.JavaCharStream
Method to adjust line and column numbers for the start of a token.
AdjustBuffSize() - Method in class org.checkerframework.stubparser.JavaCharStream
 
advance() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
 
AFConstraint - Class in org.checkerframework.framework.util.typeinference.constraint
AFConstraint represent the initial constraints used to infer type arguments for method invocations and new class invocations.
AFConstraint(AnnotatedTypeMirror, AnnotatedTypeMirror, int) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
 
AFReducer - Interface in org.checkerframework.framework.util.typeinference.constraint
AFReducer implementations reduce AFConstraints into one or more "simpler" AFConstraints until these constraints are irreducible
afToTuConstraints(Set<? extends AFConstraint>, Set<TypeVariable>) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
Convert AFConstraints to TUConstraints
AggregateChecker - Class in org.checkerframework.framework.source
An aggregate checker that packages multiple checkers together.
AggregateChecker() - Constructor for class org.checkerframework.framework.source.AggregateChecker
 
aliasedAnnotation(AnnotationMirror) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
 
aliasedAnnotation(AnnotationMirror) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
 
aliasedAnnotation(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
 
aliasedAnnotation(AnnotationMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Returns the canonical annotation for the passed annotation if it is an alias of a canonical one in the framework.
AliasingAnnotatedTypeFactory - Class in org.checkerframework.common.aliasing
 
AliasingAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
 
AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy - Class in org.checkerframework.common.aliasing
 
AliasingAnnotatedTypeFactory.AliasingTreeAnnotator - Class in org.checkerframework.common.aliasing
 
AliasingChecker - Class in org.checkerframework.common.aliasing
Aliasing type system -- used to identify expressions that definitely have no aliases.
AliasingChecker() - Constructor for class org.checkerframework.common.aliasing.AliasingChecker
 
AliasingQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Constructor for class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
 
AliasingTransfer - Class in org.checkerframework.common.aliasing
Type refinement is treated in the usual way, except that at (pseudo-)assignments the RHS may lose its type refinement, before the LHS is type-refined.
AliasingTransfer(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Constructor for class org.checkerframework.common.aliasing.AliasingTransfer
 
AliasingTreeAnnotator(AliasingAnnotatedTypeFactory) - Constructor for class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingTreeAnnotator
 
AliasingVisitor - Class in org.checkerframework.common.aliasing
This visitor ensures that every constructor whose result is annotated as @Unique does not leak aliases.
AliasingVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.common.aliasing.AliasingVisitor
 
allLiteralKinds() - Static method in enum org.checkerframework.framework.qual.LiteralKind
Returns all LiteralKinds except for ALL and PRIMITIVE
alltests() - Method in class org.checkerframework.checker.i18nformatter.unittests.I18nHasFormatTest
 
alternatives - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
 
AlwaysSafe - Annotation Type in org.checkerframework.checker.guieffect.qual
Annotation to override the UI effect on a class, and make a field or method safe for non-UI code to use.
analyses - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
 
analysis - Variable in class org.checkerframework.checker.index.IndexAbstractTransfer
 
analysis - Variable in class org.checkerframework.checker.lock.LockTransfer
Type-specific version of super.analysis.
analysis - Variable in class org.checkerframework.checker.nullness.NullnessTransfer
Type-specific version of super.analysis.
Analysis<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Class in org.checkerframework.dataflow.analysis
An implementation of an iterative algorithm to solve a org.checkerframework.dataflow problem, given a control flow graph and a transfer function.
Analysis(ProcessingEnvironment) - Constructor for class org.checkerframework.dataflow.analysis.Analysis
Construct an object that can perform a org.checkerframework.dataflow analysis over a control flow graph.
Analysis(ProcessingEnvironment, T) - Constructor for class org.checkerframework.dataflow.analysis.Analysis
Construct an object that can perform a org.checkerframework.dataflow analysis over a control flow graph, given a transfer function.
Analysis(ProcessingEnvironment, T, int) - Constructor for class org.checkerframework.dataflow.analysis.Analysis
Construct an object that can perform a org.checkerframework.dataflow analysis over a control flow graph, given a transfer function.
analysis - Variable in class org.checkerframework.dataflow.analysis.TransferInput
The corresponding analysis class to get intermediate flow results.
analysis - Variable in class org.checkerframework.framework.flow.CFAbstractStore
The analysis class this store belongs to.
analysis - Variable in class org.checkerframework.framework.flow.CFAbstractTransfer
The analysis class this store belongs to.
analysis - Variable in class org.checkerframework.framework.flow.CFAbstractValue
The analysis class this value belongs to.
Analysis.Worklist - Class in org.checkerframework.dataflow.analysis
A worklist is a priority queue of blocks in which the order is given by depth-first ordering to place non-loop predecessors ahead of successors.
Analysis.Worklist.DFOComparator - Class in org.checkerframework.dataflow.analysis
Comparator to allow priority queue to order blocks by their depth-first order.
AnalysisResult<A extends AbstractValue<A>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis
An AnalysisResult represents the result of a org.checkerframework.dataflow analysis by providing the abstract values given a node or a tree.
AnalysisResult(Map<Node, A>, IdentityHashMap<Block, TransferInput<A, S>>, IdentityHashMap<Tree, Node>, HashMap<Element, A>) - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
Initialize with a given node-value mapping.
AnalysisResult() - Constructor for class org.checkerframework.dataflow.analysis.AnalysisResult
Initialize empty result.
analyze(Queue<ClassTree>, Queue<Pair<LambdaExpressionTree, Store>>, UnderlyingAST, List<Pair<VariableElement, Value>>, ClassTree, boolean, boolean, boolean) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Analyze the AST ast and store the result.
analyze(Queue<ClassTree>, Queue<Pair<LambdaExpressionTree, Store>>, UnderlyingAST, List<Pair<VariableElement, Value>>, ClassTree, boolean, boolean, boolean, Store) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
 
AND(Boolean, Boolean) - Static method in class org.checkerframework.common.value.Operators
 
AND(boolean, boolean) - Static method in class org.checkerframework.common.value.Operators
 
AND(Long, Long) - Static method in class org.checkerframework.common.value.Operators
 
AND(Integer, Integer) - Static method in class org.checkerframework.common.value.Operators
 
AND(long, long) - Static method in class org.checkerframework.common.value.Operators
 
AND(int, int) - Static method in class org.checkerframework.common.value.Operators
 
ANDASSIGN - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
Angle - Annotation Type in org.checkerframework.checker.units.qual
Units of measure for angles.
annoFormatter - Variable in class org.checkerframework.checker.initialization.InitializationVisitor
 
annoFormatter - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
The object responsible for converting annotations to strings
annoProvider - Variable in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
 
annoResult - Variable in class org.checkerframework.framework.util.ContractsUtils.ConditionalPostcondition
The return value for the annotated method that ensures that the conditional postcondition holds.
annotate(Element, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Applies default annotations to a type given an Element.
annotate(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
Applies default annotations to a type given a Tree.
annotate(MethodInvocationTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.QualifierPolymorphism
Resolves polymorphism annotations for the given type.
annotate(NewClassTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.QualifierPolymorphism
 
annotate(AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.QualifierPolymorphism
 
AnnotatedFor - Annotation Type in org.checkerframework.framework.qual
Indicates that this class has been annotated for the given type system.
annotatedTargets() - Method in class org.checkerframework.framework.util.element.MethodApplier
 
annotatedTargets() - Method in class org.checkerframework.framework.util.element.ParamApplier
 
annotatedTargets() - Method in class org.checkerframework.framework.util.element.SuperTypeApplier
 
annotatedTargets() - Method in class org.checkerframework.framework.util.element.TypeDeclarationApplier
 
annotatedTargets() - Method in class org.checkerframework.framework.util.element.VariableApplier
 
AnnotatedTypeComparer<R> - Class in org.checkerframework.framework.type.visitor
A TypeVisitor that takes two AnnotatedTypeMirrors as parameters, and visits them simultaneously.
AnnotatedTypeComparer() - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeComparer
 
AnnotatedTypeCopier - Class in org.checkerframework.framework.type
AnnotatedTypeCopier is a visitor that deep copies an AnnotatedTypeMirror exactly, including any lazily initialized fields.
AnnotatedTypeCopier(boolean) - Constructor for class org.checkerframework.framework.type.AnnotatedTypeCopier
Creates an AnnotatedTypeCopier that may or may not copyAnnotations By default AnnotatedTypeCopier provides two major properties in its copies: Structure preservation -- the exact structure of the original AnnotatedTypeMirror is preserved in the copy including all component types.
AnnotatedTypeCopier() - Constructor for class org.checkerframework.framework.type.AnnotatedTypeCopier
Creates an AnnotatedTypeCopier that copies both the structure and annotations of the source AnnotatedTypeMirror
AnnotatedTypeFactory - Class in org.checkerframework.framework.type
The methods of this class take an element or AST node, and return the annotated type as an AnnotatedTypeMirror.
AnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.framework.type.AnnotatedTypeFactory
Constructs a factory from the given ProcessingEnvironment instance and syntax tree root.
AnnotatedTypeFactory.InheritedFromClassAnnotator - Class in org.checkerframework.framework.type
A singleton utility class for pulling annotations down from a class type.
AnnotatedTypeFormatter - Interface in org.checkerframework.framework.type
Converts an AnnotatedTypeMirror mirror into a formatted string.
AnnotatedTypeMerger - Class in org.checkerframework.framework.type.visitor
Replaces or adds all the annotations in the parameter with the annotations from the visited type.
AnnotatedTypeMerger() - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeMerger
 
AnnotatedTypeMerger(AnnotationMirror) - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeMerger
 
AnnotatedTypeMirror - Class in org.checkerframework.framework.type
Represents an annotated type in the Java programming language.
AnnotatedTypeMirror.AnnotatedArrayType - Class in org.checkerframework.framework.type
Represents Array types in java.
AnnotatedTypeMirror.AnnotatedDeclaredType - Class in org.checkerframework.framework.type
Represents a declared type (whether class or interface).
AnnotatedTypeMirror.AnnotatedExecutableType - Class in org.checkerframework.framework.type
Represents a type of an executable.
AnnotatedTypeMirror.AnnotatedIntersectionType - Class in org.checkerframework.framework.type
 
AnnotatedTypeMirror.AnnotatedNoType - Class in org.checkerframework.framework.type
A pseudo-type used where no actual type is appropriate.
AnnotatedTypeMirror.AnnotatedNullType - Class in org.checkerframework.framework.type
Represents the null type.
AnnotatedTypeMirror.AnnotatedPrimitiveType - Class in org.checkerframework.framework.type
Represents a primitive type.
AnnotatedTypeMirror.AnnotatedTypeVariable - Class in org.checkerframework.framework.type
Represents a type variable.
AnnotatedTypeMirror.AnnotatedUnionType - Class in org.checkerframework.framework.type
 
AnnotatedTypeMirror.AnnotatedWildcardType - Class in org.checkerframework.framework.type
Represents a wildcard type argument.
AnnotatedTypeParameterBounds - Class in org.checkerframework.framework.type
 
AnnotatedTypeParameterBounds(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.type.AnnotatedTypeParameterBounds
 
AnnotatedTypeReplacer - Class in org.checkerframework.framework.type
Duplicates annotated types and replaces components according to a replacement map.
AnnotatedTypeReplacer() - Constructor for class org.checkerframework.framework.type.AnnotatedTypeReplacer
 
AnnotatedTypeReplacer.Visitor - Class in org.checkerframework.framework.type
AnnotatedTypeCopier maintains a mapping of typeVisited &rArr; copyOfTypeVisited When a reference, typeVisited, is encountered again, it will use the recorded reference, copyOfTypeVisited, instead of generating a new copy of typeVisited.
AnnotatedTypes - Class in org.checkerframework.framework.util
Utility methods for operating on AnnotatedTypeMirror.
AnnotatedTypeScanner<R,P> - Class in org.checkerframework.framework.type.visitor
A TypeVisitor that visits all the child tree nodes.
AnnotatedTypeScanner() - Constructor for class org.checkerframework.framework.type.visitor.AnnotatedTypeScanner
 
AnnotatedTypeVisitor<R,P> - Interface in org.checkerframework.framework.type.visitor
A visitor of annotated types, in the style of the visitor design pattern.
annotateInheritedFromClass(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Adds annotations to the type based on the annotations from its class type if and only if no annotations are already present on the type.
annotateInheritedFromClass(AnnotatedTypeMirror, Set<AnnotationMirror>) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Callback to determine what to do with the annotations from a class declaration.
annotateSupers(List<AnnotatedTypeMirror.AnnotatedDeclaredType>, TypeElement) - Static method in class org.checkerframework.framework.type.ElementAnnotationApplier
Annotate the list of supertypes using the annotations on the TypeElement representing a class or interface
annotateSupers(List<AnnotatedTypeMirror.AnnotatedDeclaredType>, TypeElement) - Static method in class org.checkerframework.framework.util.element.SuperTypeApplier
Annotates each supertype with annotations from subtypeElement's extends/implements clauses.
annotation - Variable in class org.checkerframework.framework.util.ContractsUtils.Contract
The annotation that must be on the type of expression as part of this contract.
AnnotationBuilder - Class in org.checkerframework.framework.util
Builds an annotation mirror that may have some values.
AnnotationBuilder(ProcessingEnvironment, Class<? extends Annotation>) - Constructor for class org.checkerframework.framework.util.AnnotationBuilder
 
AnnotationBuilder(ProcessingEnvironment, CharSequence) - Constructor for class org.checkerframework.framework.util.AnnotationBuilder
 
AnnotationBuilder(ProcessingEnvironment, AnnotationMirror) - Constructor for class org.checkerframework.framework.util.AnnotationBuilder
 
AnnotationClassLoader - Class in org.checkerframework.framework.type
This class assists the AnnotatedTypeFactory by reflectively looking up the list of annotation class names in each checker's qual directory, and then loading and returning it as a set of annotation classes.
AnnotationClassLoader(BaseTypeChecker) - Constructor for class org.checkerframework.framework.type.AnnotationClassLoader
Constructor for loading annotations defined for a checker.
AnnotationConverter - Class in org.checkerframework.common.wholeprograminference
This class has auxiliary methods that performs conversion between Annotation and AnnotationMirror.
AnnotationConverter() - Constructor for class org.checkerframework.common.wholeprograminference.AnnotationConverter
 
AnnotationDeclaration - Class in org.checkerframework.stubparser.ast.body
 
AnnotationDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.AnnotationDeclaration
 
AnnotationDeclaration(int, String) - Constructor for class org.checkerframework.stubparser.ast.body.AnnotationDeclaration
 
AnnotationDeclaration(JavadocComment, int, List<AnnotationExpr>, String, List<BodyDeclaration>) - Constructor for class org.checkerframework.stubparser.ast.body.AnnotationDeclaration
 
AnnotationDeclaration(int, int, int, int, JavadocComment, int, List<AnnotationExpr>, String, List<BodyDeclaration>) - Constructor for class org.checkerframework.stubparser.ast.body.AnnotationDeclaration
 
AnnotationExpr - Class in org.checkerframework.stubparser.ast.expr
 
AnnotationExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.AnnotationExpr
 
AnnotationExpr(int, int, int, int) - Constructor for class org.checkerframework.stubparser.ast.expr.AnnotationExpr
 
AnnotationFormatter - Interface in org.checkerframework.framework.util
Converts AnnotationMirrors to Strings For converting AnnotatedTypeMirrors:
AnnotationMemberDeclaration - Class in org.checkerframework.stubparser.ast.body
 
AnnotationMemberDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.AnnotationMemberDeclaration
 
AnnotationMemberDeclaration(int, Type, String, Expression) - Constructor for class org.checkerframework.stubparser.ast.body.AnnotationMemberDeclaration
 
AnnotationMemberDeclaration(JavadocComment, int, List<AnnotationExpr>, Type, String, Expression) - Constructor for class org.checkerframework.stubparser.ast.body.AnnotationMemberDeclaration
 
AnnotationMemberDeclaration(int, int, int, int, JavadocComment, int, List<AnnotationExpr>, Type, String, Expression) - Constructor for class org.checkerframework.stubparser.ast.body.AnnotationMemberDeclaration
 
AnnotationMirrorMap<V> - Class in org.checkerframework.framework.util
The Map interface defines some of its methods with respect to the equals method.
AnnotationMirrorMap() - Constructor for class org.checkerframework.framework.util.AnnotationMirrorMap
 
AnnotationMirrorMap(Map<AnnotationMirror, ? extends V>) - Constructor for class org.checkerframework.framework.util.AnnotationMirrorMap
 
AnnotationMirrorSet - Class in org.checkerframework.framework.util
The Set interface defines many methods with respect to the equals method.
AnnotationMirrorSet() - Constructor for class org.checkerframework.framework.util.AnnotationMirrorSet
 
AnnotationMirrorSet(Collection<? extends AnnotationMirror>) - Constructor for class org.checkerframework.framework.util.AnnotationMirrorSet
 
annotationMirrorToAnnotation(AnnotationMirror) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter
Converts an AnnotationMirror into an Annotation.
annotationName(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
 
annotationOrdering() - Static method in class org.checkerframework.javacutil.AnnotationUtils
provide ordering for AnnotationMirror based on their fully qualified name.
annotationProvider - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
 
AnnotationProvider - Interface in org.checkerframework.javacutil
An implementation of AnnotationProvider returns annotations on Java AST elements.
annotations - Variable in class org.checkerframework.framework.flow.CFAbstractValue
 
AnnotationsCounter - Class in org.checkerframework.common.util.count
An annotation processor for counting the occurrences of annotations.
AnnotationsCounter() - Constructor for class org.checkerframework.common.util.count.AnnotationsCounter
 
AnnotationSetAndTypeMirrorVisitor(TypeMirror, TypeMirror, TypeMirror, Set<AnnotationMirror>, Set<AnnotationMirror>) - Constructor for class org.checkerframework.framework.flow.CFAbstractValue.AnnotationSetAndTypeMirrorVisitor
 
annotationsFromArrayCreation(NewArrayTree, int) - Static method in class org.checkerframework.javacutil.InternalUtils
 
annotationsFromTree(AnnotatedTypeTree) - Static method in class org.checkerframework.javacutil.InternalUtils
 
annotationsFromTree(TypeParameterTree) - Static method in class org.checkerframework.javacutil.InternalUtils
 
annotationsFromTypeAnnotationTrees(List<? extends AnnotationTree>) - Static method in class org.checkerframework.javacutil.InternalUtils
 
annotationSimpleName(AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
 
annotationToAnnotationMirror(Annotation, ProcessingEnvironment) - Static method in class org.checkerframework.common.wholeprograminference.AnnotationConverter
Converts an Annotation into an AnnotationMirror.
AnnotationUtils - Class in org.checkerframework.javacutil
A utility class for working with annotations.
annotators - Variable in class org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
 
annotators - Variable in class org.checkerframework.framework.type.typeannotator.ListTypeAnnotator
 
apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.type.ElementAnnotationApplier
Add all of the relevant annotations stored in Element to type.
apply(AnnotatedTypeMirror.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ClassTypeParamApplier
 
apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.MethodApplier
 
apply(AnnotatedTypeMirror.AnnotatedTypeVariable, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.MethodTypeParamApplier
 
apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ParamApplier
 
apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.TypeDeclarationApplier
 
apply(AnnotatedTypeMirror, Element, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.TypeVarUseApplier
 
apply(AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.element.VariableApplier
 
applyAllElementAnnotations(List<? extends AnnotatedTypeMirror>, List<? extends Element>, AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.util.element.ElementAnnotationUtil
For each type/element pair, add all of the annotations stored in Element to type.
applyDefault(Default) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
Apply default to the type.
applyInferredAnnotations(AnnotatedTypeMirror, Value) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Applies the annotations inferred by the org.checkerframework.dataflow analysis to the type type.
applyInferredType(AnnotatedTypeMirror, Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.type.DefaultInferredTypesApplier
For each top in qualifier hierarchy, traverse inferred and copy the required annotations over to type.
applyUncheckedCodeDefaults(Element) - Method in class org.checkerframework.framework.util.defaults.QualifierDefaults
 
Area - Annotation Type in org.checkerframework.checker.units.qual
Units of areas.
areAllEqual(Collection<? extends AnnotatedTypeMirror>, Collection<? extends AnnotatedTypeMirror>, VisitHistory) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
Compare each type in types1 and types2 pairwise and return true if they are all equal.
areAllFieldsCommittedOnly(ClassTree) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
Are all fields committed-only?
areAllSubtypes(Iterable<? extends AnnotatedTypeMirror>, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
areBoundsValid(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.common.basetype.BaseTypeValidator
 
areCorrespondingTypeVariables(Elements, AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
When overriding a method, you must include the same number of type parameters as the base method.
areEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
areEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
Returns true if type1 and type2 are structurally equivalent.
areEqual(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
The same as areEqual(type1, type2) except now a visited is passed along in order to avoid infinite recursion on recursive bounds.
areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
areEqualInHierarchy(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotationMirror) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
 
arePrimaryAnnotationsEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.DefaultRawnessComparer
 
arePrimeAnnosEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.EqualityAtmComparer
Return true if type1 and type2 have equivalent sets of annotations.
arePrimeAnnosEqual(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
Return true if type1 and type2 have the same set of annotations.
areSame(AnnotatedTypeMirror, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
 
areSame(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks if both annotations are the same.
areSame(Collection<? extends AnnotationMirror>, Collection<? extends AnnotationMirror>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks that two collections contain the same annotations.
areSameByClass(AnnotationMirror, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks that the annotation am has the name of anno.
areSameByName(AnnotationMirror, String) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks that the annotation am has the name aname.
areSameIgnoringValues(AnnotationMirror, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
 
areSamePrimitiveTypes(TypeMirror, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
Returns true iff the arguments are both the same primitive types.
areSubtypes(Iterable<? extends AnnotatedTypeMirror>, Iterable<? extends AnnotatedTypeMirror>) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
Calls is subtype pair-wise on the elements of the subtypes/supertypes Iterable.
argument - Variable in class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
 
arguments - Variable in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
 
arguments - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
 
arguments - Variable in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
 
array - Variable in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
 
ArrayAccess(TypeMirror, FlowExpressions.Receiver, FlowExpressions.Receiver) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
 
ArrayAccessExpr - Class in org.checkerframework.stubparser.ast.expr
 
ArrayAccessExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayAccessExpr
 
ArrayAccessExpr(Expression, Expression) - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayAccessExpr
 
ArrayAccessExpr(int, int, int, int, Expression, Expression) - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayAccessExpr
 
ArrayAccessNode - Class in org.checkerframework.dataflow.cfg.node
A node for an array access:
ArrayAccessNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
 
ArrayCreation(TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
 
ArrayCreationExpr - Class in org.checkerframework.stubparser.ast.expr
 
ArrayCreationExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayCreationExpr
 
ArrayCreationExpr(Type, int, ArrayInitializerExpr) - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayCreationExpr
 
ArrayCreationExpr(int, int, int, int, Type, int, ArrayInitializerExpr) - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayCreationExpr
 
ArrayCreationExpr(Type, List<Expression>, int) - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayCreationExpr
 
ArrayCreationExpr(int, int, int, int, Type, List<Expression>, int) - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayCreationExpr
 
ArrayCreationNode - Class in org.checkerframework.dataflow.cfg.node
A node for new array creation
ArrayCreationNode(NewArrayTree, TypeMirror, List<Node>, List<Node>) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
 
ArrayInitializerExpr - Class in org.checkerframework.stubparser.ast.expr
 
ArrayInitializerExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayInitializerExpr
 
ArrayInitializerExpr(List<Expression>) - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayInitializerExpr
 
ArrayInitializerExpr(int, int, int, int, List<Expression>) - Constructor for class org.checkerframework.stubparser.ast.expr.ArrayInitializerExpr
 
ArrayLen - Annotation Type in org.checkerframework.common.value.qual
An annotation indicating the length of an array.
arrayPattern - Static variable in class org.checkerframework.framework.util.FlowExpressionParseUtil
Matches an array access.
ArrayTypeNode - Class in org.checkerframework.dataflow.cfg.node
A node representing a array type used in an expression such as a field access
ArrayTypeNode(ArrayTypeTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
 
arrayValues - Variable in class org.checkerframework.framework.flow.CFAbstractStore
Information collected about arrays, using the internal representation FlowExpressions.ArrayAccess.
asFormat(String, ConversionCategory...) - Static method in class org.checkerframework.checker.formatter.FormatUtil
Returns if the format string is satisfiable, and if the format's parameters match the passed ConversionCategorys.
asFormatCallCategories(MethodInvocationNode) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil
 
asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, ExecutableElement) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
 
asMemberOf(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, Element) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
Returns the type of an element when that element is viewed as a member of, or otherwise directly contained by, a given type.
asRegex(String) - Static method in class org.checkerframework.checker.regex.RegexUtil
Returns the argument as a @Regex String if it is a regex, otherwise throws an error.
asRegex(String, int) - Static method in class org.checkerframework.checker.regex.RegexUtil
Returns the argument as a @Regex(groups) String if it is a regex with at least the given number of groups, otherwise throws an error.
ASSERT - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
AssertionErrorNode - Class in org.checkerframework.dataflow.cfg.node
A node for the AssertionError when an assertion fails.
AssertionErrorNode(Tree, Node, Node, TypeMirror) - Constructor for class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
 
AssertNonNullIfNonNull - Annotation Type in org.checkerframework.checker.nullness.qual
Indicates that if the method returns a non-null value, then the value expressions are also non-null.
assertNotBuilt() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
 
assertResultsAreValid(TypecheckResult) - Static method in class org.checkerframework.framework.test.TestUtilities
TODO: REDO COMMENT Compares the result of the compiler against an array of Strings.
AssertStmt - Class in org.checkerframework.stubparser.ast.stmt
 
AssertStmt() - Constructor for class org.checkerframework.stubparser.ast.stmt.AssertStmt
 
AssertStmt(Expression) - Constructor for class org.checkerframework.stubparser.ast.stmt.AssertStmt
 
AssertStmt(Expression, Expression) - Constructor for class org.checkerframework.stubparser.ast.stmt.AssertStmt
 
AssertStmt(int, int, int, int, Expression, Expression) - Constructor for class org.checkerframework.stubparser.ast.stmt.AssertStmt
 
assertValidState() - Method in class org.checkerframework.framework.util.CheckerDevelMain
 
assertValidState() - Method in class org.checkerframework.framework.util.CheckerMain
 
ASSIGN - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
assignConvert(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Perform assignment conversion so that it can be assigned to a variable of the given type.
assignedTo(AnnotatedTypeFactory, TreePath) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
Returns the annotated type that the leaf of path is assigned to, if it is within an assignment context.
assignedToVariable(AnnotatedTypeFactory, Tree) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
If the variable's type is a type variable, return getAnnotatedTypeLhsNoTypeVarDefault(tree).
AssignExpr - Class in org.checkerframework.stubparser.ast.expr
 
AssignExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.AssignExpr
 
AssignExpr(Expression, Expression, AssignExpr.Operator) - Constructor for class org.checkerframework.stubparser.ast.expr.AssignExpr
 
AssignExpr(int, int, int, int, Expression, Expression, AssignExpr.Operator) - Constructor for class org.checkerframework.stubparser.ast.expr.AssignExpr
 
AssignExpr.Operator - Enum in org.checkerframework.stubparser.ast.expr
 
assignmentCheck(PurityChecker.PurityResult, ExpressionTree) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
 
AssignmentContext - Class in org.checkerframework.dataflow.cfg.node
An assignment context for a node, which represents the place to which the node with this context is 'assigned' to.
AssignmentContext() - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext
 
assignmentContext - Variable in class org.checkerframework.dataflow.cfg.node.Node
The assignment context of this node.
AssignmentContext.AssignmentLhsContext - Class in org.checkerframework.dataflow.cfg.node
An assignment context for an assignment 'lhs = rhs'.
AssignmentContext.LambdaReturnContext - Class in org.checkerframework.dataflow.cfg.node
An assignment context for lambda return statements.
AssignmentContext.MethodParameterContext - Class in org.checkerframework.dataflow.cfg.node
An assignment context for a method parameter.
AssignmentContext.MethodReturnContext - Class in org.checkerframework.dataflow.cfg.node
An assignment context for method return statements.
AssignmentLhsContext(Node) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentContext.AssignmentLhsContext
 
AssignmentNode - Class in org.checkerframework.dataflow.cfg.node
A node for an assignment:
AssignmentNode(Tree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.AssignmentNode
 
asSourceString() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
 
asSourceString() - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticLine
 
assumeAssertionsActivatedForAssertTree(SourceChecker, AssertTree) - Static method in class org.checkerframework.framework.flow.CFCFGBuilder
 
assumeAssertionsDisabled - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
Can assertions be assumed to be disabled?
assumeAssertionsEnabled - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
Can assertions be assumed to be enabled?
assumeAssertionsEnabledFor(AssertTree) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Should assertions be assumed to be executed for a given AssertTree? False by default.
assumeAssertionsEnabledFor(AssertTree) - Method in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
 
asSuper(AnnotatedTypeMirror, T) - Method in class org.checkerframework.framework.type.AsSuperVisitor
Implements asSuper.
asSuper(Types, AnnotatedTypeFactory, AnnotatedTypeMirror, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
asSuper(AnnotatedTypeFactory, AnnotatedTypeMirror, T) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
Copies annotations from type to a copy of superType where the type variables of superType have been substituted.
AsSuperVisitor - Class in org.checkerframework.framework.type
AsSuperVisitor(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.AsSuperVisitor
 
ASTHelper - Class in org.checkerframework.stubparser
This class helps to construct new nodes.
ASTParserConstants - Interface in org.checkerframework.stubparser
Token literal values and constants.
ASTParserTokenManager - Class in org.checkerframework.stubparser
Token Manager.
ASTParserTokenManager(JavaCharStream) - Constructor for class org.checkerframework.stubparser.ASTParserTokenManager
Constructor.
ASTParserTokenManager(JavaCharStream, int) - Constructor for class org.checkerframework.stubparser.ASTParserTokenManager
Constructor.
asUse() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
 
asUse() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
 
asUse() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
 
AT - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
AtmCombo - Enum in org.checkerframework.framework.util
An enum representing the cartesian product of the set of AtmKinds with itself.
AtmComboVisitor<RETURN_TYPE,PARAM> - Interface in org.checkerframework.framework.type.visitor
Visitor interface for all pair-wise combinations of AnnotatedTypeMirrors.
attributeFromAnnotationValue(ProcessingEnvironment, ExecutableElement, AnnotationValue) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
Returns a newly created Attribute corresponding to an argument AnnotationValue.
atypeFactory - Variable in class org.checkerframework.checker.index.minlen.MinLenTransfer
 
atypeFactory - Variable in class org.checkerframework.checker.initialization.InitializationTransfer
 
atypeFactory - Variable in class org.checkerframework.common.basetype.BaseTypeValidator
 
atypeFactory - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor
The factory to use for obtaining "parsed" version of annotations.
atypeFactory - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis
A type factory that can provide static type annotations for AST Trees.
atypeFactory - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror
The factory to use for lazily creating annotated types.
atypeFactory - Variable in class org.checkerframework.framework.type.treeannotator.TreeAnnotator
 
atypeFactory - Variable in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
 
AwtAlphaCompositingRule - Annotation Type in org.checkerframework.checker.fenum.qual
Basic alpha compositing rules for combining source and destination colors to achieve blending and transparency effects with graphics and images (see AlphaComposite for more details).
AwtColorSpace - Annotation Type in org.checkerframework.checker.fenum.qual
Color space tags to identify the specific color space of a Color object or, via a ColorModel object, of an Image, a BufferedImage, or a GraphicsDevice (see ColorSpace for more details).
AwtCursorType - Annotation Type in org.checkerframework.checker.fenum.qual
 
AwtFlowLayout - Annotation Type in org.checkerframework.checker.fenum.qual
Line alignments in a flow layout (see FlowLayout for more details).

B

b - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
 
backup(int) - Method in class org.checkerframework.stubparser.JavaCharStream
Retreat.
BANG - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
BaseAnnotatedTypeFactory - Class in org.checkerframework.common.basetype
A factory that extends GenericAnnotatedTypeFactory to use the default flow-sensitive analysis as provided by CFAnalysis.
BaseAnnotatedTypeFactory(BaseTypeChecker, boolean) - Constructor for class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
 
BaseAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
 
BaseContext - Interface in org.checkerframework.framework.util
A collection of references to javac components.
BaseTypeChecker - Class in org.checkerframework.common.basetype
An abstract SourceChecker that provides a simple SourceVisitor implementation that type-checks assignments, pseudo-assignments such as parameter passing and method invocation, and method overriding.
BaseTypeChecker() - Constructor for class org.checkerframework.common.basetype.BaseTypeChecker
 
BaseTypeContext - Interface in org.checkerframework.common.basetype
An extension of CFContext that includes BaseTypeChecker-specific components.
BaseTypeValidator - Class in org.checkerframework.common.basetype
A visitor to validate the types in a tree.
BaseTypeValidator(BaseTypeChecker, BaseTypeVisitor<?>, AnnotatedTypeFactory) - Constructor for class org.checkerframework.common.basetype.BaseTypeValidator
 
BaseTypeVisitor<Factory extends GenericAnnotatedTypeFactory<?,?,?,?>> - Class in org.checkerframework.common.basetype
A SourceVisitor that performs assignment and pseudo-assignment checking, method invocation checking, and assignability checking.
BaseTypeVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.common.basetype.BaseTypeVisitor
 
BaseTypeVisitor(BaseTypeChecker, Factory) - Constructor for class org.checkerframework.common.basetype.BaseTypeVisitor
 
BasicAnnotationProvider - Class in org.checkerframework.javacutil
 
BasicAnnotationProvider() - Constructor for class org.checkerframework.javacutil.BasicAnnotationProvider
 
BasicTypeProcessor - Class in org.checkerframework.javacutil
Process the types in an AST in a trivial manner, with hooks for derived classes to actually do something.
BasicTypeProcessor() - Constructor for class org.checkerframework.javacutil.BasicTypeProcessor
 
beginColumn - Variable in class org.checkerframework.stubparser.Token
The column number of the first character of this Token.
beginLine - Variable in class org.checkerframework.stubparser.Token
The line number of the first character of this Token.
BeginToken() - Method in class org.checkerframework.stubparser.JavaCharStream
 
BinaryExpr - Class in org.checkerframework.stubparser.ast.expr
 
BinaryExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.BinaryExpr
 
BinaryExpr(Expression, Expression, BinaryExpr.Operator) - Constructor for class org.checkerframework.stubparser.ast.expr.BinaryExpr
 
BinaryExpr(int, int, int, int, Expression, Expression, BinaryExpr.Operator) - Constructor for class org.checkerframework.stubparser.ast.expr.BinaryExpr
 
BinaryExpr.Operator - Enum in org.checkerframework.stubparser.ast.expr
 
BinaryName - Annotation Type in org.checkerframework.checker.signature.qual
Represents a binary name as defined in the Java Language Specification, section 13.1.
BinaryNameForNonArray - Annotation Type in org.checkerframework.checker.signature.qual
Represents a binary name as defined in the Java Language Specification, section 13.1, but only for a non-array type.
BinaryNameForNonArrayInUnnamedPackage - Annotation Type in org.checkerframework.checker.signature.qual
Represents a binary name as defined in the Java Language Specification, section 13.1, but only for a non-array type in the unnamed package (also known as the default package).
BinaryNameInUnnamedPackage - Annotation Type in org.checkerframework.checker.signature.qual
Represents a string that is both a BinaryName and an InternalForm.
binaryNumericPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Perform binary numeric promotion on the input node to make it match the expression type.
BinaryOperationNode - Class in org.checkerframework.dataflow.cfg.node
A node for a binary expression.
BinaryOperationNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BinaryOperationNode
 
binaryPromotedType(TypeMirror, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Compute the type to which two numeric types must be promoted before performing a binary numeric operation on them.
bindings - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
The bindings of labels to positions (i.e., indices) in the nodeList.
BIT_AND - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
BIT_OR - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
BITWISE_COMPLEMENT(Long) - Static method in class org.checkerframework.common.value.Operators
 
BITWISE_COMPLEMENT(Integer) - Static method in class org.checkerframework.common.value.Operators
 
bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.ByteMath
 
bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
 
bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.FloatMath
 
bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
 
bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.LongMath
 
bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.NumberMath
 
bitwiseAnd(Range) - Method in class org.checkerframework.common.value.util.Range
We give up the analysis for bitwise AND operation
bitwiseAnd(Number) - Method in class org.checkerframework.common.value.util.ShortMath
 
BitwiseAndNode - Class in org.checkerframework.dataflow.cfg.node
A node for the bitwise or logical (single bit) and operation:
BitwiseAndNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
 
bitwiseComplement() - Method in class org.checkerframework.common.value.util.ByteMath
 
bitwiseComplement() - Method in class org.checkerframework.common.value.util.DoubleMath
 
bitwiseComplement() - Method in class org.checkerframework.common.value.util.FloatMath
 
bitwiseComplement() - Method in class org.checkerframework.common.value.util.IntegerMath
 
bitwiseComplement() - Method in class org.checkerframework.common.value.util.LongMath
 
bitwiseComplement() - Method in class org.checkerframework.common.value.util.NumberMath
 
bitwiseComplement() - Method in class org.checkerframework.common.value.util.Range
Returns the range of a variable that falls within this range after applying the bitwise complement operation.
bitwiseComplement() - Method in class org.checkerframework.common.value.util.ShortMath
 
BitwiseComplementNode - Class in org.checkerframework.dataflow.cfg.node
A node for the bitwise complement operation:
BitwiseComplementNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
 
bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.ByteMath
 
bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
 
bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.FloatMath
 
bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
 
bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.LongMath
 
bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.NumberMath
 
bitwiseOr(Range) - Method in class org.checkerframework.common.value.util.Range
We give up the analysis for bitwise OR operation
bitwiseOr(Number) - Method in class org.checkerframework.common.value.util.ShortMath
 
BitwiseOrNode - Class in org.checkerframework.dataflow.cfg.node
A node for the bitwise or logical (single bit) or operation:
BitwiseOrNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
 
bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.ByteMath
 
bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
 
bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.FloatMath
 
bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
 
bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.LongMath
 
bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.NumberMath
 
bitwiseXor(Range) - Method in class org.checkerframework.common.value.util.Range
We give up the analysis for bitwise XOR operation
bitwiseXor(Number) - Method in class org.checkerframework.common.value.util.ShortMath
 
BitwiseXorNode - Class in org.checkerframework.dataflow.cfg.node
A node for the bitwise or logical (single bit) xor operation:
BitwiseXorNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
 
Block - Interface in org.checkerframework.dataflow.cfg.block
Represents a basic block in a control flow graph.
block - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
The basic block this extended node belongs to (as determined in phase two).
block - Variable in class org.checkerframework.dataflow.cfg.node.Node
The basic block this node belongs to (see invariant about this field above).
Block.BlockType - Enum in org.checkerframework.dataflow.cfg.block
The types of basic blocks
BLOCK_SIZE - Static variable in class org.checkerframework.framework.util.ExecUtil
 
BlockComment - Class in org.checkerframework.stubparser.ast
AST node that represent block comments.
BlockComment() - Constructor for class org.checkerframework.stubparser.ast.BlockComment
 
BlockComment(String) - Constructor for class org.checkerframework.stubparser.ast.BlockComment
 
BlockComment(int, int, int, int, String) - Constructor for class org.checkerframework.stubparser.ast.BlockComment
 
blockCount - Variable in class org.checkerframework.dataflow.analysis.Analysis
Number of times every block has been analyzed since the last time widening was applied.
BlockImpl - Class in org.checkerframework.dataflow.cfg.block
Base class of the Block implementation hierarchy.
BlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.BlockImpl
 
BlockStmt - Class in org.checkerframework.stubparser.ast.stmt
 
BlockStmt() - Constructor for class org.checkerframework.stubparser.ast.stmt.BlockStmt
 
BlockStmt(List<Statement>) - Constructor for class org.checkerframework.stubparser.ast.stmt.BlockStmt
 
BlockStmt(int, int, int, int, List<Statement>) - Constructor for class org.checkerframework.stubparser.ast.stmt.BlockStmt
 
BodyDeclaration - Class in org.checkerframework.stubparser.ast.body
 
BodyDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.BodyDeclaration
 
BodyDeclaration(List<AnnotationExpr>, JavadocComment) - Constructor for class org.checkerframework.stubparser.ast.body.BodyDeclaration
 
BodyDeclaration(int, int, int, int, List<AnnotationExpr>, JavadocComment) - Constructor for class org.checkerframework.stubparser.ast.body.BodyDeclaration
 
BOOLEAN - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
BOOLEAN_TYPE - Static variable in class org.checkerframework.stubparser.ASTHelper
 
BooleanLiteralExpr - Class in org.checkerframework.stubparser.ast.expr
 
BooleanLiteralExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.BooleanLiteralExpr
 
BooleanLiteralExpr(boolean) - Constructor for class org.checkerframework.stubparser.ast.expr.BooleanLiteralExpr
 
BooleanLiteralExpr(int, int, int, int, boolean) - Constructor for class org.checkerframework.stubparser.ast.expr.BooleanLiteralExpr
 
BooleanLiteralNode - Class in org.checkerframework.dataflow.cfg.node
A node for a boolean literal:
BooleanLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
 
BoolVal - Annotation Type in org.checkerframework.common.value.qual
An annotation indicating the possible values for a bool type.
BOOT_CLASS_PATH_REGEX - Static variable in class org.checkerframework.framework.util.CheckerMain
A pattern to match bootclasspath prepend entries, used to construct one -Xbootclasspath/p: command-line argument
bothHaveSpecificPrefix(Prefix, Prefix, Prefix) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault
Checks to see if both lhtPrefix and rhtPrefix have the same prefix as specificPrefix
BOTTOM - Variable in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
The bottom annotation.
BOTTOM - Variable in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
 
BOTTOM - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
 
Bottom - Annotation Type in org.checkerframework.framework.qual
A special annotation intended solely for representing the bottom type in the qualifier hierarchy.
bottoms - Variable in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
The bottom qualifiers of the type hierarchies.
BottomVal - Annotation Type in org.checkerframework.common.value.qual
The bottom type in the Constant Value type system.
BOTTOMVAL - Variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
The bottom type for this hierarchy.
BoundsInitializer - Class in org.checkerframework.framework.type
BoundsInitializer creates AnnotatedTypeMirrors (without annotations) for the bounds of type variables and wildcards.
BoundsInitializer() - Constructor for class org.checkerframework.framework.type.BoundsInitializer
 
boundsMatch(AnnotatedTypeMirror.AnnotatedTypeVariable, AnnotatedTypeMirror.AnnotatedTypeVariable) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
 
box(Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
If the input node is an unboxed primitive type, insert a call to the appropriate valueOf method, otherwise leave it alone.
BREAK - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
breakLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Map from AST label Names to CFG CFGBuilder.Labels for breaks.
BreakStmt - Class in org.checkerframework.stubparser.ast.stmt
 
BreakStmt() - Constructor for class org.checkerframework.stubparser.ast.stmt.BreakStmt
 
BreakStmt(String) - Constructor for class org.checkerframework.stubparser.ast.stmt.BreakStmt
 
BreakStmt(int, int, int, int, String) - Constructor for class org.checkerframework.stubparser.ast.stmt.BreakStmt
 
breakTargetL - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Current CFGBuilder.Label to which a break statement with no label should jump, or null if there is no valid destination.
bufcolumn - Variable in class org.checkerframework.stubparser.JavaCharStream
 
buffer - Variable in class org.checkerframework.stubparser.JavaCharStream
 
bufline - Variable in class org.checkerframework.stubparser.JavaCharStream
 
bufpos - Variable in class org.checkerframework.stubparser.JavaCharStream
Position in buffer.
build(CompilationUnitTree, ProcessingEnvironment, UnderlyingAST, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
Build the control flow graph of some code.
build(TreePath, ProcessingEnvironment, UnderlyingAST, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
Build the control flow graph of some code (method, initializer block, ...).
build(CompilationUnitTree, ProcessingEnvironment, MethodTree, ClassTree, boolean, boolean) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
Build the control flow graph of a method.
build(CompilationUnitTree, ProcessingEnvironment, UnderlyingAST) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
Build the control flow graph of some code.
build(CompilationUnitTree, ProcessingEnvironment, MethodTree, ClassTree) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder
Build the control flow graph of a method.
build() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
Creates a TestConfiguration using the settings in this builder.
build() - Method in class org.checkerframework.framework.util.AnnotationBuilder
 
build() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
Returns an instance of GraphQualifierHierarchy that represents the hierarchy built so far
build(Set<TypeVariable>, Set<TUConstraint>, AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
Let Ti be a the ith target being inferred Let ATV(i) be the annotated type variable that represents as use of Ti which may or may not have primary annotations.
buildAnnoMirrorWithDefaultPrefix(ProcessingEnvironment, Class<? extends Annotation>) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools
Creates an AnnotationMirror representing a unit defined by annoClass, with the default Prefix of Prefix.one
buildAnnoMirrorWithNoPrefix(ProcessingEnvironment, Class<? extends Annotation>) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools
Creates an AnnotationMirror representing a unit defined by annoClass, with no prefix
buildAnnoMirrorWithSpecificPrefix(ProcessingEnvironment, Class<? extends Annotation>, Prefix) - Static method in class org.checkerframework.checker.units.UnitsRelationsTools
Creates an AnnotationMirror representing a unit defined by annoClass, with the specific Prefix p
buildAnnotatedType(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.flow.CFTreeBuilder
Builds an AST Tree representing an AnnotatedTypeMirror.
buildArrayAccess(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to dereference an array.
buildArrayLengthAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to dereference the length field of an array
buildAssignment(VariableTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to assign an expression to a variable.
buildAssignment(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to assign an RHS expression to an LHS expression.
buildBinary(TypeMirror, Tree.Kind, ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to perform a binary operation.
buildClassUse(Element) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to refer to a class name.
buildContextForClassDeclaration(ClassTree, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
 
buildContextForLambda(LambdaExpressionTree, TreePath, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
 
buildContextForMethodDeclaration(MethodTree, Tree, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
Creates a FlowExpressionParseUtil.FlowExpressionContext for the method declared in methodDeclaration.
buildContextForMethodDeclaration(MethodTree, TypeMirror, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
Creates a FlowExpressionParseUtil.FlowExpressionContext for the method declared in methodDeclaration.
buildContextForMethodDeclaration(MethodTree, TreePath, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
Creates a FlowExpressionParseUtil.FlowExpressionContext for the method declared in methodDeclaration.
buildContextForMethodUse(MethodInvocationNode, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
 
buildContextForNewClassUse(ObjectCreationNode, BaseContext) - Static method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
 
buildDefaultConfiguration(String, Iterable<File>, Iterable<String>, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
This is the default configuration used by Checker Framework JUnit tests.
buildDefaultConfiguration(String, File, String, List<String>, boolean) - Static method in class org.checkerframework.framework.test.TestConfigurationBuilder
This is the default configuration used by Checker Framework JUnit tests.
buildFullMap(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
Computes the transitive closure of the given map and returns it.
buildHasNextMethodAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to access the hasNext() method of an iterator.
buildIteratorMethodAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to access the iterator() method of some iterable expression.
buildLessThan(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to compare two operands with less than.
buildLiteral(Object) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree representing a literal value of primitive or String type.
buildMethodContext() - Method in class org.checkerframework.javacutil.Resolver
Build an instance of Resolve$MethodResolutionContext.
buildMethodInvocation(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to call a method designated by the argument expression.
buildMethodInvocation(ExpressionTree, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to call a method designated by methodExpr, with one argument designated by argExpr.
buildNextMethodAccess(ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to access the next() method of an iterator.
buildPrimValueMethodAccess(Tree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to access the *Value() method of a boxed type such as Short or Float, where * is the corresponding primitive type (i.e.
buildTypeCast(TypeMirror, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to cast the type of an expression.
buildValueOfMethodAccess(Tree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to access the valueOf() method of boxed type such as Short or Float.
buildVariableDecl(TypeMirror, String, Element, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to declare and initialize a variable, with no modifiers.
buildVariableDecl(Tree, String, Element, ExpressionTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to declare and initialize a variable.
buildVariableUse(VariableTree) - Method in class org.checkerframework.javacutil.trees.TreeBuilder
Builds an AST Tree to refer to a variable.
BYTE - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
BYTE_EVERYTHING - Static variable in class org.checkerframework.common.value.util.Range
A range containing all possible 8-bit values.
BYTE_TYPE - Static variable in class org.checkerframework.stubparser.ASTHelper
 
ByteMath - Class in org.checkerframework.common.value.util
 
ByteMath(byte) - Constructor for class org.checkerframework.common.value.util.ByteMath
 
byteRange() - Method in class org.checkerframework.common.value.util.Range
Converts a this range to a 8-bit byte range.

C

C - Annotation Type in org.checkerframework.checker.units.qual
Degree Centigrade (Celsius).
C - Static variable in class org.checkerframework.checker.units.UnitsTools
 
c - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.Tuple
 
callTransferFunction(Node, TransferInput<A, S>) - Method in class org.checkerframework.dataflow.analysis.Analysis
Call the transfer function for node node, and set that node as current node first.
canAlias(FlowExpressions.Receiver, FlowExpressions.Receiver) - Method in interface org.checkerframework.dataflow.analysis.Store
Can the objects a and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).
canAlias(FlowExpressions.Receiver, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
 
canAlias(FlowExpressions.Receiver, FlowExpressions.Receiver) - Method in class org.checkerframework.framework.flow.CFAbstractStore
Can the objects a and b be aliases? Returns a conservative answer (i.e., returns true if not enough information is available to determine aliasing).
canBeMissingAnnotations() - Method in class org.checkerframework.framework.flow.CFAbstractValue
Returns whether or not the set of annotations can be missing an annotation for any hierarchy
canHaveEmptyAnnotationSet(AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.type.QualifierHierarchy
Returns true if and only if the given type can have empty annotation sets (and thus the *TypeVariable methods need to be used).
canHaveTypeAnnotation(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
 
canInsertReceiver(FlowExpressions.Receiver) - Static method in class org.checkerframework.framework.flow.CFAbstractStore
Returns true if the receiver r can be stored in this store.
CASE - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
caseExpr - Variable in class org.checkerframework.dataflow.cfg.node.CaseNode
 
CaseNode - Class in org.checkerframework.dataflow.cfg.node
A node for a case in a switch statement.
CaseNode(CaseTree, Node, Node, Types) - Constructor for class org.checkerframework.dataflow.cfg.node.CaseNode
 
castedAsSuper(AnnotatedTypeMirror, T) - Static method in class org.checkerframework.framework.type.DefaultTypeHierarchy
Calls asSuper and casts the result to the same type as the input supertype
CastExpr - Class in org.checkerframework.stubparser.ast.expr
 
CastExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.CastExpr
 
CastExpr(Type, Expression) - Constructor for class org.checkerframework.stubparser.ast.expr.CastExpr
 
CastExpr(int, int, int, int, Type, Expression) - Constructor for class org.checkerframework.stubparser.ast.expr.CastExpr
 
castNonNull(T) - Static method in class org.checkerframework.checker.nullness.NullnessUtil
A method that suppresses warnings from the Nullness Checker.
castNonNullDeep(T[]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][][]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNonNullDeep(T[][][][][]) - Static method in class org.checkerframework.checker.nullness.NullnessUtil
Like castNonNull, but whereas that method only checks and casts the reference itself, this traverses all levels of the argument array.
castNumbers(TypeMirror, List<? extends Number>) - Static method in class org.checkerframework.common.value.util.NumberUtils
Converts a List<A> to a List<B>, where A and B are numeric types.
castRange(TypeMirror, Range) - Static method in class org.checkerframework.common.value.util.NumberUtils
 
CATCH - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
CatchClause - Class in org.checkerframework.stubparser.ast.stmt
 
CatchClause() - Constructor for class org.checkerframework.stubparser.ast.stmt.CatchClause
 
CatchClause(Parameter, BlockStmt) - Constructor for class org.checkerframework.stubparser.ast.stmt.CatchClause
 
CatchClause(int, int, int, int, Parameter, BlockStmt) - Constructor for class org.checkerframework.stubparser.ast.stmt.CatchClause
 
catchLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryCatchFrame
An ordered list of pairs because catch blocks are ordered.
categoriesToFormatAnnotation(ConversionCategory[]) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil
Takes a list of ConversionCategory elements, and returns a syntax tree element that represents a Format annotation with the list as value.
categoriesToFormatAnnotation(I18nConversionCategory[]) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
Takes a list of ConversionCategory elements, and returns a syntax tree element that represents a I18nFormat annotation with the list as value.
cd - Annotation Type in org.checkerframework.checker.units.qual
Candela (unit of luminance).
cd - Static variable in class org.checkerframework.checker.units.UnitsTools
 
CFAbstractAnalysis<V extends CFAbstractValue<V>,S extends CFAbstractStore<V,S>,T extends CFAbstractTransfer<V,S,T>> - Class in org.checkerframework.framework.flow
CFAbstractAnalysis is an extensible org.checkerframework.dataflow analysis for the Checker Framework that tracks the annotations using a flow-sensitive analysis.
CFAbstractAnalysis(BaseTypeChecker, GenericAnnotatedTypeFactory<V, S, T, ? extends CFAbstractAnalysis<V, S, T>>, List<Pair<VariableElement, V>>, int) - Constructor for class org.checkerframework.framework.flow.CFAbstractAnalysis
 
CFAbstractAnalysis(BaseTypeChecker, GenericAnnotatedTypeFactory<V, S, T, ? extends CFAbstractAnalysis<V, S, T>>, List<Pair<VariableElement, V>>) - Constructor for class org.checkerframework.framework.flow.CFAbstractAnalysis
 
CFAbstractStore<V extends CFAbstractValue<V>,S extends CFAbstractStore<V,S>> - Class in org.checkerframework.framework.flow
A store for the checker framework analysis tracks the annotations of memory locations such as local variables and fields.
CFAbstractStore(CFAbstractAnalysis<V, S, ?>, boolean) - Constructor for class org.checkerframework.framework.flow.CFAbstractStore
 
CFAbstractStore(CFAbstractStore<V, S>) - Constructor for class org.checkerframework.framework.flow.CFAbstractStore
Copy constructor.
CFAbstractTransfer<V extends CFAbstractValue<V>,S extends CFAbstractStore<V,S>,T extends CFAbstractTransfer<V,S,T>> - Class in org.checkerframework.framework.flow
The default analysis transfer function for the Checker Framework propagates information through assignments and uses the AnnotatedTypeFactory to provide checker-specific logic how to combine types (e.g., what is the type of a string concatenation, given the types of the two operands) and as an abstraction function (e.g., determine the annotations on literals).
CFAbstractTransfer(CFAbstractAnalysis<V, S, T>) - Constructor for class org.checkerframework.framework.flow.CFAbstractTransfer
 
CFAbstractTransfer(CFAbstractAnalysis<V, S, T>, boolean) - Constructor for class org.checkerframework.framework.flow.CFAbstractTransfer
Constructor that allows forcing concurrent semantics to be on for this instance of CFAbstractTransfer.
CFAbstractValue<V extends CFAbstractValue<V>> - Class in org.checkerframework.framework.flow
An implementation of an abstract value used by the Checker Framework org.checkerframework.dataflow analysis.
CFAbstractValue(CFAbstractAnalysis<V, ?, ?>, Set<AnnotationMirror>, TypeMirror) - Constructor for class org.checkerframework.framework.flow.CFAbstractValue
 
CFAbstractValue.AnnotationSetAndTypeMirrorVisitor - Class in org.checkerframework.framework.flow
Iterates through two sets of AnnotationMirrors by hierarchy and calls one of three methods depending on whether an annotation exists for the hierarchy in each set.
CFAnalysis - Class in org.checkerframework.framework.flow
The default org.checkerframework.dataflow analysis used in the Checker Framework.
CFAnalysis(BaseTypeChecker, GenericAnnotatedTypeFactory<CFValue, CFStore, CFTransfer, CFAnalysis>, List<Pair<VariableElement, CFValue>>) - Constructor for class org.checkerframework.framework.flow.CFAnalysis
 
CFCFGBuilder - Class in org.checkerframework.framework.flow
A control-flow graph builder (see CFGBuilder) that knows about the Checker Framework annotations and their representation as AnnotatedTypeMirrors.
CFCFGBuilder(BaseTypeChecker, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.flow.CFCFGBuilder
 
CFCFGBuilder.CFCFGTranslationPhaseOne - Class in org.checkerframework.framework.flow
 
CFCFGTranslationPhaseOne() - Constructor for class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
 
CFContext - Interface in org.checkerframework.framework.util
A collection of references to various type checker components.
cfg - Variable in class org.checkerframework.dataflow.analysis.Analysis
The control flow graph to perform the analysis on.
CFGBuilder - Class in org.checkerframework.dataflow.cfg
Builds the control flow graph of some Java code (either a method, or an arbitrary statement).
CFGBuilder(boolean, boolean) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder
 
CFGBuilder.CFGTranslationPhaseOne - Class in org.checkerframework.dataflow.cfg
Class that performs phase one of the translation process.
CFGBuilder.CFGTranslationPhaseThree - Class in org.checkerframework.dataflow.cfg
Class that performs phase three of the translation process.
CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder - Interface in org.checkerframework.dataflow.cfg
A simple wrapper object that holds a basic block and allows to set one of its successors.
CFGBuilder.CFGTranslationPhaseTwo - Class in org.checkerframework.dataflow.cfg
Class that performs phase two of the translation process.
CFGBuilder.ConditionalJump - Class in org.checkerframework.dataflow.cfg
CFGBuilder.ExtendedNode - Class in org.checkerframework.dataflow.cfg
An extended node can be one of several things (depending on its type): NODE.
CFGBuilder.ExtendedNode.ExtendedNodeType - Enum in org.checkerframework.dataflow.cfg
Extended node types (description see above).
CFGBuilder.Label - Class in org.checkerframework.dataflow.cfg
A label is used to refer to other extended nodes using a mapping from labels to extended nodes.
CFGBuilder.NodeHolder - Class in org.checkerframework.dataflow.cfg
An extended node of type NODE.
CFGBuilder.NodeWithExceptionsHolder - Class in org.checkerframework.dataflow.cfg
An extended node of type EXCEPTION_NODE.
CFGBuilder.PhaseOneResult - Class in org.checkerframework.dataflow.cfg
A wrapper object to pass around the result of phase one.
CFGBuilder.TryCatchFrame - Class in org.checkerframework.dataflow.cfg
A TryCatchFrame contains an ordered list of catch labels that apply to exceptions with specific types.
CFGBuilder.TryFinallyFrame - Class in org.checkerframework.dataflow.cfg
A TryFinallyFrame applies to exceptions of any type
CFGBuilder.TryFrame - Interface in org.checkerframework.dataflow.cfg
A TryFrame takes a thrown exception type and maps it to a set of possible control-flow successors.
CFGBuilder.TryStack - Class in org.checkerframework.dataflow.cfg
An exception stack represents the set of all try-catch blocks in effect at a given point in a program.
CFGBuilder.Tuple<A,B,C> - Class in org.checkerframework.dataflow.cfg
Tuple class with up to three members.
CFGBuilder.UnconditionalJump - Class in org.checkerframework.dataflow.cfg
CFGLambda(LambdaExpressionTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGLambda
 
CFGMethod(MethodTree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
 
CFGStatement(Tree, ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
 
CFGTranslationPhaseOne() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
 
CFGTranslationPhaseThree() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
 
CFGTranslationPhaseTwo() - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseTwo
 
CFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Interface in org.checkerframework.dataflow.cfg
Perform some visualization on a control flow graph.
cfgVisualizer - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
The CFGVisualizer to be used by all CFAbstractAnalysis instances.
CFStore - Class in org.checkerframework.framework.flow
The default store used in the Checker Framework.
CFStore(CFAbstractAnalysis<CFValue, CFStore, ?>, boolean) - Constructor for class org.checkerframework.framework.flow.CFStore
 
CFStore(CFAbstractAnalysis<CFValue, CFStore, ?>, CFAbstractStore<CFValue, CFStore>) - Constructor for class org.checkerframework.framework.flow.CFStore
 
CFTransfer - Class in org.checkerframework.framework.flow
The default transfer function used in the Checker Framework.
CFTransfer(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Constructor for class org.checkerframework.framework.flow.CFTransfer
 
CFTreeBuilder - Class in org.checkerframework.framework.flow
The TreeBuilder permits the creation of new AST Trees using the non-public Java compiler API TreeMaker.
CFTreeBuilder(ProcessingEnvironment) - Constructor for class org.checkerframework.framework.flow.CFTreeBuilder
 
CFValue - Class in org.checkerframework.framework.flow
The default abstract value used in the Checker Framework.
CFValue(CFAbstractAnalysis<CFValue, ?, ?>, Set<AnnotationMirror>, TypeMirror) - Constructor for class org.checkerframework.framework.flow.CFValue
 
CHAR - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
CHAR_TYPE - Static variable in class org.checkerframework.stubparser.ASTHelper
 
CHARACTER_LITERAL - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
CharacterLiteralNode - Class in org.checkerframework.dataflow.cfg.node
A node for a character literal.
CharacterLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
 
CharLiteralExpr - Class in org.checkerframework.stubparser.ast.expr
 
CharLiteralExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.CharLiteralExpr
 
CharLiteralExpr(String) - Constructor for class org.checkerframework.stubparser.ast.expr.CharLiteralExpr
 
CharLiteralExpr(int, int, int, int, String) - Constructor for class org.checkerframework.stubparser.ast.expr.CharLiteralExpr
 
chars - Variable in enum org.checkerframework.checker.formatter.qual.ConversionCategory
 
checkAccess(IdentifierTree, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
checkAndPerformFlowAnalysis(Tree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Flow analysis will be performed if: tree is a ClassTree Flow analysis has not already been performed on tree
checkAndSubtype(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
Check and subtype first determines if the subtype/supertype combination has already been visited.
checkArguments(List<? extends AnnotatedTypeMirror>, List<? extends ExpressionTree>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
A helper method to check that each passed argument is a subtype of the corresponding required argument, and issues "argument.invalid" error for each passed argument that not a subtype of the required one.
checkArrayInitialization(AnnotatedTypeMirror, List<? extends ExpressionTree>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
checkAssignability(AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Tests, for a re-assignment, whether the variable is assignable or not.
checkConditionalPostcondition(MethodTree, AnnotationMirror, FlowExpressions.Receiver, boolean) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Check that the expression's type is annotated with annotation at every regular exit that returns result
checkConflictingPrimaryAnnos(AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.common.basetype.BaseTypeValidator
Determines if there are multiple qualifiers from a single hierarchy in type's primary annotations.
checkConstructorInvocation(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, NewClassTree) - Method in class org.checkerframework.checker.fenum.FenumVisitor
 
checkConstructorInvocation(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, NewClassTree) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
 
checkConstructorInvocation(AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, NewClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
checkContract(FlowExpressions.Receiver, AnnotationMirror, AnnotationMirror, CFAbstractStore<?, ?>) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
 
checkContract(FlowExpressions.Receiver, AnnotationMirror, AnnotationMirror, CFAbstractStore<?, ?>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Returns true if and only if inferredAnnotation is valid for a given expression to match the necessaryAnnotation.
checkDefaultConstructor(ClassTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
CheckedPatternSyntaxException(PatternSyntaxException) - Constructor for exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException
Constructs a new CheckedPatternSyntaxException equivalent to the given PatternSyntaxException.
CheckedPatternSyntaxException(String, String, int) - Constructor for exception org.checkerframework.checker.regex.RegexUtil.CheckedPatternSyntaxException
Constructs a new CheckedPatternSyntaxException.
checker - Variable in class org.checkerframework.checker.formatter.FormatterTreeUtil
 
checker - Variable in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
 
checker - Variable in class org.checkerframework.checker.lock.LockTransfer
 
checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
 
checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
 
checker - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
 
checker - Variable in class org.checkerframework.common.basetype.BaseTypeValidator
 
checker - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor
The BaseTypeChecker for error reporting.
checker - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis
A checker used to do error reporting.
checker - Variable in class org.checkerframework.framework.flow.CFCFGBuilder
The associated checker.
checker - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
The checker to use for option handling and resource management.
checker - Variable in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
CHECKER_BASE_DIR_NAME - Static variable in class org.checkerframework.framework.util.CheckerMain
 
CHECKER_BASE_PACKAGE - Static variable in class org.checkerframework.framework.util.CheckerMain
All "built-in" Checker Framework checkers, except SubtypingChecker, start with this package file path.
checkerContext - Variable in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
 
CheckerDevelMain - Class in org.checkerframework.framework.util
 
CheckerDevelMain(File, List<String>) - Constructor for class org.checkerframework.framework.util.CheckerDevelMain
Construct all the relevant file locations and java version given the path to this jar and a set of directories in which to search for jars
CheckerError(String, Throwable, boolean) - Constructor for exception org.checkerframework.framework.source.SourceChecker.CheckerError
 
CheckerFrameworkPerDirectoryTest - Class in org.checkerframework.framework.test
Compiles all test files in a test directory together.
CheckerFrameworkPerDirectoryTest(List<File>, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
Creates a new checker test.
CheckerFrameworkPerFileTest - Class in org.checkerframework.framework.test
Compiles all test files individually.
CheckerFrameworkPerFileTest(File, Class<? extends AbstractProcessor>, String, String...) - Constructor for class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
Creates a new checker test.
checkerJar - Variable in class org.checkerframework.framework.util.CheckerMain
The path to the jar containing CheckerMain.class (i.e.
CheckerMain - Class in org.checkerframework.framework.util
This class behaves similarly to javac.
CheckerMain(File, List<String>) - Constructor for class org.checkerframework.framework.util.CheckerMain
Construct all the relevant file locations and Java version given the path to this jar and a set of directories in which to search for jars.
checkerName - Variable in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
 
checkerName - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
The fully-qualified class name of the checker to use for tests.
checkerName - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
The fully-qualified class name of the checker to use for tests.
checkerOptions - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
Extra options to pass to javac when running the checker.
checkerOptions - Variable in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
Extra options to pass to javac when running the checker.
checkerQualJar - Variable in class org.checkerframework.framework.util.CheckerMain
The path to checker-qual.jar
checkers - Variable in class org.checkerframework.framework.source.AggregateChecker
 
checkExceptionParameter(CatchTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
 
checkExceptionParameter(CatchTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Issue error if the exception parameter is not a supertype of the annotation specified by BaseTypeVisitor.getExceptionParameterLowerBoundAnnotations(), which is top by default.
checkFieldsInitialized(Tree, boolean, Store, List<? extends AnnotationMirror>) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
Checks that all fields (all static fields if staticFields is true) are initialized in the given store.
checkForAnnotatedJdk() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Warn if the annotated JDK is not being used.
checkForDefaultQualifierInHierarchy(QualifierDefaults) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Check that a default qualifier (in at least one hierarchy) has been set and issue an error if not.
CheckForNull - Annotation Type in edu.umd.cs.findbugs.annotations
 
CheckForNull - Annotation Type in javax.annotation
 
CheckForNull - Annotation Type in org.netbeans.api.annotations.common
 
checkForRedundantTests(BinaryTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
Reports an error if a comparison of a @NonNull expression with the null literal is performed.
checkInvalidOptionsInferSignatures() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
This method is called only when -Ainfer is passed as an option.
checkMethod(MethodTree, AnnotatedTypeMirror.AnnotatedExecutableType) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
Checks all expressions in the method declaration AnnotatedTypeMirror to see if the expression string is an error string as specified by DependentTypesError#isExpressionError.
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.checker.linear.LinearVisitor
Linear Checker does not contain a rule for method invocation.
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
 
checkMethodInvocability(AnnotatedTypeMirror.AnnotatedExecutableType, MethodInvocationTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Tests whether the method can be invoked using the receiver of the 'node' method invocation, and issues a "method.invocation.invalid" if the invocation is invalid.
checkMethodReferenceAsOverride(MemberReferenceTree, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Check that a method reference is allowed.
checkOrAreEqual(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
First check visited to see if type1 and type2 have been compared once already.
checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, Void) - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, Void) - Method in class org.checkerframework.checker.lock.LockVisitor
Ensures that subclass methods are annotated with a stronger or equally strong side effect annotation than the parent class method.
checkOverride(MethodTree, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType, AnnotatedTypeMirror.AnnotatedDeclaredType, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Type checks that a method may override another method.
checkPostcondition(MethodTree, AnnotationMirror, FlowExpressions.Receiver) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Check that the expression's type is annotated with annotation at the regular exit store.
checkPreconditions(MethodInvocationTree, Set<ContractsUtils.Precondition>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Checks that all the given preconditions hold true immediately prior to the method invocation or variable access at tree.
checkPurity(Tree, AnnotationProvider, boolean) - Static method in class org.checkerframework.dataflow.util.PurityChecker
Compute whether the given statement is side-effect-free, deterministic, or both.
checkThrownExpression(ThrowTree) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
Case 4: Check for thrown exception nullness
checkThrownExpression(ThrowTree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Checks the type of the thrown expression.
checkType(AnnotatedTypeMirror, Tree) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
Checks all expression in the given annotated type to see if the expression string is an error string as specified by DependentTypesError.isExpressionError(java.lang.String).
checkTypeArguments(Tree, List<? extends AnnotatedTypeParameterBounds>, List<? extends AnnotatedTypeMirror>, List<? extends Tree>) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Checks that the annotations on the type arguments supplied to a type or a method invocation are within the bounds of the type variables as declared, and issues the "type.argument.type.incompatible" error if they are not.
checkTypecastRedundancy(TypeCastTree, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
checkTypecastSafety(TypeCastTree, Void) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
CLASS - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
ClassBound - Annotation Type in org.checkerframework.common.reflection.qual
This represents a Class<T> object whose run-time value is equal to or a subtype of one of the arguments.
ClassExpr - Class in org.checkerframework.stubparser.ast.expr
 
ClassExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.ClassExpr
 
ClassExpr(Type) - Constructor for class org.checkerframework.stubparser.ast.expr.ClassExpr
 
ClassExpr(int, int, int, int, Type) - Constructor for class org.checkerframework.stubparser.ast.expr.ClassExpr
 
classExtendsTAPosition(int, int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
 
ClassGetName - Annotation Type in org.checkerframework.checker.signature.qual
The type representation used by the Class.getName(), Class.forName(String), and Class.forName(String, boolean, ClassLoader) methods.
ClassGetSimpleName - Annotation Type in org.checkerframework.checker.signature.qual
The format produced by the Class.getSimpleName() method.
ClassName(TypeMirror) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
 
ClassNameNode - Class in org.checkerframework.dataflow.cfg.node
A node representing a class name used in an expression such as a static method invocation.
ClassNameNode(IdentifierTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
 
ClassNameNode(ClassTree) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
 
ClassNameNode(MemberSelectTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
 
ClassNameNode(TypeMirror, Element) - Constructor for class org.checkerframework.dataflow.cfg.node.ClassNameNode
 
ClassOrInterfaceDeclaration - Class in org.checkerframework.stubparser.ast.body
 
ClassOrInterfaceDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.ClassOrInterfaceDeclaration
 
ClassOrInterfaceDeclaration(int, boolean, String) - Constructor for class org.checkerframework.stubparser.ast.body.ClassOrInterfaceDeclaration
 
ClassOrInterfaceDeclaration(JavadocComment, int, List<AnnotationExpr>, boolean, String, List<TypeParameter>, List<ClassOrInterfaceType>, List<ClassOrInterfaceType>, List<BodyDeclaration>) - Constructor for class org.checkerframework.stubparser.ast.body.ClassOrInterfaceDeclaration
 
ClassOrInterfaceDeclaration(int, int, int, int, JavadocComment, int, List<AnnotationExpr>, boolean, String, List<TypeParameter>, List<ClassOrInterfaceType>, List<ClassOrInterfaceType>, List<BodyDeclaration>) - Constructor for class org.checkerframework.stubparser.ast.body.ClassOrInterfaceDeclaration
 
ClassOrInterfaceType - Class in org.checkerframework.stubparser.ast.type
 
ClassOrInterfaceType() - Constructor for class org.checkerframework.stubparser.ast.type.ClassOrInterfaceType
 
ClassOrInterfaceType(String) - Constructor for class org.checkerframework.stubparser.ast.type.ClassOrInterfaceType
 
ClassOrInterfaceType(ClassOrInterfaceType, String) - Constructor for class org.checkerframework.stubparser.ast.type.ClassOrInterfaceType
 
ClassOrInterfaceType(int, int, int, int, ClassOrInterfaceType, String, List<Type>) - Constructor for class org.checkerframework.stubparser.ast.type.ClassOrInterfaceType
 
classTree - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGMethod
The class tree this method belongs to.
classTree - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
The class tree this method belongs to.
classTreeKinds() - Static method in class org.checkerframework.javacutil.TreeUtils
 
ClassTypeParamApplier - Class in org.checkerframework.framework.util.element
Applies the annotations present for a class type parameter onto an AnnotatedTypeVariable.
ClassVal - Annotation Type in org.checkerframework.common.reflection.qual
This represents a Class<T> object where the set of possible values of T is known at compile time.
CLASSVAL_TOP - Variable in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
 
ClassValAnnotatedTypeFactory - Class in org.checkerframework.common.reflection
 
ClassValAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
 
ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy - Class in org.checkerframework.common.reflection
The qualifier hierarchy for the ClassVal type system
ClassValAnnotatedTypeFactory.ClassValTreeAnnotator - Class in org.checkerframework.common.reflection
Implements these type inference rules:
ClassValBottom - Annotation Type in org.checkerframework.common.reflection.qual
The bottom type in the ClassVal type system.
ClassValChecker - Class in org.checkerframework.common.reflection
The ClassVal Checker provides a sound estimate of the binary name of Class objects.
ClassValChecker() - Constructor for class org.checkerframework.common.reflection.ClassValChecker
 
ClassValQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Constructor for class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValQualifierHierarchy
 
ClassValTreeAnnotator(ClassValAnnotatedTypeFactory) - Constructor for class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory.ClassValTreeAnnotator
 
classValues - Variable in class org.checkerframework.framework.flow.CFAbstractStore
Information collected about classname.class values, using the internal representation FlowExpressions.ClassName.
ClassValVisitor - Class in org.checkerframework.common.reflection
 
ClassValVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.common.reflection.ClassValVisitor
 
clear() - Method in class org.checkerframework.dataflow.util.MostlySingleton
 
clear() - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
 
clear() - Method in class org.checkerframework.framework.type.visitor.VisitHistory
 
clear() - Method in class org.checkerframework.framework.util.AnnotationMirrorMap
 
clear() - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
 
clear() - Method in class org.checkerframework.framework.util.TreePathCacher
 
clear() - Method in class org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Equalities
 
clear() - Method in class org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Subtypes
 
clear() - Method in class org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Supertypes
 
clear() - Static method in class org.checkerframework.javacutil.AnnotationUtils
 
clearAnnotations() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Removes all primary annotations on this type.
clearValue(FlowExpressions.Receiver) - Method in class org.checkerframework.framework.flow.CFAbstractStore
Remove any knowledge about the expression r (correctly deciding where to remove the information depending on the type of the expression r).
close() - Method in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
 
code - Variable in class org.checkerframework.dataflow.cfg.UnderlyingAST.CFGStatement
 
codec - Variable in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
 
collectArgFiles(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
Return the arguments that start with @ and therefore are files that contain javac arguments.
CollectionToArrayHeuristics - Class in org.checkerframework.checker.nullness
Handles calls to Collection.toArray() and determines the appropriate nullness type of the returned value.
CollectionToArrayHeuristics(ProcessingEnvironment, NullnessAnnotatedTypeFactory) - Constructor for class org.checkerframework.checker.nullness.CollectionToArrayHeuristics
 
collectionToArrayHeuristics - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
CollectionUtils - Class in org.checkerframework.javacutil
Utility methods related to Java Collections
CollectionUtils() - Constructor for class org.checkerframework.javacutil.CollectionUtils
 
COLON - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
column - Variable in class org.checkerframework.stubparser.JavaCharStream
 
combine(AnalysisResult<A, S>) - Method in class org.checkerframework.dataflow.analysis.AnalysisResult
Combine with another analysis result.
combineRs(R, R) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeComparer
Supplies the logic to reduce on how to combine two R objects
combineRs(Void, Void) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeMerger
 
ComboLog - Class in org.checkerframework.framework.util
Created by jburke on 6/12/14.
ComboLog() - Constructor for class org.checkerframework.framework.util.ComboLog
 
COMMA - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
Comment - Class in org.checkerframework.stubparser.ast
Abstract class for all AST nodes that represent comments.
Comment() - Constructor for class org.checkerframework.stubparser.ast.Comment
 
Comment(String) - Constructor for class org.checkerframework.stubparser.ast.Comment
 
Comment(int, int, int, int, String) - Constructor for class org.checkerframework.stubparser.ast.Comment
 
CommitmentTreeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTreeAnnotator
 
CommitmentTypeAnnotator(InitializationAnnotatedTypeFactory<?, ?, ?, ?>) - Constructor for class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory.CommitmentTypeAnnotator
 
COMMITTED - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.formatter.FormatterVisitor
 
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterVisitor
 
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.index.samelen.SameLenVisitor
Modifies the common assignment checks to ensure that SameLen annotations are always merged.
commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundVisitor
 
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.initialization.InitializationVisitor
 
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.lock.LockVisitor
 
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
 
commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
 
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.checker.nullness.NullnessVisitor
 
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.common.aliasing.AliasingVisitor
 
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.common.aliasing.AliasingVisitor
 
commonAssignmentCheck(Tree, ExpressionTree, String) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it is not valid.
commonAssignmentCheck(AnnotatedTypeMirror, ExpressionTree, String) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it is not valid.
commonAssignmentCheck(AnnotatedTypeMirror, AnnotatedTypeMirror, Tree, String) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Checks the validity of an assignment (or pseudo-assignment) from a value to a variable and emits an error message (through the compiler's messaging interface) if it is not valid.
commonConvert(Node, TypeMirror, boolean) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Assignment conversion and method invocation conversion are almost identical, except that assignment conversion allows narrowing.
compare(Block, Block) - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist.DFOComparator
 
compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.EqualityAtmComparer
 
compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeComparer
Compares two annotated type mirrors.
compare(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.AnnotatedTypeMerger
 
compareTypeArgs(AnnotatedTypeMirror, AnnotatedTypeMirror, boolean, boolean, VisitHistory) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
Compare typeArgs is called on a single pair of type args that should share a relationship subTypeArg <: superTypeArg (subtypeArg is contained by superTypeArg).
compareUnsigned(long, long) - Static method in class org.checkerframework.checker.signedness.SignednessUtil
Compares two unsigned longs x and y.
compareUnsigned(int, int) - Static method in class org.checkerframework.checker.signedness.SignednessUtil
Compares two unsigned ints x and y.
compareUnsigned(short, short) - Static method in class org.checkerframework.checker.signedness.SignednessUtil
Compares two unsigned shorts x and y.
compareUnsigned(byte, byte) - Static method in class org.checkerframework.checker.signedness.SignednessUtil
Compares two unsigned bytes x and y.
CompilationResult - Class in org.checkerframework.framework.test
CompilationResult represents the output of the compiler after it is run.
CompilationUnit - Class in org.checkerframework.stubparser.ast
This class represents the entire compilation unit.
CompilationUnit() - Constructor for class org.checkerframework.stubparser.ast.CompilationUnit
 
CompilationUnit(PackageDeclaration, List<ImportDeclaration>, List<TypeDeclaration>, List<Comment>) - Constructor for class org.checkerframework.stubparser.ast.CompilationUnit
 
CompilationUnit(int, int, int, int, PackageDeclaration, List<ImportDeclaration>, List<TypeDeclaration>, List<Comment>) - Constructor for class org.checkerframework.stubparser.ast.CompilationUnit
 
compile(TestConfiguration) - Method in class org.checkerframework.framework.test.TypecheckExecutor
Using the settings from the input configuration, compile all source files in the configuration, and return place the result in a CompilationResult
compiledWithoutError() - Method in class org.checkerframework.framework.test.CompilationResult
 
CompilerMessageKey - Annotation Type in org.checkerframework.checker.compilermsgs.qual
The annotation to distinguish compiler message Strings from normal Strings.
CompilerMessageKeyBottom - Annotation Type in org.checkerframework.checker.compilermsgs.qual
The bottom type in the Compiler Message Key type system.
CompilerMessagesAnnotatedTypeFactory - Class in org.checkerframework.checker.compilermsgs
A PropertyKeyATF that uses CompilerMessageKey to annotate the keys.
CompilerMessagesAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
 
CompilerMessagesChecker - Class in org.checkerframework.checker.compilermsgs
A PropertyKeyChecker for the compiler message keys that are used in the Checker framework.
CompilerMessagesChecker() - Constructor for class org.checkerframework.checker.compilermsgs.CompilerMessagesChecker
 
computeNeighborhoodOfEmptyBlock(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
Compute the set of empty regular basic blocks empty, starting at start and going both forward and backwards.
computeNeighborhoodOfEmptyBlockBackwards(RegularBlockImpl, Set<RegularBlockImpl>, Set<CFGBuilder.CFGTranslationPhaseThree.PredecessorHolder>) - Static method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseThree
Compute the set of empty regular basic blocks empty, starting at start and looking only backwards in the control flow graph.
condition - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
 
condition - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
 
CONDITIONAL_AND(Boolean, Boolean) - Static method in class org.checkerframework.common.value.Operators
 
CONDITIONAL_AND(boolean, boolean) - Static method in class org.checkerframework.common.value.Operators
 
CONDITIONAL_OR(Boolean, Boolean) - Static method in class org.checkerframework.common.value.Operators
 
CONDITIONAL_OR(boolean, boolean) - Static method in class org.checkerframework.common.value.Operators
 
ConditionalAndNode - Class in org.checkerframework.dataflow.cfg.node
A node for a conditional and expression:
ConditionalAndNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
 
ConditionalBlock - Interface in org.checkerframework.dataflow.cfg.block
Represents a conditional basic block that contains exactly one boolean Node.
ConditionalBlockImpl - Class in org.checkerframework.dataflow.cfg.block
Implementation of a conditional basic block.
ConditionalBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
Initialize an empty conditional basic block to be filled with contents and linked to other basic blocks later.
ConditionalExpr - Class in org.checkerframework.stubparser.ast.expr
 
ConditionalExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.ConditionalExpr
 
ConditionalExpr(Expression, Expression, Expression) - Constructor for class org.checkerframework.stubparser.ast.expr.ConditionalExpr
 
ConditionalExpr(int, int, int, int, Expression, Expression, Expression) - Constructor for class org.checkerframework.stubparser.ast.expr.ConditionalExpr
 
conditionalExprPromotion(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Convert an operand of a conditional expression to the type of the whole expression.
ConditionalJump(CFGBuilder.Label, CFGBuilder.Label) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
 
ConditionalNotNode - Class in org.checkerframework.dataflow.cfg.node
A node for a conditional not expression:
ConditionalNotNode(UnaryTree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
 
ConditionalOrNode - Class in org.checkerframework.dataflow.cfg.node
A node for a conditional or expression:
ConditionalOrNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
 
ConditionalPostcondition(String, boolean, AnnotationMirror) - Constructor for class org.checkerframework.framework.util.ContractsUtils.ConditionalPostcondition
 
ConditionalPostconditionAnnotation - Annotation Type in org.checkerframework.framework.qual
A meta-annotation that indicates that an annotation is a conditional postcondition annotation, i.e., a type-specialized version of EnsuresQualifierIf.
ConditionalTransferResult<A extends AbstractValue<A>,S extends Store<S>> - Class in org.checkerframework.dataflow.analysis
Implementation of a TransferResult with two non-exceptional store; one for the 'then' edge and one for 'else'.
ConditionalTransferResult(A, S, S, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
Create a ConditionalTransferResult with thenStore as the resulting store if the corresponding Node evaluates to true and elseStore otherwise.
ConditionalTransferResult(A, S, S) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
 
ConditionalTransferResult(A, S, S, Map<TypeMirror, S>, boolean) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
Create a ConditionalTransferResult with thenStore as the resulting store if the corresponding Node evaluates to true and elseStore otherwise.
ConditionalTransferResult(A, S, S, Map<TypeMirror, S>) - Constructor for class org.checkerframework.dataflow.analysis.ConditionalTransferResult
 
CONST - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
Constant - Annotation Type in org.checkerframework.checker.signedness.qual
The value is a compile-time constant, and could be Signed or Unsigned.
Constant - Class in org.checkerframework.dataflow.constantpropagation
 
Constant(Constant.Type) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant
 
Constant(Integer) - Constructor for class org.checkerframework.dataflow.constantpropagation.Constant
 
Constant.Type - Enum in org.checkerframework.dataflow.constantpropagation
 
ConstantPropagationPlayground - Class in org.checkerframework.dataflow.cfg.playground
 
ConstantPropagationPlayground() - Constructor for class org.checkerframework.dataflow.cfg.playground.ConstantPropagationPlayground
 
ConstantPropagationStore - Class in org.checkerframework.dataflow.constantpropagation
 
ConstantPropagationStore() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
 
ConstantPropagationStore(Map<Node, Constant>) - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
 
ConstantPropagationTransfer - Class in org.checkerframework.dataflow.constantpropagation
 
ConstantPropagationTransfer() - Constructor for class org.checkerframework.dataflow.constantpropagation.ConstantPropagationTransfer
 
ConstraintMap - Class in org.checkerframework.framework.util.typeinference.solver
ConstraintMap holds simplified versions of the TUConstraints for ALL type variable for which we are inferring an argument.
ConstraintMap(Set<TypeVariable>) - Constructor for class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
 
ConstraintMap(ConstraintMap) - Constructor for class org.checkerframework.framework.util.typeinference.solver.ConstraintMap
 
ConstraintMapBuilder - Class in org.checkerframework.framework.util.typeinference.solver
Converts a set of TUConstraints into a ConstraintMap.
ConstraintMapBuilder() - Constructor for class org.checkerframework.framework.util.typeinference.solver.ConstraintMapBuilder
 
construct(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.typeinference.constraint.A2F
 
construct(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
Used to create a new constraint of the same subclass of AFConstraint.
construct(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.typeinference.constraint.F2A
 
construct(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.typeinference.constraint.FIsA
 
constructor - Variable in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
 
constructor(NewClassTree) - Static method in class org.checkerframework.javacutil.InternalUtils
Determines the symbol for a constructor given an invocation via new.
ConstructorDeclaration - Class in org.checkerframework.stubparser.ast.body
 
ConstructorDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.ConstructorDeclaration
 
ConstructorDeclaration(int, String) - Constructor for class org.checkerframework.stubparser.ast.body.ConstructorDeclaration
 
ConstructorDeclaration(JavadocComment, int, List<AnnotationExpr>, List<TypeParameter>, String, List<Parameter>, List<NameExpr>, BlockStmt) - Constructor for class org.checkerframework.stubparser.ast.body.ConstructorDeclaration
 
ConstructorDeclaration(int, int, int, int, JavadocComment, int, List<AnnotationExpr>, List<TypeParameter>, String, List<Parameter>, List<AnnotationExpr>, List<NameExpr>, BlockStmt) - Constructor for class org.checkerframework.stubparser.ast.body.ConstructorDeclaration
 
constructorFromUse(NewClassTree) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
constructorFromUse(NewClassTree) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
constructorFromUse(NewClassTree) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Determines the type of the invoked constructor based on the passed new class tree.
constructorFromUse(NewClassTree) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
 
contains(long) - Method in class org.checkerframework.common.value.util.Range
Returns true if the element is contained in this range.
contains(Range) - Method in class org.checkerframework.common.value.util.Range
Returns true if the element is contained in this range.
contains(Block) - Method in class org.checkerframework.dataflow.analysis.Analysis.Worklist
 
contains(Object) - Method in class org.checkerframework.dataflow.util.MostlySingleton
 
contains(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner.Visited
 
contains(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.visitor.VisitHistory
Returns true if type1 and type2 (or an equivalent pair) have been passed to the add method previously.
contains(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
 
containsAll(Collection<?>) - Method in class org.checkerframework.dataflow.util.MostlySingleton
 
containsAll(Collection<?>) - Method in class org.checkerframework.framework.util.AnnotationMirrorSet
 
containsKey(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorMap
 
containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
 
containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
 
containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
 
containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
 
containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
Returns true if and only if other appears anywhere in this receiver or an expression appears in this receiver such that other might alias this expression, and that expression is modifiable.
containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
 
containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
 
containsModifiableAliasOf(Store<?>, FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
 
containsModifier(AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
Checks whether type contains the given modifier, also recursively in type arguments and arrays.
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
 
containsOfClass(Class<? extends FlowExpressions.Receiver>) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
 
containsSame(Collection<? extends AnnotationMirror>, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks that the collection contains the annotation.
containsSameByClass(Collection<? extends AnnotationMirror>, Class<? extends Annotation>) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks that the collection contains the annotation.
containsSameIgnoringValues(Collection<? extends AnnotationMirror>, AnnotationMirror) - Static method in class org.checkerframework.javacutil.AnnotationUtils
Checks that the collection contains the annotation ignoring values.
containsSyntacticEqualParameter(FlowExpressions.LocalVariable) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
 
containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
 
containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
 
containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
 
containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
 
containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
 
containsSyntacticEqualReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
 
containsThisConstructorInvocation(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
 
containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
 
containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.RegularTransferResult
 
containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferInput
 
containsTwoStores() - Method in class org.checkerframework.dataflow.analysis.TransferResult
 
containsUnknown() - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver
 
containsValue(Object) - Method in class org.checkerframework.framework.util.AnnotationMirrorMap
 
contents - Variable in class org.checkerframework.dataflow.cfg.block.RegularBlockImpl
Internal representation of the contents.
CONTINUE - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
continueLabels - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Map from AST label Names to CFG CFGBuilder.Labels for continues.
ContinueStmt - Class in org.checkerframework.stubparser.ast.stmt
 
ContinueStmt() - Constructor for class org.checkerframework.stubparser.ast.stmt.ContinueStmt
 
ContinueStmt(String) - Constructor for class org.checkerframework.stubparser.ast.stmt.ContinueStmt
 
ContinueStmt(int, int, int, int, String) - Constructor for class org.checkerframework.stubparser.ast.stmt.ContinueStmt
 
continueTargetL - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Current CFGBuilder.Label to which a continue statement with no label should jump, or null if there is no valid destination.
Contract(String, AnnotationMirror, ContractsUtils.Contract.Kind) - Constructor for class org.checkerframework.framework.util.ContractsUtils.Contract
 
contractsUtils - Variable in class org.checkerframework.common.basetype.BaseTypeVisitor
An instance of the ContractsUtils helper class.
ContractsUtils - Class in org.checkerframework.framework.util
A utility class to handle pre- and postconditions.
ContractsUtils.ConditionalPostcondition - Class in org.checkerframework.framework.util
Represents a conditional postcondition that must be verified by BaseTypeVisitor or one of its subclasses.
ContractsUtils.Contract - Class in org.checkerframework.framework.util
A contract represents an annotation on an expression, along with the kind: precondition, postcondition, or conditional postcondition.
ContractsUtils.Contract.Kind - Enum in org.checkerframework.framework.util
 
ContractsUtils.Postcondition - Class in org.checkerframework.framework.util
 
ContractsUtils.Precondition - Class in org.checkerframework.framework.util
 
ControlFlowGraph - Class in org.checkerframework.dataflow.cfg
A control flow graph (CFG for short) of a single method.
ControlFlowGraph(SpecialBlock, SpecialBlockImpl, SpecialBlockImpl, UnderlyingAST, IdentityHashMap<Tree, Node>, IdentityHashMap<Tree, Node>, List<ReturnNode>) - Constructor for class org.checkerframework.dataflow.cfg.ControlFlowGraph
 
ConversionCategory - Enum in org.checkerframework.checker.formatter.qual
Elements of this enumeration are used in a Format annotation to indicate the valid types that may be passed as a format parameter.
conversionRequiresNarrowing(TypeMirror, Node) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Return whether a conversion from the type of the node to varType requires narrowing.
convertCallArguments(ExecutableElement, List<? extends ExpressionTree>) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Given a method element and as list of argument expressions, return a list of Nodes representing the arguments converted for a call of the method.
convertedTreeLookup - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
Map from AST Trees to post-conversion Nodes.
convertedTreeLookupMap - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Map from AST Trees to post-conversion Nodes.
convertIntRangeToIntVal(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Convert an @IntRange annotation to an @IntVal annotation, or to UNKNOWNVAL if the input is too wide to be represented as an @IntVal.
convertIntValToIntRange(AnnotationMirror) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Converts an @IntVal annotation to an @IntRange annotation.
convertLine(String, long, String) - Method in interface org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader.DiagnosticCodec
 
convertUBQualifierToAnnotation(UBQualifier) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
 
copy() - Method in interface org.checkerframework.dataflow.analysis.Store
 
copy() - Method in class org.checkerframework.dataflow.analysis.TransferInput
 
copy() - Method in class org.checkerframework.dataflow.constantpropagation.Constant
 
copy() - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
 
copy() - Method in class org.checkerframework.framework.flow.CFAbstractStore
 
copyAdd(char, OffsetEquation) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
Adds or subtracts the other equation to a copy of this one.
copyAndUseOuterReceiver() - Method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
Returns a copy of the context that differs in that it uses the outer receiver as main receiver (and also uses it as the outer receiver).
copyAnnotations - Variable in class org.checkerframework.framework.type.AnnotatedTypeCopier
 
copyChangeToParsingMemberOfReceiver(FlowExpressions.Receiver) - Method in class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
Returns a copy of the context that differs in that it has a different receiver.
copyOnlyExplicitConstructorAnnotations(AnnotatedTypeFactory, AnnotatedTypeMirror.AnnotatedDeclaredType, AnnotatedTypeMirror.AnnotatedExecutableType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
Copies explicit annotations and annotations resulting from resolution of polymorphic qualifiers from constructor to returnType.
copyTAPosition(TypeAnnotationPosition) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
 
Covariant - Annotation Type in org.checkerframework.checker.nullness.qual
A marker annotation, written on a class declaration, that signifies that one or more of the class's type parameters can be treated covariantly.
covariantTypeArgs - Variable in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
coveredClassStrings - Static variable in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
The domain of the Constant Value Checker: the types for which it estimates possible values.
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.checker.lock.LockAnalysis
 
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.checker.nullness.NullnessAnalysis
 
createAbstractValue(AnnotatedTypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
Creates an abstract value from the annotated type mirror.
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
 
createAbstractValue(Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAnalysis
 
createAnnotatedTypeFormatter() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
createAnnotatedTypeFormatter() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
 
createAnnotatedTypeFormatter() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Creates the AnnotatedTypeFormatter used by this type factory and all AnnotatedTypeMirrors it creates.
createAnnotationFormatter() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
 
createAnnotationMap() - Static method in class org.checkerframework.javacutil.AnnotationUtils
Create a map suitable for storing AnnotationMirror as keys.
createAnnotationSet() - Static method in class org.checkerframework.javacutil.AnnotationUtils
Constructs a Set suitable for storing AnnotationMirrors.
createArgumentAFConstraints(AnnotatedTypeFactory, List<AnnotatedTypeMirror>, AnnotatedTypeMirror.AnnotatedExecutableType, Set<TypeVariable>, boolean) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
Step 1: Create a constraint Ai << Fi for each Argument(Ai) to formal parameter(Fi).
createArrayLenAnnotation(List<Integer>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Returns a ArrayLen annotation using the values.
createArrayType(Types, TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
Returns an ArrayType with elements of type componentType.
createAssignmentConstraints(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotatedTypeMirror.AnnotatedExecutableType, Set<AFConstraint>, Map<TypeVariable, AnnotatedTypeMirror>, Set<TypeVariable>, AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
The first half of Step 6.
createBasicTreeAnnotator() - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
 
createBooleanAnnotation(List<Boolean>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Returns a BoolVal annotation using the values.
createCFGVisualizer() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
 
createCharAnnotation(List<Character>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Returns a IntVal annotation using the values.
createCombinedSameLen(FlowExpressions.Receiver, FlowExpressions.Receiver, AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
For the use of the transfer function; generates a SameLen that includes a and b, as well as everything in sl1 and sl2, if they are SameLen annotations.
createCompilationBootclasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerDevelMain
 
createCompilationBootclasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
createCompoundFromAnnotationMirror(ProcessingEnvironment, AnnotationMirror) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
Returns a newly created Attribute.Compound corresponding to an argument AnnotationMirror.
createCopiedStore(LockStore) - Method in class org.checkerframework.checker.lock.LockAnalysis
 
createCopiedStore(NullnessStore) - Method in class org.checkerframework.checker.nullness.NullnessAnalysis
 
createCopiedStore(S) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
 
createCopiedStore(CFStore) - Method in class org.checkerframework.framework.flow.CFAnalysis
 
createCpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerDevelMain
 
createCpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
createDependentTypesHelper() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
 
createDependentTypesHelper() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
 
createDependentTypesHelper() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Creates an DependentTypesHelper and returns it.
createDependentTypesTreeAnnotator(AnnotatedTypeFactory) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
Creates a TreeAnnotator that standardizes dependent type annotations.
createDoubleValAnnotation(List<Double>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Returns a DoubleVal annotation using the values.
createEmptyStore(boolean) - Method in class org.checkerframework.checker.lock.LockAnalysis
 
createEmptyStore(boolean) - Method in class org.checkerframework.checker.nullness.NullnessAnalysis
 
createEmptyStore(boolean) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
 
createEmptyStore(boolean) - Method in class org.checkerframework.framework.flow.CFAnalysis
 
createEnhancedForLoopArrayVariable(ExpressionTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
 
createEnhancedForLoopArrayVariable(ExpressionTree, VariableElement) - Method in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
 
createEnhancedForLoopIteratorVariable(MethodInvocationTree, VariableElement) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
 
createEnhancedForLoopIteratorVariable(MethodInvocationTree, VariableElement) - Method in class org.checkerframework.framework.flow.CFCFGBuilder.CFCFGTranslationPhaseOne
 
createEqualityComparer() - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
createFactory(CompilationUnitTree) - Method in class org.checkerframework.checker.signature.SignatureChecker
 
createFieldDeclaration(int, Type, VariableDeclarator) - Static method in class org.checkerframework.stubparser.ASTHelper
Creates a FieldDeclaration.
createFieldDeclaration(int, Type, String) - Static method in class org.checkerframework.stubparser.ASTHelper
Creates a FieldDeclaration.
createFlowAnalysis(List<Pair<VariableElement, CFValue>>) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
 
createFlowAnalysis(List<Pair<VariableElement, NullnessValue>>) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
createFlowAnalysis(List<Pair<VariableElement, CFValue>>) - Method in class org.checkerframework.common.basetype.BaseAnnotatedTypeFactory
 
createFlowAnalysis(List<Pair<VariableElement, Value>>) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Returns the appropriate flow analysis class that is used for the org.checkerframework.dataflow analysis.
createFlowTransferFunction(CFAbstractAnalysis<CFValue, LockStore, LockTransfer>) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
 
createFlowTransferFunction(CFAbstractAnalysis<NullnessValue, NullnessStore, NullnessTransfer>) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
createFlowTransferFunction(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
 
createFlowTransferFunction(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
 
createFlowTransferFunction(CFAbstractAnalysis<CFValue, CFStore, CFTransfer>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
 
createFlowTransferFunction(CFAbstractAnalysis<Value, Store, TransferFunction>) - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Returns the appropriate transfer function that is used for the org.checkerframework.dataflow analysis.
createFormatForCall(MethodInvocationTree, MethodInvocationNode, I18nFormatterAnnotatedTypeFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
Returns an I18nFormatCall instance, only if FormatFor is called.
createFreeAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
Returns a UnderInitialization annotation with a given type frame.
createFreeAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
Returns a UnderInitialization annotation with a given type frame.
createHierarchyMap(AnnotationMirrorSet, QualifierHierarchy) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
Take a set of annotations and separate them into a mapping of (hierarchy top &rArr; annotations in hierarchy)
createInitialAssignmentConstraints(AnnotatedTypeMirror, AnnotatedTypeMirror, AnnotatedTypeFactory, Set<TypeVariable>) - Method in class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
Create a set of constraints between return type and any type to which it is assigned.
createIntRangeAnnotation(long, long) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Create an @IntRange annotation from the two (inclusive) bounds.
createIntRangeAnnotation(Range) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Create an @IntRange annotation from the range.
createIntValAnnotation(List<Long>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Returns a IntVal or IntRange annotation using the values.
createKeyForAnnotationMirrorWithValue(LinkedHashSet<String>) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
createKeyForAnnotationMirrorWithValue(String) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
createLRUCache(int) - Static method in class org.checkerframework.javacutil.CollectionUtils
A Utility method for creating LRU cache
createMinLen(int) - Method in class org.checkerframework.checker.index.minlen.MinLenAnnotatedTypeFactory
 
createNameExpr(String) - Static method in class org.checkerframework.stubparser.ASTHelper
Creates a new NameExpr from a qualified name.
The qualified name can contains "." (dot) characters.
createNumberAnnotationMirror(List<Number>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
 
createOffsetForInt(int) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
Creates an offset equation that is only the int value specified.
createOffsetFromJavaExpression(String) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
Creates an offset equation from the expressionEquation.
createOffsetFromNode(Node, UpperBoundAnnotatedTypeFactory, char) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
Creates an offset equation from the Node.
createOffsetFromNodesValue(Node, UpperBoundAnnotatedTypeFactory, char) - Static method in class org.checkerframework.checker.index.upperbound.OffsetEquation
If node is an int value known at compile time, then the returned equation is just the int value or if op is '-', the return equation is the negation of the int value.
createParameter(Type, String) - Static method in class org.checkerframework.stubparser.ASTHelper
Creates a new Parameter.
createPpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerDevelMain
 
createPpOpts(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
createQualifierDefaults() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Create QualifierDefaults which handles checker specified defaults.
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.minlen.MinLenAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
Set the Bottom qualifier as the bottom of the hierarchy.
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
 
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Factory method to easily change what QualifierHierarchy is created.
createQualifierHierarchy() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Returns the type qualifier hierarchy graph to be used by this processor.
createQualifierHierarchy(Elements, Set<Class<? extends Annotation>>, MultiGraphQualifierHierarchy.MultiGraphFactory) - Static method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Returns the type qualifier hierarchy graph for a given set of type qualifiers and a factory.
createQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Method in class org.checkerframework.framework.type.GeneralAnnotatedTypeFactory
 
createQualifierHierarchy() - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy.MultiGraphFactory
 
createQualifierHierarchyFactory() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
 
createQualifierHierarchyFactory() - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
 
createQualifierHierarchyFactory() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Factory method to easily change what Factory is used to create a QualifierHierarchy.
createQualifierPolymorphism() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Creates QualifierPolymorphism which supports QualifierPolymorphism mechanism
createRawnessComparer() - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
createReferenceType(String, int) - Static method in class org.checkerframework.stubparser.ASTHelper
Creates a new ReferenceType for a class or interface.
createReferenceType(PrimitiveType, int) - Static method in class org.checkerframework.stubparser.ASTHelper
Creates a new ReferenceType for the given primitive type.
createRuntimeBootclasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerDevelMain
 
createRuntimeBootclasspath(List<String>) - Method in class org.checkerframework.framework.util.CheckerMain
 
createSameLen(String...) - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
Creates a @SameLen annotation whose values are the given strings.
createSingleAnnotationValue(AnnotationMirror, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
Returns an abstract value containing an annotated type with the annotation anno, and 'top' for all other hierarchies.
createSourceVisitor() - Method in class org.checkerframework.checker.nullness.AbstractNullnessChecker
 
createSourceVisitor() - Method in class org.checkerframework.common.basetype.BaseTypeChecker
Returns the appropriate visitor that type-checks the compilation unit according to the type system rules.
createSourceVisitor() - Method in class org.checkerframework.common.reflection.ClassValChecker
 
createSourceVisitor() - Method in class org.checkerframework.common.reflection.MethodValChecker
 
createSourceVisitor() - Method in class org.checkerframework.common.util.count.Locations
 
createSourceVisitor(CompilationUnitTree) - Method in class org.checkerframework.common.util.debug.TreeDebug
 
createSourceVisitor() - Method in class org.checkerframework.common.util.debug.TypeOutputtingChecker
 
createSourceVisitor() - Method in class org.checkerframework.common.value.ValueChecker
 
createSourceVisitor() - Method in class org.checkerframework.framework.source.AggregateChecker
 
createSourceVisitor() - Method in class org.checkerframework.framework.source.SourceChecker
Provides the SourceVisitor that the checker should use to scan input source trees.
createStringAnnotation(List<String>) - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
Returns a StringVal annotation using the values.
createSupportedLintOptions() - Method in class org.checkerframework.framework.source.SourceChecker
Compute the set of supported lint options.
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
Copied from SubtypingChecker.
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.minlen.MinLenAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.common.subtyping.SubtypingAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
 
createSupportedTypeQualifiers() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Returns a mutable set of annotation classes that are supported by a checker
createSupportedTypeQualifiers() - Method in class org.checkerframework.framework.util.PurityAnnotatedTypeFactory
 
createTransferFunction() - Method in class org.checkerframework.checker.lock.LockAnalysis
 
createTransferFunction() - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
 
createTreeAnnotator() - Method in class org.checkerframework.checker.compilermsgs.CompilerMessagesAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.formatter.FormatterAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.i18n.I18nAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.i18n.LocalizableKeyAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.index.lowerbound.LowerBoundAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.index.minlen.MinLenAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.index.samelen.SameLenAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.index.upperbound.UpperBoundAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.lock.LockAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.propkey.PropertyKeyAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.regex.RegexAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.signature.SignatureAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.checker.signedness.SignednessAnnotatedTypeFactory
Returns a TreeAnnotator that adds annotations to a type based on the contents of a tree.
createTreeAnnotator() - Method in class org.checkerframework.checker.units.UnitsAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.common.reflection.ClassValAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.common.reflection.MethodValAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
 
createTreeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Returns a TreeAnnotator that adds annotations to a type based on the contents of a tree.
createTreePathScanner(CompilationUnitTree) - Method in class org.checkerframework.javacutil.BasicTypeProcessor
Create a TreePathScanner at the given root.
createType(TypeMirror, AnnotatedTypeFactory, boolean) - Static method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Creates the appropriate AnnotatedTypeMirror specific wrapper for the provided type
createTypeAnnotator() - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
 
createTypeAnnotator() - Method in class org.checkerframework.checker.interning.InterningAnnotatedTypeFactory
 
createTypeAnnotator() - Method in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
 
createTypeAnnotator() - Method in class org.checkerframework.common.value.ValueAnnotatedTypeFactory
 
createTypeAnnotator() - Method in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
Returns a ImplicitsTypeAnnotator that adds annotations to a type based on the content of the type itself.
createTypeArgumentInference() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
TypeArgumentInference infers the method type arguments when they are not explicitly written.
createTypeCompoundFromAnnotationMirror(ProcessingEnvironment, AnnotationMirror, TypeAnnotationPosition) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
Returns a newly created Attribute.TypeCompound corresponding to an argument AnnotationMirror.
createTypeFactory() - Method in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
createTypeFactory() - Method in class org.checkerframework.checker.lock.LockVisitor
 
createTypeFactory() - Method in class org.checkerframework.checker.nullness.NullnessVisitor
 
createTypeFactory() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
Constructs an instance of the appropriate type factory for the implemented type system.
createTypeFactory() - Method in class org.checkerframework.common.reflection.ClassValVisitor
 
createTypeFactory() - Method in class org.checkerframework.common.reflection.MethodValVisitor
 
createTypeFactory() - Method in class org.checkerframework.common.util.report.ReportVisitor
 
createTypeFactory() - Method in class org.checkerframework.common.value.ValueVisitor
 
createTypeHierarchy() - Method in class org.checkerframework.checker.nullness.KeyForAnnotatedTypeFactory
 
createTypeHierarchy() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Creates the type subtyping checker using the current type qualifier hierarchy.
createTypeOfObject(AnnotatedTypeFactory) - Static method in class org.checkerframework.framework.type.AnnotatedTypeMirror
 
createTypeValidator() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
createTypeValidator() - Method in class org.checkerframework.common.reflection.ClassValVisitor
 
createTypeValidator() - Method in class org.checkerframework.common.reflection.MethodValVisitor
 
createTypeValidator() - Method in class org.checkerframework.common.util.report.ReportVisitor
 
createTypeVariableSubstitutor() - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
TypeVariableSubstitutor provides a method to replace type parameters with their arguments.
createUBQualifier(AnnotationMirror) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
 
createUBQualifier(String, String) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
 
createUBQualifier(AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
 
createUBQualifier(List<String>, List<String>) - Static method in class org.checkerframework.checker.index.upperbound.UBQualifier
Creates an UBQualifier from the given arrays and offsets.
createUnclassifiedAnnotation(Class<?>) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
Returns a UnknownInitialization or Raw annotation with a given type frame.
createUnclassifiedAnnotation(TypeMirror) - Method in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
Returns a UnknownInitialization annotation with a given type frame.
createVariableDeclarationExpr(Type, String) - Static method in class org.checkerframework.stubparser.ASTHelper
curChar - Variable in class org.checkerframework.stubparser.ASTParserTokenManager
 
Current - Annotation Type in org.checkerframework.checker.units.qual
Electric current.
currentInput - Variable in class org.checkerframework.dataflow.analysis.Analysis
The current transfer input when the analysis is running.
currentMethods - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
currentNode - Variable in class org.checkerframework.dataflow.analysis.Analysis
The node that is currently handled in the analysis (if it is running).
currentPrintInvisibleSetting - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
For a given call to format, this setting specifies whether or not to printInvisibles.
currentPrintVerboseGenerics - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
Prints type variables in a less ambiguous manner using [] to delimit them.
currentRoot - Variable in class org.checkerframework.framework.source.SourceChecker
The source tree that is being scanned.
currentRoot - Variable in class org.checkerframework.javacutil.BasicTypeProcessor
The source tree that's being scanned.
currentToken - Variable in exception org.checkerframework.stubparser.ParseException
This is the last token that has been consumed successfully.
currentTop - Variable in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
currentTree - Variable in class org.checkerframework.dataflow.analysis.Analysis
The tree that is currently being looked at.
customizeOptions(List<String>) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerDirectoryTest
Override this method if you would like to supply a checker command-line option that depends on the Java files passed to the test.
customizeOptions(List<String>) - Method in class org.checkerframework.framework.test.CheckerFrameworkPerFileTest
Override this method if you would like to supply a checker command-line option that depends on the Java file passed to the test.

D

DebugListTreeAnnotator - Class in org.checkerframework.framework.type.treeannotator
A ListTreeAnnotator implementation that additionally outputs debugging information.
DebugListTreeAnnotator(TreeAnnotator...) - Constructor for class org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
 
DebugListTreeAnnotator(Tree.Kind[], TreeAnnotator...) - Constructor for class org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
 
debugSpew - Variable in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
 
debugSpew - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
debugStream - Variable in class org.checkerframework.stubparser.ASTParserTokenManager
Debug output.
DECIMAL_EXPONENT - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
DECIMAL_FLOATING_POINT_LITERAL - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
DECIMAL_LITERAL - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
decl - Variable in class org.checkerframework.javacutil.trees.DetachedVarSymbol
 
declarationFromElement(Element) - Method in class org.checkerframework.framework.type.AnnotatedTypeFactory
Gets the declaration tree for the element, if the source is available.
DeclarationsIntoElements - Class in org.checkerframework.framework.type
A helper class that puts the declaration annotations from a method declaration back into the corresponding Elements, so that they get stored in the bytecode by the compiler.
DeclarationsIntoElements() - Constructor for class org.checkerframework.framework.type.DeclarationsIntoElements
 
declaredClasses - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
Class declarations that have been encountered when building the control-flow graph for a method.
declaredLambdas - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
Lambdas encountered when building the control-flow graph for a method, variable initializer, or initializer.
DECR - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedArrayType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedExecutableType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNoType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedNullType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedPrimitiveType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedTypeVariable
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedUnionType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
 
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedWildcardType
 
deepCopy(boolean) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
Returns a deep copy of this type.
deepCopy() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
 
deeplyEnclosedJavaTestFiles(File) - Static method in class org.checkerframework.framework.test.TestUtilities
Returns all the java files that are descendants of the given directory
DEFAULT - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
Lexical state.
DEFAULT_VALUE - Variable in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor
The default value to return as a default action
defaultAction(Tree, PurityChecker.PurityResult) - Method in class org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper
 
defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
 
defaultAction(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.treeannotator.DebugListTreeAnnotator
 
defaultAction(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.treeannotator.ImplicitsTreeAnnotator
 
defaultAction(Tree, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.type.treeannotator.ListTreeAnnotator
 
defaultAction(AnnotatedTypeMirror, AnnotatedTypeMirror, PARAM) - Method in class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor
Called by the default implementation of every AbstractAtmComboVisitor visit method.
defaultAction(AnnotatedTypeMirror, P) - Method in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeScanner
Called by default for any visit method that is not overridden.
defaultAction(AnnotatedTypeMirror, P) - Method in class org.checkerframework.framework.type.visitor.SimpleAnnotatedTypeVisitor
Performs the default action for visiting trees, if subclasses do not override the visitFOO node.
defaultAction(Tree, Void) - Method in class org.checkerframework.framework.util.Heuristics.Matcher
 
defaultAction(Node, A) - Method in class org.checkerframework.stubparser.ast.visitor.SimpleVoidVisitor
 
DefaultAnnotatedTypeFormatter - Class in org.checkerframework.framework.type
An AnnotatedTypeFormatter used by default by all AnnotatedTypeFactory (and therefore all annotated types).
DefaultAnnotatedTypeFormatter() - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
Constructs a DefaultAnnotatedTypeFormatter that does not print invisible annotations by default
DefaultAnnotatedTypeFormatter(boolean, boolean) - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
 
DefaultAnnotatedTypeFormatter(AnnotationFormatter, boolean, boolean) - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
 
DefaultAnnotatedTypeFormatter(DefaultAnnotatedTypeFormatter.FormattingVisitor) - Constructor for class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter
Used by subclasses and other constructors to specify the underlying implementation of this DefaultAnnotatedTypeFormatter
DefaultAnnotatedTypeFormatter.FormattingVisitor - Class in org.checkerframework.framework.type
A scanning visitor that prints the entire AnnotatedTypeMirror passed to visit.
DefaultAnnotationFormatter - Class in org.checkerframework.framework.util
A utility for converting AnnotationMirrors to Strings.
DefaultAnnotationFormatter() - Constructor for class org.checkerframework.framework.util.DefaultAnnotationFormatter
 
DefaultApplierElement(AnnotatedTypeFactory, Element, AnnotatedTypeMirror, boolean) - Constructor for class org.checkerframework.framework.util.defaults.QualifierDefaults.DefaultApplierElement
 
defaultCreateAbstractValue(CFAbstractAnalysis<CFValue, ?, ?>, Set<AnnotationMirror>, TypeMirror) - Method in class org.checkerframework.framework.flow.CFAbstractAnalysis
defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, Void) - Method in class org.checkerframework.framework.type.AsSuperVisitor
 
defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.DefaultRawnessComparer
 
defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, Void) - Method in class org.checkerframework.framework.type.EqualityAtmComparer
Called when a visit method is called on two types that do not have the same class, i.e.
defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, VisitHistory) - Method in class org.checkerframework.framework.type.StructuralEqualityComparer
Called for every combination in which !type1.getClass().equals(type2.getClass()) except for Wildcard_Typevar.
defaultErrorMessage(AnnotatedTypeMirror, AnnotatedTypeMirror, PARAM) - Method in class org.checkerframework.framework.type.visitor.AbstractAtmComboVisitor
Formats type1, type2 and param into an error message used by all methods of AbstractAtmComboVisitor that are not overridden.
DefaultFor - Annotation Type in org.checkerframework.framework.qual
Applied to the declaration of a type qualifier specifies that the given annotation should be the default for a particular location.
DefaultInferredTypesApplier - Class in org.checkerframework.framework.type
Utility class for applying the annotations inferred by dataflow to a given type.
DefaultInferredTypesApplier(QualifierHierarchy, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.DefaultInferredTypesApplier
 
DefaultInferredTypesApplier(boolean, QualifierHierarchy, AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.type.DefaultInferredTypesApplier
 
DefaultInUncheckedCodeFor - Annotation Type in org.checkerframework.framework.qual
Applied to the declaration of a type qualifier, specifies that the given annotation should be the default for unannotated type uses (in bytecode or source code) at the given location(s).
defaultInvisiblesSetting - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
Represents whether or not invisible annotations should be printed if the client of this class does not use the printInvisibleAnnos parameter
defaultPrintVerboseGenerics - Variable in class org.checkerframework.framework.type.DefaultAnnotatedTypeFormatter.FormattingVisitor
Default value of currentPrintVerboseGenerics
DefaultQualifier - Annotation Type in org.checkerframework.framework.qual
Applied to a declaration of a package, type, method, variable, etc., specifies that the given annotation should be the default.
DefaultQualifierInHierarchy - Annotation Type in org.checkerframework.framework.qual
Indicates that the annotated qualifier is the default qualifier in the qualifier hierarchy: it applies if the programmer writes no explicit qualifier and no other default has been specified for the location.
DefaultQualifierInHierarchyInUncheckedCode - Annotation Type in org.checkerframework.framework.qual
Indicates that the annotated qualifier is the default qualifier on unannotated type uses (in bytecode or source code that has not been type-checked).
DefaultQualifiers - Annotation Type in org.checkerframework.framework.qual
Specifies the annotations to be included in a type without having to provide them explicitly.
DefaultRawnessComparer - Class in org.checkerframework.framework.type
Our //TODO: USING THE SAME LOGIC AS THE OLD TYPE_HIERARCHY.isSubtypeAsTypeArgument but only for //TODO: RAW TypeArguments, we can replace this later if we think there is a more sensible thing to do //TODO: LOOK AT OLD TYPE_HIERARCHY FOR MORE INFORAMTION
DefaultRawnessComparer(DefaultTypeHierarchy) - Constructor for class org.checkerframework.framework.type.DefaultRawnessComparer
 
DefaultReflectionResolver - Class in org.checkerframework.common.reflection
DefaultReflectionResolver(BaseTypeChecker, MethodValAnnotatedTypeFactory, boolean) - Constructor for class org.checkerframework.common.reflection.DefaultReflectionResolver
 
defaults - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
to handle defaults specified by the user
DefaultTypeArgumentInference - Class in org.checkerframework.framework.util.typeinference
An implementation of TypeArgumentInference that mostly follows the process outlined in JLS7 See JLS §5.12.2.7
DefaultTypeArgumentInference() - Constructor for class org.checkerframework.framework.util.typeinference.DefaultTypeArgumentInference
 
DefaultTypeHierarchy - Class in org.checkerframework.framework.type
Default implementation of TypeHierarchy that implements the JLS specification with minor deviations as outlined by the Checker Framework manual.
DefaultTypeHierarchy(BaseTypeChecker, QualifierHierarchy, boolean, boolean) - Constructor for class org.checkerframework.framework.type.DefaultTypeHierarchy
 
DefaultTypeHierarchy(BaseTypeChecker, QualifierHierarchy, boolean, boolean, boolean) - Constructor for class org.checkerframework.framework.type.DefaultTypeHierarchy
 
deg - Static variable in class org.checkerframework.checker.units.UnitsTools
 
degrees - Annotation Type in org.checkerframework.checker.units.qual
Degrees.
Dependent - Annotation Type in org.checkerframework.framework.qual
Refines the qualified type of the annotated field or variable based on the qualified type of the receiver.
dependentTypes - Variable in class org.checkerframework.checker.nullness.NullnessAnnotatedTypeFactory
Dependent types instance.
DependentTypes - Class in org.checkerframework.framework.util
 
DependentTypes(BaseTypeChecker, GeneralAnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.DependentTypes
 
DependentTypesError - Class in org.checkerframework.framework.util.dependenttypes
Helper class for creating dependent type annotation error strings.
DependentTypesError(String, String) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesError
 
DependentTypesError(String, FlowExpressionParseUtil.FlowExpressionParseException) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesError
 
DependentTypesError(String) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesError
 
dependentTypesHelper - Variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
to handle dependent type annotations
DependentTypesHelper - Class in org.checkerframework.framework.util.dependenttypes
A class that helps checkers use qualifiers that are represented by annotations with Java expression strings.
DependentTypesHelper(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
 
DependentTypesTreeAnnotator - Class in org.checkerframework.framework.util.dependenttypes
Standardizes Java expressions in annotations and also view points adapts field accesses.
DependentTypesTreeAnnotator(AnnotatedTypeFactory, DependentTypesHelper) - Constructor for class org.checkerframework.framework.util.dependenttypes.DependentTypesTreeAnnotator
 
depthFirstOrder - Variable in class org.checkerframework.dataflow.analysis.Analysis.Worklist
Map all blocks in the CFG to their depth-first order.
DetachedVarSymbol - Class in org.checkerframework.javacutil.trees
A DetachedVarSymbol represents a variable that is not part of any AST Tree.
DetachedVarSymbol(long, Name, Type, Symbol) - Constructor for class org.checkerframework.javacutil.trees.DetachedVarSymbol
Construct a detached variable symbol, given its flags, name, type and owner.
detail - Variable in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
 
DETAILS_SEPARATOR - Static variable in class org.checkerframework.framework.source.SourceChecker
 
Deterministic - Annotation Type in org.checkerframework.dataflow.qual
A method is called deterministic if it returns the same value (according to ==) every time it is called with the same parameters and in the same environment.
DFOComparator() - Constructor for class org.checkerframework.dataflow.analysis.Analysis.Worklist.DFOComparator
 
DiagMessage(String, Object[]) - Constructor for class org.checkerframework.framework.source.Result.DiagMessage
 
DIAGNOSTIC_FILE_CODEC - Static variable in class org.checkerframework.framework.test.diagnostics.JavaDiagnosticReader
Interprets a string that was written as a line in a Diagnostic File
DIAGNOSTIC_FILE_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_FILE_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_FILE_WARNING_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_FILE_WARNING_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_IN_JAVA_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_IN_JAVA_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_WARNING_IN_JAVA_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_WARNING_IN_JAVA_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_WARNING_PATTERN - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DIAGNOSTIC_WARNING_REGEX - Static variable in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
 
DiagnosticKind - Enum in org.checkerframework.framework.test.diagnostics
Indicates what type of Error was, or expected to be, encountered during typechecking
diagnosticsToString(List<TestDiagnostic>) - Static method in class org.checkerframework.framework.test.diagnostics.TestDiagnosticUtils
Converts the given diagnostics to strings (as they would appear in a source file individually)
diagnosticsToStrings(Iterable<Diagnostic<? extends JavaFileObject>>, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
 
diagnosticToString(Diagnostic<? extends JavaFileObject>, boolean) - Static method in class org.checkerframework.framework.test.TestUtilities
 
didTestFail() - Method in class org.checkerframework.framework.test.TypecheckResult
 
dimensions - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
 
dimensions - Variable in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
The length of this list is the number of dimensions in the array.
directSuperTypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
 
directSuperTypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
 
directSuperTypes() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
This method returns a list of AnnotatedTypeMirrors where the Java type of each ATM is an immediate supertype (class or interface) of the Java type of this.
directSuperTypesField() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
 
directSuperTypesField() - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedIntersectionType
 
DIVIDE(Double, Double) - Static method in class org.checkerframework.common.value.Operators
 
DIVIDE(Long, Long) - Static method in class org.checkerframework.common.value.Operators
 
DIVIDE(Integer, Integer) - Static method in class org.checkerframework.common.value.Operators
 
DIVIDE(Float, Float) - Static method in class org.checkerframework.common.value.Operators
 
DIVIDE(double, double) - Static method in class org.checkerframework.common.value.Operators
 
DIVIDE(long, long) - Static method in class org.checkerframework.common.value.Operators
 
DIVIDE(int, int) - Static method in class org.checkerframework.common.value.Operators
 
DIVIDE(float, float) - Static method in class org.checkerframework.common.value.Operators
 
divide(Number) - Method in class org.checkerframework.common.value.util.ByteMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.FloatMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.LongMath
 
divide(Number) - Method in class org.checkerframework.common.value.util.NumberMath
 
divide(Range) - Method in class org.checkerframework.common.value.util.Range
Returns the smallest range that includes all possible values resulting from dividing (integer division) an arbitrary value in this range by an arbitrary value in the specified range.
divide(Number) - Method in class org.checkerframework.common.value.util.ShortMath
 
division(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in interface org.checkerframework.checker.units.UnitsRelations
Called for the division of type lht and rht.
division(AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.checker.units.UnitsRelationsDefault
Provides rules for resolving the result Unit of the division of checker-framework provided Units
DO - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
Done() - Method in class org.checkerframework.stubparser.JavaCharStream
Set buffers back to null when finished.
dontEmitDebugInfo() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
DoStmt - Class in org.checkerframework.stubparser.ast.stmt
 
DoStmt() - Constructor for class org.checkerframework.stubparser.ast.stmt.DoStmt
 
DoStmt(Statement, Expression) - Constructor for class org.checkerframework.stubparser.ast.stmt.DoStmt
 
DoStmt(int, int, int, int, Statement, Expression) - Constructor for class org.checkerframework.stubparser.ast.stmt.DoStmt
 
doSubsitution(Element, AnnotatedTypeMirror, AnnotatedTypeMirror) - Method in class org.checkerframework.framework.util.DependentTypes
 
DOT - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
DOTCFGVisualizer<A extends AbstractValue<A>,S extends Store<S>,T extends TransferFunction<A,S>> - Class in org.checkerframework.dataflow.cfg
Generate a graph description in the DOT language of a control graph.
DOTCFGVisualizer() - Constructor for class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
 
dotOutputFileName(UnderlyingAST) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
 
DOUBLE - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
DOUBLE_TYPE - Static variable in class org.checkerframework.stubparser.ASTHelper
 
DoubleLiteralExpr - Class in org.checkerframework.stubparser.ast.expr
 
DoubleLiteralExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.DoubleLiteralExpr
 
DoubleLiteralExpr(String) - Constructor for class org.checkerframework.stubparser.ast.expr.DoubleLiteralExpr
 
DoubleLiteralExpr(int, int, int, int, String) - Constructor for class org.checkerframework.stubparser.ast.expr.DoubleLiteralExpr
 
DoubleLiteralNode - Class in org.checkerframework.dataflow.cfg.node
A node for a double literal.
DoubleLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
 
DoubleMath - Class in org.checkerframework.common.value.util
 
DoubleMath(double) - Constructor for class org.checkerframework.common.value.util.DoubleMath
 
DoubleVal - Annotation Type in org.checkerframework.common.value.qual
An annotation indicating the possible values for a double or float type.
drawToDot(File, AnnotatedTypeMirror) - Static method in class org.checkerframework.common.util.TypeVisualizer
Creates a dot file at dest that contains a digraph for the structure of type
drawToDot(String, AnnotatedTypeMirror) - Static method in class org.checkerframework.common.util.TypeVisualizer
Creates a dot file at dest that contains a digraph for the structure of type
drawToPng(File, AnnotatedTypeMirror) - Static method in class org.checkerframework.common.util.TypeVisualizer
Draws a dot file for type in a temporary directory then calls the "dot" program to convert that file into a png at the location dest.
drawToPng(String, AnnotatedTypeMirror) - Static method in class org.checkerframework.common.util.TypeVisualizer
Draws a dot file for type in a temporary directory then calls the "dot" program to convert that file into a png at the location dest.
DumpVisitor - Class in org.checkerframework.stubparser.ast.visitor
Builds a string representation of any AST node for printing.
DumpVisitor() - Constructor for class org.checkerframework.stubparser.ast.visitor.DumpVisitor
 

E

ea - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
The VariableTree that indicates whether assertions are enabled or not.
Effect - Class in org.checkerframework.checker.guieffect
 
Effect(Class<? extends Annotation>) - Constructor for class org.checkerframework.checker.guieffect.Effect
 
Effect.EffectRange - Class in org.checkerframework.checker.guieffect
 
EffectRange(Effect, Effect) - Constructor for class org.checkerframework.checker.guieffect.Effect.EffectRange
 
effStack - Variable in class org.checkerframework.checker.guieffect.GuiEffectVisitor
 
element - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
 
element - Variable in class org.checkerframework.dataflow.cfg.node.ClassNameNode
The class named by this node
element - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
 
element - Variable in class org.checkerframework.dataflow.cfg.node.PackageNameNode
The package named by this node
ElementAnnotationApplier - Class in org.checkerframework.framework.type
Utility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element).
ElementAnnotationApplier() - Constructor for class org.checkerframework.framework.type.ElementAnnotationApplier
 
ElementAnnotationUtil - Class in org.checkerframework.framework.util.element
Utility methods for adding the annotations that are stored in an Element to the type that represents that element (or a use of that Element).
ElementAnnotationUtil() - Constructor for class org.checkerframework.framework.util.element.ElementAnnotationUtil
 
elementFromDeclaration(ClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the element for a class corresponding to a declaration.
elementFromDeclaration(MethodTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the element for a method corresponding to a declaration.
elementFromDeclaration(VariableTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the element for a variable corresponding to its declaration.
elementFromUse(ExpressionTree) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the element for the declaration corresponding to this use of an element.
elementFromUse(MethodInvocationTree) - Static method in class org.checkerframework.javacutil.TreeUtils
 
elementFromUse(NewClassTree) - Static method in class org.checkerframework.javacutil.TreeUtils
 
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter
 
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsAnnotationFormatter
 
elements - Variable in class org.checkerframework.checker.units.UnitsAnnotatedTypeFormatter.UnitsFormattingVisitor
 
elements - Variable in class org.checkerframework.checker.units.UnitsRelationsDefault
 
elements - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
 
elements - Variable in class org.checkerframework.framework.source.SourceVisitor
The Elements helper to use when scanning.
elements - Variable in class org.checkerframework.framework.type.AnnotatedTypeFactory
Utility class for working with Elements.
elements - Variable in class org.checkerframework.javacutil.trees.TreeBuilder
 
elementToBoundType - Static variable in class org.checkerframework.framework.util.defaults.QualifierDefaults
 
ElementUtils - Class in org.checkerframework.javacutil
A Utility class for analyzing Elements.
ELLIPSIS - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
ELSE - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
elseFlowRule - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
 
elseOperand - Variable in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
 
elseStore - Variable in class org.checkerframework.checker.index.IndexRefinementInfo
 
elseStore - Variable in class org.checkerframework.dataflow.analysis.ConditionalTransferResult
The 'else' result store.
elseStore - Variable in class org.checkerframework.dataflow.analysis.TransferInput
The 'else' result store (or null if none is present).
elseStores - Variable in class org.checkerframework.dataflow.analysis.Analysis
Else stores before every basic block (assumed to be 'no information' if not present).
elseSuccessor - Variable in class org.checkerframework.dataflow.cfg.block.ConditionalBlockImpl
Successor of the else branch.
emitDebugInfo() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
EmptyMemberDeclaration - Class in org.checkerframework.stubparser.ast.body
 
EmptyMemberDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.EmptyMemberDeclaration
 
EmptyMemberDeclaration(JavadocComment) - Constructor for class org.checkerframework.stubparser.ast.body.EmptyMemberDeclaration
 
EmptyMemberDeclaration(int, int, int, int, JavadocComment) - Constructor for class org.checkerframework.stubparser.ast.body.EmptyMemberDeclaration
 
EmptyProcessor - Class in org.checkerframework.common.util.debug
Empty simple processor.
EmptyProcessor() - Constructor for class org.checkerframework.common.util.debug.EmptyProcessor
 
EmptyStmt - Class in org.checkerframework.stubparser.ast.stmt
 
EmptyStmt() - Constructor for class org.checkerframework.stubparser.ast.stmt.EmptyStmt
 
EmptyStmt(int, int, int, int) - Constructor for class org.checkerframework.stubparser.ast.stmt.EmptyStmt
 
EmptyTypeDeclaration - Class in org.checkerframework.stubparser.ast.body
 
EmptyTypeDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.EmptyTypeDeclaration
 
EmptyTypeDeclaration(JavadocComment) - Constructor for class org.checkerframework.stubparser.ast.body.EmptyTypeDeclaration
 
EmptyTypeDeclaration(int, int, int, int, JavadocComment) - Constructor for class org.checkerframework.stubparser.ast.body.EmptyTypeDeclaration
 
EnclosedExpr - Class in org.checkerframework.stubparser.ast.expr
 
EnclosedExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.EnclosedExpr
 
EnclosedExpr(Expression) - Constructor for class org.checkerframework.stubparser.ast.expr.EnclosedExpr
 
EnclosedExpr(int, int, int, int, Expression) - Constructor for class org.checkerframework.stubparser.ast.expr.EnclosedExpr
 
enclosingClass(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
Returns the innermost type element enclosing the given element
enclosingClass(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the enclosing class of the tree node defined by the given TreePath.
enclosingMemberSelect() - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
enclosingMethod(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the enclosing method of the tree node defined by the given TreePath.
enclosingOfClass(TreePath, Class<T>) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the first enclosing tree in path, of the specified class
enclosingOfKind(TreePath, Tree.Kind) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the first enclosing tree in path, of the specified kind.
enclosingOfKind(TreePath, Set<Tree.Kind>) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the first enclosing tree in path, with any one of the specified kinds.
enclosingPackage(Element) - Static method in class org.checkerframework.javacutil.ElementUtils
Returns the innermost package element enclosing the given element.
enclosingStatement(Tree) - Method in class org.checkerframework.common.basetype.BaseTypeVisitor
 
enclosingTopLevelBlock(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
 
enclosingType - Variable in class org.checkerframework.framework.type.AnnotatedTypeMirror.AnnotatedDeclaredType
The enclosing Type
enclosingVariable(TreePath) - Static method in class org.checkerframework.javacutil.TreeUtils
Gets the enclosing variable of a tree node defined by the given TreePath.
endColumn - Variable in class org.checkerframework.stubparser.Token
The column number of the last character of this Token.
endLine - Variable in class org.checkerframework.stubparser.Token
The line number of the last character of this Token.
ensureDirectoryExists(File) - Static method in class org.checkerframework.framework.test.TestUtilities
 
EnsuresLockHeld - Annotation Type in org.checkerframework.checker.lock.qual
Indicates that the given expressions are held if the method terminates successfully.
EnsuresLockHeldIf - Annotation Type in org.checkerframework.checker.lock.qual
Indicates that the given expressions are held if the method terminates successfully and returns the given result (either true or false).
EnsuresNonNull - Annotation Type in org.checkerframework.checker.nullness.qual
Indicates that the value expressions are non-null, if the method terminates successfully.
EnsuresNonNullIf - Annotation Type in org.checkerframework.checker.nullness.qual
Indicates that the given expressions are non-null, if the method returns the given result (either true or false).
EnsuresQualifier - Annotation Type in org.checkerframework.framework.qual
A postcondition annotation to indicate that a method ensures certain expressions to have a certain type qualifier once the method has successfully terminated.
EnsuresQualifierIf - Annotation Type in org.checkerframework.framework.qual
A conditional postcondition annotation to indicate that a method ensures that certain expressions have a certain qualifier once the method has finished, and if the result is as indicated by result.
EnsuresQualifiers - Annotation Type in org.checkerframework.framework.qual
A meta-annotation to allow multiple postcondition annotations.
EnsuresQualifiersIf - Annotation Type in org.checkerframework.framework.qual
A meta-annotation to allow multiple conditional postcondition annotations.
entryBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
The entry block of the control flow graph.
entrySet() - Method in class org.checkerframework.framework.util.AnnotationMirrorMap
 
ENUM - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
EnumConstantDeclaration - Class in org.checkerframework.stubparser.ast.body
 
EnumConstantDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.EnumConstantDeclaration
 
EnumConstantDeclaration(String) - Constructor for class org.checkerframework.stubparser.ast.body.EnumConstantDeclaration
 
EnumConstantDeclaration(JavadocComment, List<AnnotationExpr>, String, List<Expression>, List<BodyDeclaration>) - Constructor for class org.checkerframework.stubparser.ast.body.EnumConstantDeclaration
 
EnumConstantDeclaration(int, int, int, int, JavadocComment, List<AnnotationExpr>, String, List<Expression>, List<BodyDeclaration>) - Constructor for class org.checkerframework.stubparser.ast.body.EnumConstantDeclaration
 
EnumDeclaration - Class in org.checkerframework.stubparser.ast.body
 
EnumDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.EnumDeclaration
 
EnumDeclaration(int, String) - Constructor for class org.checkerframework.stubparser.ast.body.EnumDeclaration
 
EnumDeclaration(JavadocComment, int, List<AnnotationExpr>, String, List<ClassOrInterfaceType>, List<EnumConstantDeclaration>, List<BodyDeclaration>) - Constructor for class org.checkerframework.stubparser.ast.body.EnumDeclaration
 
EnumDeclaration(int, int, int, int, JavadocComment, int, List<AnnotationExpr>, String, List<ClassOrInterfaceType>, List<EnumConstantDeclaration>, List<BodyDeclaration>) - Constructor for class org.checkerframework.stubparser.ast.body.EnumDeclaration
 
env - Variable in class org.checkerframework.checker.nullness.SystemGetPropertyHandler
 
env - Variable in class org.checkerframework.dataflow.analysis.Analysis
The associated processing environment
env - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Annotation processing environment and its associated type and tree utilities.
env - Variable in class org.checkerframework.javacutil.trees.TreeBuilder
 
EOF - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
End of File.
eol - Variable in exception org.checkerframework.stubparser.ParseException
The end of line string for this machine.
EQ - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
EQUAL_TO(Double, Double) - Static method in class org.checkerframework.common.value.Operators
 
EQUAL_TO(Character, Character) - Static method in class org.checkerframework.common.value.Operators
 
EQUAL_TO(Long, Long) - Static method in class org.checkerframework.common.value.Operators
 
EQUAL_TO(Boolean, Boolean) - Static method in class org.checkerframework.common.value.Operators
 
EQUAL_TO(boolean, boolean) - Static method in class org.checkerframework.common.value.Operators
 
EQUAL_TO(String, String) - Static method in class org.checkerframework.common.value.Operators
 
equalities - Variable in class org.checkerframework.framework.util.typeinference.solver.TargetConstraints
 
Equalities() - Constructor for class org.checkerframework.framework.util.typeinference.solver.TargetConstraints.Equalities
 
EqualitiesSolver - Class in org.checkerframework.framework.util.typeinference.solver
EqualitiesSolver infers type arguments for targets using the equality constraints in ConstraintMap.
EqualitiesSolver() - Constructor for class org.checkerframework.framework.util.typeinference.solver.EqualitiesSolver
 
EqualityAtmComparer - Class in org.checkerframework.framework.type
Compares two annotated type mirrors for structural equality using only the primary annotations and underlying types of the two input types and their component types.
EqualityAtmComparer() - Constructor for class org.checkerframework.framework.type.EqualityAtmComparer
 
equalityComparer - Static variable in class org.checkerframework.framework.type.AnnotatedTypeMirror
 
equalityComparer - Variable in class org.checkerframework.framework.type.DefaultTypeHierarchy
 
equals(Effect) - Method in class org.checkerframework.checker.guieffect.Effect
 
equals(Object) - Method in class org.checkerframework.checker.guieffect.Effect
 
equals(Object) - Method in class org.checkerframework.checker.index.upperbound.OffsetEquation
 
equals(Object) - Method in class org.checkerframework.common.value.util.Range
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayAccess
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ClassName
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.LocalVariable
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.MethodCall
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ThisReference
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.Unknown
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.FlowExpressions.ValueLiteral
 
equals(Object) - Method in class org.checkerframework.dataflow.analysis.TransferInput
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayAccessNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayCreationNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ArrayTypeNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.AssertionErrorNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.AssignmentNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseAndNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseComplementNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseOrNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BitwiseXorNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.BooleanLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CaseNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.CharacterLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ClassNameNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalAndNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalNotNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ConditionalOrNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.DoubleLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.EqualToNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.FunctionalInterfaceNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.GreaterThanOrEqualNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.InstanceOfNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerDivisionNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.IntegerRemainderNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LeftShiftNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LessThanNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LessThanOrEqualNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LocalVariableNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.LongLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MarkerNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MethodAccessNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.MethodInvocationNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NarrowingConversionNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NotEqualNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NullChkNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NullLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalAdditionNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMinusNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalMultiplicationNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalPlusNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.NumericalSubtractionNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ObjectCreationNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.PackageNameNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ParameterizedTypeNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.PrimitiveTypeNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ReturnNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ShortLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SignedRightShiftNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConcatenateNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringConversionNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.StringLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SuperNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.TernaryExpressionNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ThisLiteralNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ThrowNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.TypeCastNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.UnsignedRightShiftNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.ValueLiteralNode
Compare the value of this nodes.
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.VariableDeclarationNode
 
equals(Object) - Method in class org.checkerframework.dataflow.cfg.node.WideningConversionNode
 
equals(Object) - Method in class org.checkerframework.dataflow.constantpropagation.Constant
 
equals(Object) - Method in class org.checkerframework.dataflow.constantpropagation.ConstantPropagationStore
 
equals(Object) - Method in class org.checkerframework.framework.flow.CFAbstractStore
 
equals(Object) - Method in class org.checkerframework.framework.flow.CFAbstractValue
 
equals(Object) - Method in class org.checkerframework.framework.source.Result.DiagMessage
 
equals(Object) - Method in class org.checkerframework.framework.test.diagnostics.TestDiagnostic
Equality is compared without isFixable/omitParentheses
equals(Object) - Method in class org.checkerframework.framework.type.AnnotatedTypeMirror
 
equals(Object) - Method in class org.checkerframework.framework.type.AnnotatedTypeParameterBounds
 
equals(Object) - Method in class org.checkerframework.framework.util.ContractsUtils.ConditionalPostcondition
 
equals(Object) - Method in class org.checkerframework.framework.util.ContractsUtils.Contract
 
equals(Object) - Method in class org.checkerframework.framework.util.dependenttypes.DependentTypesError
 
equals(Object) - Method in class org.checkerframework.framework.util.typeinference.constraint.AFConstraint
 
equals(Object) - Method in class org.checkerframework.framework.util.typeinference.constraint.TUConstraint
 
equals(Object) - Method in class org.checkerframework.javacutil.Pair
 
equals(Object) - Method in class org.checkerframework.stubparser.ast.Node
 
equals(Node, Node) - Static method in class org.checkerframework.stubparser.ast.visitor.EqualsVisitor
 
EqualsVisitor - Class in org.checkerframework.stubparser.ast.visitor
 
equalTo(Number) - Method in class org.checkerframework.common.value.util.ByteMath
 
equalTo(Number) - Method in class org.checkerframework.common.value.util.DoubleMath
 
equalTo(Number) - Method in class org.checkerframework.common.value.util.FloatMath
 
equalTo(Number) - Method in class org.checkerframework.common.value.util.IntegerMath
 
equalTo(Number) - Method in class org.checkerframework.common.value.util.LongMath
 
equalTo(Number) - Method in class org.checkerframework.common.value.util.NumberMath
 
equalTo(Number) - Method in class org.checkerframework.common.value.util.ShortMath
 
EqualToNode - Class in org.checkerframework.dataflow.cfg.node
A node for an equality check:
EqualToNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.EqualToNode
 
EquivalentAtmComboScanner<RETURN_TYPE,PARAM> - Class in org.checkerframework.framework.type.visitor
EquivalentAtmComboScanner is an AtmComboVisitor that accepts combinations that are identical in TypeMirror structure but might differ in contained AnnotationMirrors.
EquivalentAtmComboScanner() - Constructor for class org.checkerframework.framework.type.visitor.EquivalentAtmComboScanner
 
EquivalentAtmComboScanner.Visited - Class in org.checkerframework.framework.type.visitor
 
error - Variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesError
 
errorAbort(String) - Method in class org.checkerframework.framework.source.SourceChecker
Log an error message and abort processing.
errorAbort(String, Throwable) - Method in class org.checkerframework.framework.source.SourceChecker
Log an error message and abort processing.
errorAbort(String) - Method in interface org.checkerframework.javacutil.ErrorHandler
Log an error message and abort processing.
errorAbort(String, Throwable) - Method in interface org.checkerframework.javacutil.ErrorHandler
 
errorAbort(String) - Static method in class org.checkerframework.javacutil.ErrorReporter
Log an error message and abort processing.
errorAbort(String, Object...) - Static method in class org.checkerframework.javacutil.ErrorReporter
Log an error message use String.format(String, Object...)} and abort processing.
errorAbort(String, Throwable) - Static method in class org.checkerframework.javacutil.ErrorReporter
 
ErrorHandler - Interface in org.checkerframework.javacutil
An implementation of the ErrorHandler interface can be registered with the ErrorReporter class to change the default behavior on errors.
errorKey - Variable in enum org.checkerframework.framework.util.ContractsUtils.Contract.Kind
 
ErrorReporter - Class in org.checkerframework.javacutil
Handle errors detected in utility classes.
ErrorReporter() - Constructor for class org.checkerframework.javacutil.ErrorReporter
 
errsOnLastExit - Variable in class org.checkerframework.framework.source.SourceChecker
The number of errors at the last exit of the type processor.
escapeDoubleQuotes(String) - Method in class org.checkerframework.dataflow.cfg.DOTCFGVisualizer
 
escapeQuotesAndSlashes(String) - Static method in class org.checkerframework.framework.util.PluginUtil
 
evaluateMethodCall(List<List<?>>, List<?>, MethodInvocationTree) - Method in class org.checkerframework.common.value.ReflectiveEvalutator
 
evaluateStaticFieldAccess(String, String, MemberSelectTree) - Method in class org.checkerframework.common.value.ReflectiveEvalutator
 
evaluteConstrutorCall(ArrayList<List<?>>, NewClassTree, TypeMirror) - Method in class org.checkerframework.common.value.ReflectiveEvalutator
 
EVERYTHING - Static variable in class org.checkerframework.common.value.util.Range
A range containing all possible 64-bit values.
exceptionalExitBlock - Variable in class org.checkerframework.dataflow.cfg.ControlFlowGraph
The exceptional exit block of the control flow graph.
exceptionalExitLabel - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder
Special label to identify the exceptional exit.
exceptionalStores - Variable in class org.checkerframework.dataflow.analysis.TransferResult
The stores in case the basic block throws an exception (or null if the corresponding Node does not throw any exceptions).
exceptionalSuccessors - Variable in class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
Set of exceptional successors.
ExceptionBlock - Interface in org.checkerframework.dataflow.cfg.block
Represents a basic block that contains exactly one Node which can throw an exception.
ExceptionBlockImpl - Class in org.checkerframework.dataflow.cfg.block
Base class of the Block implementation hierarchy.
ExceptionBlockImpl() - Constructor for class org.checkerframework.dataflow.cfg.block.ExceptionBlockImpl
 
exceptions - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.NodeWithExceptionsHolder
Map from exception type to labels of successors that may be reached as a result of that exception.
exceptionToInvalidFormatAnnotation(IllegalFormatException) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil
Takes an exception that describes an invalid formatter string and, returns a syntax trees element that represents a InvalidFormat annotation with the exception's error message as value.
exceptionToInvalidFormatAnnotation(IllegalArgumentException) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
Takes an exception that describes an invalid formatter string and returns a syntax trees element that represents a I18nInvalidFormat annotation with the exception's error message as value.
ExcessiveOrMissingFormatArgumentException(int, int) - Constructor for exception org.checkerframework.checker.formatter.FormatUtil.ExcessiveOrMissingFormatArgumentException
Constructs an instance of this class with the actual argument length and the expected one.
execDotToPng(File, File) - Static method in class org.checkerframework.common.util.TypeVisualizer
Converts the given dot file to a png file at the specified location.
execute(String[], OutputStream, OutputStream) - Static method in class org.checkerframework.framework.util.ExecUtil
 
ExecUtil - Class in org.checkerframework.framework.util
 
ExecUtil() - Constructor for class org.checkerframework.framework.util.ExecUtil
 
ExecUtil.Redirection - Class in org.checkerframework.framework.util
 
exitLabel - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryStack
 
expandArgFiles(List<File>) - Static method in class org.checkerframework.framework.util.CheckerMain
Return all the lines in all the files.
ExpandBuff(boolean) - Method in class org.checkerframework.stubparser.JavaCharStream
 
expandCFOptions(List<? extends Class<?>>, String[]) - Method in class org.checkerframework.framework.source.SourceChecker
Generate the possible command-line option names by prefixing each class name from classPrefixes to options, separated by OPTION_SEPARATOR.
expandVarArgs(AnnotatedTypeFactory, AnnotatedTypeMirror.AnnotatedExecutableType, List<? extends ExpressionTree>) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
Returns the method parameters for the invoked method, with the same number of arguments passed in the methodInvocation tree.
expandVarArgsFromTypes(AnnotatedTypeMirror.AnnotatedExecutableType, List<AnnotatedTypeMirror>) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
 
expectedTokenSequences - Variable in exception org.checkerframework.stubparser.ParseException
Each entry in this array is an array of integers.
ExplicitConstructorInvocationStmt - Class in org.checkerframework.stubparser.ast.stmt
 
ExplicitConstructorInvocationStmt() - Constructor for class org.checkerframework.stubparser.ast.stmt.ExplicitConstructorInvocationStmt
 
ExplicitConstructorInvocationStmt(boolean, Expression, List<Expression>) - Constructor for class org.checkerframework.stubparser.ast.stmt.ExplicitConstructorInvocationStmt
 
ExplicitConstructorInvocationStmt(int, int, int, int, List<Type>, boolean, Expression, List<Expression>) - Constructor for class org.checkerframework.stubparser.ast.stmt.ExplicitConstructorInvocationStmt
 
ExplicitThisLiteralNode - Class in org.checkerframework.dataflow.cfg.node
A node for a reference to 'this'.
ExplicitThisLiteralNode(Tree) - Constructor for class org.checkerframework.dataflow.cfg.node.ExplicitThisLiteralNode
 
expression - Variable in class org.checkerframework.dataflow.cfg.node.SynchronizedNode
 
expression - Variable in class org.checkerframework.dataflow.cfg.node.ThrowNode
 
expression - Variable in class org.checkerframework.framework.util.ContractsUtils.Contract
The expression for which the condition must hold, such as "foo" in @RequiresNonNull("foo").
expression - Variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesError
 
Expression - Class in org.checkerframework.stubparser.ast.expr
 
Expression() - Constructor for class org.checkerframework.stubparser.ast.expr.Expression
 
Expression(int, int, int, int) - Constructor for class org.checkerframework.stubparser.ast.expr.Expression
 
ExpressionStmt - Class in org.checkerframework.stubparser.ast.stmt
 
ExpressionStmt() - Constructor for class org.checkerframework.stubparser.ast.stmt.ExpressionStmt
 
ExpressionStmt(Expression) - Constructor for class org.checkerframework.stubparser.ast.stmt.ExpressionStmt
 
ExpressionStmt(int, int, int, int, Expression) - Constructor for class org.checkerframework.stubparser.ast.stmt.ExpressionStmt
 
expressionToArgTrees(ExpressionTree) - Static method in class org.checkerframework.framework.util.typeinference.TypeArgInferenceUtil
Takes an expression tree that must be either a MethodInovcationTree or a NewClassTree (constructor invocation) and returns the arguments to its formal parameters.
ExtendedNode(CFGBuilder.ExtendedNode.ExtendedNodeType) - Constructor for class org.checkerframework.dataflow.cfg.CFGBuilder.ExtendedNode
 
EXTENDS - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
extendWithExtendedNode(CFGBuilder.ExtendedNode) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Extend the list of extended nodes with an extended node.
extendWithNode(T) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Extend the list of extended nodes with a node.
extendWithNodeWithException(Node, TypeMirror) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Extend the list of extended nodes with a node, where node might throw the exception cause.
extendWithNodeWithExceptions(Node, Set<TypeMirror>) - Method in class org.checkerframework.dataflow.cfg.CFGBuilder.CFGTranslationPhaseOne
Extend the list of extended nodes with a node, where node might throw any of the exception in causes.
extractAndApply() - Method in class org.checkerframework.framework.util.element.MethodApplier
Sets the method's element, annotates its return type, parameters, type parameters, and throws annotations.
extractAndApply() - Method in class org.checkerframework.framework.util.element.ParamApplier
 
extractAndApply() - Method in class org.checkerframework.framework.util.element.TypeDeclarationApplier
Adds extends/implements and class annotations to type.
extractAndApply() - Method in class org.checkerframework.framework.util.element.TypeVarUseApplier
Applies the bound annotations from the declaration of the type parameter and then applies the explicit annotations written on the type variable
extractAndApply() - Method in class org.checkerframework.framework.util.element.VariableApplier
 
extractArg(String, String, List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain
Remove the argument given by argumentName and the subsequent value from the list args if present.
extractBootClassPath(List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain
Remove all -Xbootclasspath/p: or -J-Xbootclasspath/p: arguments from args and add them to the returned list.
extractCpOpts(List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain
Remove the -cp and -classpath options and their arguments from args.
extractFileArg(String, File, List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain
Remove the argument given by argumentName and the subsequent value from the list args if present.
extractJvmOpts(List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain
Remove all -J arguments from args and add them to the returned list (without the -J prefix)
extractOptWithPattern(Pattern, boolean, List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain
Find all args that match the given pattern and extract their index 1 group.
extractPpOpts(List<String>) - Static method in class org.checkerframework.framework.util.CheckerMain
Remove the -processorpath options and their arguments from args.

F

F2A - Class in org.checkerframework.framework.util.typeinference.constraint
 
F2A(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.F2A
 
F2AReducer - Class in org.checkerframework.framework.util.typeinference.constraint
F2AReducer takes an F2A constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
F2AReducer(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.F2AReducer
 
factory - Variable in class org.checkerframework.checker.nullness.SystemGetPropertyHandler
 
factory - Variable in class org.checkerframework.framework.flow.CFCFGBuilder
Type factory to provide types used during CFG building.
factory - Variable in class org.checkerframework.framework.util.ContractsUtils
 
factory - Variable in class org.checkerframework.framework.util.dependenttypes.DependentTypesHelper
 
failure(FormatterTreeUtil.Result<E>, String, Object...) - Method in class org.checkerframework.checker.formatter.FormatterTreeUtil
Reports an error.
failure(FormatterTreeUtil.Result<E>, String, Object...) - Method in class org.checkerframework.checker.i18nformatter.I18nFormatterTreeUtil
Reports an error.
failure(String, Object...) - Static method in class org.checkerframework.framework.source.Result
Creates a new failure result with the given message key.
FALSE - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
falseFlowRule - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
 
falseSucc - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.ConditionalJump
 
FBCBOTTOM - Variable in class org.checkerframework.checker.initialization.InitializationAnnotatedTypeFactory
FBCBottom - Annotation Type in org.checkerframework.checker.initialization.qual
The bottom type in the Freedom Before Commitment type system.
FENUM - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
 
Fenum - Annotation Type in org.checkerframework.checker.fenum.qual
A generic fake enumeration qualifier that is parameterized by a name.
FENUM_BOTTOM - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
 
FENUM_UNQUALIFIED - Variable in class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
 
FenumAnnotatedTypeFactory - Class in org.checkerframework.checker.fenum
 
FenumAnnotatedTypeFactory(BaseTypeChecker) - Constructor for class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory
 
FenumAnnotatedTypeFactory.FenumQualifierHierarchy - Class in org.checkerframework.checker.fenum
 
FenumBottom - Annotation Type in org.checkerframework.checker.fenum.qual
The bottom type in the Fenum type system.
FenumChecker - Class in org.checkerframework.checker.fenum
The main checker class for the Fake Enum Checker.
FenumChecker() - Constructor for class org.checkerframework.checker.fenum.FenumChecker
 
FenumQualifierHierarchy(MultiGraphQualifierHierarchy.MultiGraphFactory) - Constructor for class org.checkerframework.checker.fenum.FenumAnnotatedTypeFactory.FenumQualifierHierarchy
 
FenumTop - Annotation Type in org.checkerframework.checker.fenum.qual
The top of the fake enumeration type hierarchy.
FenumUnqualified - Annotation Type in org.checkerframework.checker.fenum.qual
An unqualified type.
FenumVisitor - Class in org.checkerframework.checker.fenum
 
FenumVisitor(BaseTypeChecker) - Constructor for class org.checkerframework.checker.fenum.FenumVisitor
 
field - Variable in class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
 
field - Variable in class org.checkerframework.dataflow.cfg.node.FieldAccessNode
 
FieldAccess(FlowExpressions.Receiver, FieldAccessNode) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
 
FieldAccess(FlowExpressions.Receiver, TypeMirror, VariableElement) - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions.FieldAccess
 
FieldAccessExpr - Class in org.checkerframework.stubparser.ast.expr
 
FieldAccessExpr() - Constructor for class org.checkerframework.stubparser.ast.expr.FieldAccessExpr
 
FieldAccessExpr(Expression, String) - Constructor for class org.checkerframework.stubparser.ast.expr.FieldAccessExpr
 
FieldAccessExpr(int, int, int, int, Expression, List<Type>, String) - Constructor for class org.checkerframework.stubparser.ast.expr.FieldAccessExpr
 
FieldAccessNode - Class in org.checkerframework.dataflow.cfg.node
A node for a field access, including a method accesses:
FieldAccessNode(Tree, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FieldAccessNode
 
FieldAccessNode(Tree, VariableElement, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FieldAccessNode
 
FieldDeclaration - Class in org.checkerframework.stubparser.ast.body
 
FieldDeclaration() - Constructor for class org.checkerframework.stubparser.ast.body.FieldDeclaration
 
FieldDeclaration(int, Type, VariableDeclarator) - Constructor for class org.checkerframework.stubparser.ast.body.FieldDeclaration
 
FieldDeclaration(int, Type, List<VariableDeclarator>) - Constructor for class org.checkerframework.stubparser.ast.body.FieldDeclaration
 
FieldDeclaration(JavadocComment, int, List<AnnotationExpr>, Type, List<VariableDeclarator>) - Constructor for class org.checkerframework.stubparser.ast.body.FieldDeclaration
 
FieldDeclaration(int, int, int, int, JavadocComment, int, List<AnnotationExpr>, Type, List<VariableDeclarator>) - Constructor for class org.checkerframework.stubparser.ast.body.FieldDeclaration
 
FieldDescriptor - Annotation Type in org.checkerframework.checker.signature.qual
Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.3.2.
FieldDescriptorForArray - Annotation Type in org.checkerframework.checker.signature.qual
Represents a field descriptor (JVM type format) as defined in the Java Virtual Machine Specification, section 4.3.2, but not for all array types: only for an array type whose base type is either a primitive or in the unnamed package.
fieldTAPosition(int) - Static method in class org.checkerframework.javacutil.TypeAnnotationUtils
 
fieldValues - Variable in class org.checkerframework.framework.flow.CFAbstractAnalysis
Initial abstract types for fields.
fieldValues - Variable in class org.checkerframework.framework.flow.CFAbstractStore
Information collected about fields, using the internal representation FlowExpressions.FieldAccess.
fileArgToStr(File) - Static method in class org.checkerframework.framework.util.PluginUtil
 
FillBuff() - Method in class org.checkerframework.stubparser.JavaCharStream
 
FINAL - Static variable in class org.checkerframework.stubparser.ast.body.ModifierSet
 
FINAL - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
finalLocalValues - Variable in class org.checkerframework.dataflow.analysis.Analysis
Map from (effectively final) local variable elements to their abstract value.
finalLocalValues - Variable in class org.checkerframework.dataflow.analysis.AnalysisResult
Map from (effectively final) local variable elements to their abstract value.
FINALLY - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
finallyLabel - Variable in class org.checkerframework.dataflow.cfg.CFGBuilder.TryFinallyFrame
 
findAnnotationInHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.QualifierHierarchy
Returns the annotation in annos that is in the hierarchy for which annotationMirror is top.
findAnnotationInSameHierarchy(Collection<? extends AnnotationMirror>, AnnotationMirror) - Method in class org.checkerframework.framework.type.QualifierHierarchy
Returns the annotation in annos that is in the same hierarchy as annotationMirror.
findBottoms(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
 
findBottoms(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
Infer the bottoms of the subtype hierarchy.
findClass(String, TreePath) - Method in class org.checkerframework.javacutil.Resolver
Finds the class literal with name name.
findClassInPackage(String, Symbol.PackageSymbol, TreePath) - Method in class org.checkerframework.javacutil.Resolver
Finds the class with name name in a given package.
findComparisonFile(File) - Static method in class org.checkerframework.framework.test.TestUtilities
 
findConcreteUpperBound(TypeMirror) - Static method in class org.checkerframework.javacutil.TypesUtils
Given a bounded type (wildcard or typevar) get the concrete type of its upper bound.
findCorrespondingAnnotation(AnnotationMirror, Collection<? extends AnnotationMirror>) - Method in class org.checkerframework.framework.type.QualifierHierarchy
findEffectiveAnnotationInHierarchy(QualifierHierarchy, AnnotatedTypeMirror, AnnotationMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
When comparing types against the bounds of a type variable, we may encounter other type variables, wildcards, and intersections in those bounds.
findEffectiveAnnotationInHierarchy(QualifierHierarchy, AnnotatedTypeMirror, AnnotationMirror, boolean) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
When comparing types against the bounds of a type variable, we may encounter other type variables, wildcards, and intersections in those bounds.
findEffectiveAnnotations(QualifierHierarchy, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
When comparing types against the bounds of a type variable, we may encounter other type variables, wildcards, and intersections in those bounds.
findEffectiveLowerBoundAnnotations(QualifierHierarchy, AnnotatedTypeMirror) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
When comparing types against the bounds of a type variable, we may encounter other type variables, wildcards, and intersections in those bounds.
findElement(CharSequence) - Method in class org.checkerframework.framework.util.AnnotationBuilder
 
findEqualTarget(TargetConstraints.Equalities, AnnotationMirrorSet) - Method in class org.checkerframework.framework.util.typeinference.solver.EqualitiesSolver
Attempt to find a target which is equal to this target.
findField(String, TypeMirror, TreePath) - Method in class org.checkerframework.javacutil.Resolver
Finds the field with name name in a given type.
findFieldInType(TypeElement, String) - Static method in class org.checkerframework.javacutil.ElementUtils
Returns the field of the class
findFieldsInType(TypeElement, Collection<String>) - Static method in class org.checkerframework.javacutil.ElementUtils
 
findFilesInParent(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
 
findInheritedEffectRange(TypeElement, ExecutableElement) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
 
findInheritedEffectRange(TypeElement, ExecutableElement, boolean, Tree) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
 
findJavaFilesPerDirectory(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
Returns a list where each item is a list of Java files, excluding any skip tests, for each directory given by dirName and also a list for any subdirectory.
findJavaOverride(ExecutableElement, TypeMirror) - Method in class org.checkerframework.checker.guieffect.GuiEffectTypeFactory
 
findLocalVariableOrParameterOrField(String, TreePath) - Method in class org.checkerframework.javacutil.Resolver
Finds the local variable with name name in the given scope.
findLub(AnnotationMirror, AnnotationMirror) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
Finds and returns the Least Upper Bound (LUB) of two annotation mirrors a1 and a2 by recursively climbing the qualifier hierarchy of a1 until one of them is a subtype of the other, or returns null if no subtype relationships can be found
findMethod(String, TypeMirror, TreePath, List<TypeMirror>) - Method in class org.checkerframework.javacutil.Resolver
Finds the method element for a given name and list of expected parameter types.
findNestedJavaTestFiles(String...) - Static method in class org.checkerframework.framework.test.TestUtilities
 
findPackage(String, TreePath) - Method in class org.checkerframework.javacutil.Resolver
Finds the package with name name.
findPathTo(Class<?>, boolean) - Static method in class org.checkerframework.framework.util.CheckerMain
Find the jar file or directory containing the .class file from which cls was loaded
findRelativeNestedJavaFiles(String, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
 
findRelativeNestedJavaFiles(File, String...) - Static method in class org.checkerframework.framework.test.TestUtilities
 
findTops(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingQualifierHierarchy
 
findTops(Map<AnnotationMirror, Set<AnnotationMirror>>) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
Infer the tops of the subtype hierarchy.
findTypeArguments(ProcessingEnvironment, AnnotatedTypeFactory, ExpressionTree, ExecutableElement, AnnotatedTypeMirror.AnnotatedExecutableType) - Static method in class org.checkerframework.framework.util.AnnotatedTypes
Given a method or constructor invocation, return a mapping of the type variables to their type arguments, if any exist.
finish(QualifierHierarchy, Map<AnnotationMirror, Set<AnnotationMirror>>, Map<AnnotationMirror, AnnotationMirror>, Set<AnnotationMirror>, Set<AnnotationMirror>, Object...) - Method in class org.checkerframework.framework.util.GraphQualifierHierarchy
 
finish(QualifierHierarchy, Map<AnnotationMirror, Set<AnnotationMirror>>, Map<AnnotationMirror, AnnotationMirror>, Set<AnnotationMirror>, Set<AnnotationMirror>, Object...) - Method in class org.checkerframework.framework.util.MultiGraphQualifierHierarchy
Method to finalize the qualifier hierarchy before it becomes unmodifiable.
finishValue(NullnessValue, NullnessStore) - Method in class org.checkerframework.checker.nullness.NullnessTransfer
 
finishValue(V, S) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer
This method is called before returning the abstract value value as the result of the transfer function.
finishValue(V, S, S) - Method in class org.checkerframework.framework.flow.CFAbstractTransfer
This method is called before returning the abstract value value as the result of the transfer function.
first - Variable in class org.checkerframework.javacutil.Pair
 
firstStatement(Tree) - Static method in class org.checkerframework.javacutil.TreeUtils
 
FIsA - Class in org.checkerframework.framework.util.typeinference.constraint
 
FIsA(AnnotatedTypeMirror, AnnotatedTypeMirror) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.FIsA
 
FIsAReducer - Class in org.checkerframework.framework.util.typeinference.constraint
FIsAReducer takes an FIsA constraint that is not irreducible (@see AFConstraint.isIrreducible) and reduces it by one step.
FIsAReducer(AnnotatedTypeFactory) - Constructor for class org.checkerframework.framework.util.typeinference.constraint.FIsAReducer
 
flatOptions() - Method in class org.checkerframework.framework.test.TestConfigurationBuilder
 
FLOAT - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
FLOAT_TYPE - Static variable in class org.checkerframework.stubparser.ASTHelper
 
FLOATING_POINT_LITERAL - Static variable in interface org.checkerframework.stubparser.ASTParserConstants
RegularExpression Id.
FloatingDivisionNode - Class in org.checkerframework.dataflow.cfg.node
A node for the floating-point division:
FloatingDivisionNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatingDivisionNode
 
FloatingRemainderNode - Class in org.checkerframework.dataflow.cfg.node
A node for the floating-point remainder:
FloatingRemainderNode(BinaryTree, Node, Node) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatingRemainderNode
 
FloatLiteralNode - Class in org.checkerframework.dataflow.cfg.node
A node for a float literal.
FloatLiteralNode(LiteralTree) - Constructor for class org.checkerframework.dataflow.cfg.node.FloatLiteralNode
 
FloatMath - Class in org.checkerframework.common.value.util
 
FloatMath(float) - Constructor for class org.checkerframework.common.value.util.FloatMath
 
FLOW_BY_DEFAULT - Static variable in class org.checkerframework.framework.type.GenericAnnotatedTypeFactory
should use flow by default
FlowExpressionContext(FlowExpressions.Receiver, List<FlowExpressions.Receiver>, BaseContext) - Constructor for class org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionContext
Creates context for parsing a flow expression.
FlowExpressionParseException(Result) - Constructor for exception org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException
 
FlowExpressionParseException(Result, Throwable) - Constructor for exception org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException
 
FlowExpressionParseUtil - Class in org.checkerframework.framework.util
A collection of helper methods to parse a string that represents a restricted Java expression.
FlowExpressionParseUtil() - Constructor for class org.checkerframework.framework.util.FlowExpressionParseUtil
 
FlowExpressionParseUtil.FlowExpressionContext - Class in org.checkerframework.framework.util
Context used to parse a flow expression.
FlowExpressionParseUtil.FlowExpressionParseException - Exception in org.checkerframework.framework.util
An exception that indicates a parse error.
FlowExpressions - Class in org.checkerframework.dataflow.analysis
Collection of classes and helper functions to represent Java expressions about which the org.checkerframework.dataflow analysis can possibly infer facts.
FlowExpressions() - Constructor for class org.checkerframework.dataflow.analysis.FlowExpressions
 
FlowExpressions.ArrayAccess - Class in org.checkerframework.dataflow.analysis
A deterministic method call.
FlowExpressions.ArrayCreation - Class in org.checkerframework.dataflow.analysis
 
FlowExpressions.ClassName - Class in org.checkerframework.dataflow.analysis
A ClassName represents the occurrence of a class as part of a static field access or method invocation.
FlowExpressions.FieldAccess - Class in org.checkerframework