Package org.checkerframework.checker.initialization

Class InitializationFieldAccessTreeAnnotator

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<Void,AnnotatedTypeMirror>

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.checker.initialization.InitializationFieldAccessTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

public class InitializationFieldAccessTreeAnnotator
extends TreeAnnotator

Part of the freedom-before-commitment type system.

This annotator should be added to GenericAnnotatedTypeFactory.createTreeAnnotator() for the target checker. It ensures that the fields of an uninitialized receiver have the top type in the parent checker's hierarchy.

See Also:

• InitializationChecker.getTargetCheckerClass()

Field Summary

Fields

Modifier and Type	Field	Description
protected final boolean	assumeInitialized	The value of the assumeInitialized option.

Fields inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

atypeFactory

Fields inherited from class com.sun.source.util.SimpleTreeVisitor

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor	Description
InitializationFieldAccessTreeAnnotator(GenericAnnotatedTypeFactory<?,?,?,?> atypeFactory)	Creates a new CommitmentFieldAccessTreeAnnotator.

Method Summary

Modifier and Type	Method	Description
Void	visitIdentifier(IdentifierTree tree, AnnotatedTypeMirror p)
Void	visitMemberSelect(MemberSelectTree tree, AnnotatedTypeMirror p)

Methods inherited from class org.checkerframework.framework.type.treeannotator.TreeAnnotator

log, visitBinary, visitMethod

Methods inherited from class com.sun.source.util.SimpleTreeVisitor

defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitAnyPattern, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBindingPattern, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitCompoundAssignment, visitConditionalExpression, visitConstantCaseLabel, visitContinue, visitDeconstructionPattern, visitDefaultCaseLabel, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMethodInvocation, visitModifiers, visitModule, visitNewArray, visitNewClass, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPatternCaseLabel, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitStringTemplate, visitSwitch, visitSwitchExpression, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, visitWildcard, visitYield

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

assumeInitialized

protected final boolean assumeInitialized

The value of the assumeInitialized option.

Constructor Details

InitializationFieldAccessTreeAnnotator

public InitializationFieldAccessTreeAnnotator(GenericAnnotatedTypeFactory<?,?,?,?> atypeFactory)

Creates a new CommitmentFieldAccessTreeAnnotator.

Parameters:

atypeFactory - the type factory belonging to the init checker's parent

Method Details

visitIdentifier

public Void visitIdentifier(IdentifierTree tree,
 AnnotatedTypeMirror p)

Specified by:

visitIdentifier in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitIdentifier in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitMemberSelect

public Void visitMemberSelect(MemberSelectTree tree,
 AnnotatedTypeMirror p)

Specified by:

visitMemberSelect in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitMemberSelect in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>