org.checkerframework.framework.type.treeannotator

Class PropagationTreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.framework.type.treeannotator.PropagationTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

Direct Known Subclasses:

NullnessAnnotatedTypeFactory.NullnessPropagationAnnotator

public class PropagationTreeAnnotator
extends TreeAnnotator

PropagationTreeAnnotator adds qualifiers to types where the resulting type is a function of an input type, e.g. the result of a binary operation is a LUB of the type of expressions in the binary operation. PropagationTreeAnnotator is generally ran first by ListTreeAnnotator since the trees it handles are not usually targets of @implicit for. PropagationTreeAnnotator does not traverse trees deeply by default.

See Also:

TreeAnnotator

Field Summary

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 and Description
PropagationTreeAnnotator(AnnotatedTypeFactory atypeFactory) Creates a ImplicitsTypeAnnotator from the given checker, using that checker's type hierarchy.

Method Summary

Modifier and Type	Method and Description
Void	visitBinary(BinaryTree node, AnnotatedTypeMirror type)
Void	visitCompoundAssignment(CompoundAssignmentTree node, AnnotatedTypeMirror type)
Void	visitNewArray(NewArrayTree tree, AnnotatedTypeMirror type)
Void	visitTypeCast(TypeCastTree node, AnnotatedTypeMirror type)
Void	visitUnary(UnaryTree node, AnnotatedTypeMirror type)

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

visitMethod

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

defaultAction, visit, visit, visitAnnotatedType, visitAnnotation, visitArrayAccess, visitArrayType, visitAssert, visitAssignment, visitBlock, visitBreak, visitCase, visitCatch, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitNewClass, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeParameter, visitUnionType, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

PropagationTreeAnnotator

public PropagationTreeAnnotator(AnnotatedTypeFactory atypeFactory)

Creates a ImplicitsTypeAnnotator from the given checker, using that checker's type hierarchy.

Method Detail

visitNewArray

public Void visitNewArray(NewArrayTree tree,
                          AnnotatedTypeMirror type)

Specified by:

visitNewArray in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitNewArray in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitCompoundAssignment

public Void visitCompoundAssignment(CompoundAssignmentTree node,
                                    AnnotatedTypeMirror type)

Specified by:

visitCompoundAssignment in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitCompoundAssignment in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitBinary

public Void visitBinary(BinaryTree node,
                        AnnotatedTypeMirror type)

Specified by:

visitBinary in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitBinary in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitUnary

public Void visitUnary(UnaryTree node,
                       AnnotatedTypeMirror type)

Specified by:

visitUnary in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitUnary in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitTypeCast

public Void visitTypeCast(TypeCastTree node,
                          AnnotatedTypeMirror type)

Specified by:

visitTypeCast in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitTypeCast in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>