org.checkerframework.common.aliasing

Class AliasingAnnotatedTypeFactory.AliasingTreeAnnotator

java.lang.Object

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

org.checkerframework.framework.type.treeannotator.TreeAnnotator

org.checkerframework.common.aliasing.AliasingAnnotatedTypeFactory.AliasingTreeAnnotator

All Implemented Interfaces:

TreeVisitor<Void,AnnotatedTypeMirror>

Enclosing class:

AliasingAnnotatedTypeFactory

protected class AliasingAnnotatedTypeFactory.AliasingTreeAnnotator
extends 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
AliasingTreeAnnotator(AliasingAnnotatedTypeFactory atypeFactory)

Method Summary

Modifier and Type	Method and Description
Void	visitNewArray(NewArrayTree node, AnnotatedTypeMirror type)
Void	visitNewClass(NewClassTree node, AnnotatedTypeMirror p)

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

visitBinary, 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, visitCompoundAssignment, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethodInvocation, visitModifiers, visitOther, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitVariable, visitWhileLoop, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

AliasingTreeAnnotator

public AliasingTreeAnnotator(AliasingAnnotatedTypeFactory atypeFactory)

Method Detail

visitNewClass

public Void visitNewClass(NewClassTree node,
                          AnnotatedTypeMirror p)

Specified by:

visitNewClass in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitNewClass in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>

visitNewArray

public Void visitNewArray(NewArrayTree node,
                          AnnotatedTypeMirror type)

Specified by:

visitNewArray in interface TreeVisitor<Void,AnnotatedTypeMirror>

Overrides:

visitNewArray in class SimpleTreeVisitor<Void,AnnotatedTypeMirror>