org.checkerframework.qualframework.poly

Class QualifierParameterTreeAnnotator<Q>

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<QualifiedTypeMirror<Q>,ExtendedTypeMirror>

org.checkerframework.qualframework.base.TreeAnnotator<QualParams<Q>>

org.checkerframework.qualframework.poly.QualifierParameterTreeAnnotator<Q>

All Implemented Interfaces:

TreeVisitor<QualifiedTypeMirror<QualParams<Q>>,ExtendedTypeMirror>

public class QualifierParameterTreeAnnotator<Q>
extends TreeAnnotator<QualParams<Q>>

TreeAnnotator instance for qualifier parameter checkers.

Field Summary

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

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor and Description
QualifierParameterTreeAnnotator(QualifierParameterTypeFactory<Q> factory)

Method Summary

Modifier and Type	Method and Description
QualifiedTypeMirror<QualParams<Q>>	visitBinary(BinaryTree node, ExtendedTypeMirror type)
QualifiedTypeMirror<QualParams<Q>>	visitCompoundAssignment(CompoundAssignmentTree node, ExtendedTypeMirror type)
QualifiedTypeMirror<QualParams<Q>>	visitConditionalExpression(ConditionalExpressionTree node, ExtendedTypeMirror type)
QualifiedTypeMirror<QualParams<Q>>	visitTypeCast(TypeCastTree node, ExtendedTypeMirror type)
QualifiedTypeMirror<QualParams<Q>>	visitUnary(UnaryTree node, ExtendedTypeMirror type)

Methods inherited from class org.checkerframework.qualframework.base.TreeAnnotator

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

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

visit, visit, visitAnnotatedType, visitIntersectionType, visitLambdaExpression, visitMemberReference

Methods inherited from class java.lang.Object

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

Constructor Detail

QualifierParameterTreeAnnotator

public QualifierParameterTreeAnnotator(QualifierParameterTypeFactory<Q> factory)

Method Detail

visitCompoundAssignment

public QualifiedTypeMirror<QualParams<Q>> visitCompoundAssignment(CompoundAssignmentTree node,
                                                                  ExtendedTypeMirror type)

Specified by:

visitCompoundAssignment in interface TreeVisitor<QualifiedTypeMirror<QualParams<Q>>,ExtendedTypeMirror>

Overrides:

visitCompoundAssignment in class TreeAnnotator<QualParams<Q>>

visitBinary

public QualifiedTypeMirror<QualParams<Q>> visitBinary(BinaryTree node,
                                                      ExtendedTypeMirror type)

Specified by:

visitBinary in interface TreeVisitor<QualifiedTypeMirror<QualParams<Q>>,ExtendedTypeMirror>

Overrides:

visitBinary in class TreeAnnotator<QualParams<Q>>

visitUnary

public QualifiedTypeMirror<QualParams<Q>> visitUnary(UnaryTree node,
                                                     ExtendedTypeMirror type)

Specified by:

visitUnary in interface TreeVisitor<QualifiedTypeMirror<QualParams<Q>>,ExtendedTypeMirror>

Overrides:

visitUnary in class TreeAnnotator<QualParams<Q>>

visitConditionalExpression

public QualifiedTypeMirror<QualParams<Q>> visitConditionalExpression(ConditionalExpressionTree node,
                                                                     ExtendedTypeMirror type)

Specified by:

visitConditionalExpression in interface TreeVisitor<QualifiedTypeMirror<QualParams<Q>>,ExtendedTypeMirror>

Overrides:

visitConditionalExpression in class TreeAnnotator<QualParams<Q>>

visitTypeCast

public QualifiedTypeMirror<QualParams<Q>> visitTypeCast(TypeCastTree node,
                                                        ExtendedTypeMirror type)

Specified by:

visitTypeCast in interface TreeVisitor<QualifiedTypeMirror<QualParams<Q>>,ExtendedTypeMirror>

Overrides:

visitTypeCast in class TreeAnnotator<QualParams<Q>>