Package org.checkerframework.framework.util.visualize

Class AbstractTypeInformationPresenter.TypeInformationReporter

java.lang.Object

com.sun.source.util.TreeScanner<Void,Void>

com.sun.source.util.TreePathScanner<Void,Void>

org.checkerframework.framework.util.visualize.AbstractTypeInformationPresenter.TypeInformationReporter

All Implemented Interfaces:

TreeVisitor<Void,Void>

Direct Known Subclasses:

LspTypeInformationPresenter.LspTypeInformationReporter

Enclosing class:

AbstractTypeInformationPresenter

protected abstract class AbstractTypeInformationPresenter.TypeInformationReporter
extends TreePathScanner<Void,Void>

A visitor which traverses a class tree and reports type information of various sub-trees.

Note: Since nested class trees will be type-checked separately, this visitor does not dive into any nested class trees.

Field Summary

Fields

Modifier and Type	Field	Description
protected final BaseTypeChecker	checker	The checker that's currently running.
protected final ClassTree	classTree	The class tree in which it traverses and reports type information.
protected final CompilationUnitTree	currentRoot	Root of the current class tree.

Constructor Summary

Constructors

Constructor	Description
TypeInformationReporter(ClassTree classTree)	Constructs a new reporter for the given class tree.

Method Summary

Modifier and Type	Method	Description
protected abstract void	reportTreeType(Tree tree, AnnotatedTypeMirror type, TypeOccurrenceKind occurrenceKind)	Report the type of tree in a particular occurrenceKind.
Void	visitAssignment(AssignmentTree tree, Void unused)
Void	visitBinary(BinaryTree tree, Void unused)
Void	visitClass(ClassTree tree, Void unused)
Void	visitCompoundAssignment(CompoundAssignmentTree tree, Void unused)
Void	visitIdentifier(IdentifierTree tree, Void unused)
Void	visitLiteral(LiteralTree tree, Void unused)
Void	visitMemberReference(MemberReferenceTree tree, Void unused)
Void	visitMemberSelect(MemberSelectTree tree, Void unused)
Void	visitMethod(MethodTree tree, Void unused)
Void	visitMethodInvocation(MethodInvocationTree tree, Void unused)
Void	visitReturn(ReturnTree tree, Void unused)
Void	visitTypeParameter(TypeParameterTree tree, Void unused)
Void	visitUnary(UnaryTree tree, Void unused)
Void	visitVariable(VariableTree tree, Void unused)

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

getCurrentPath, scan, scan

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

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

Methods inherited from class java.lang.Object

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

Field Details

classTree

protected final ClassTree classTree

The class tree in which it traverses and reports type information.

currentRoot

protected final CompilationUnitTree currentRoot

Root of the current class tree. This is a helper for computing positions of a sub-tree.

checker

protected final BaseTypeChecker checker

The checker that's currently running.

Constructor Details

TypeInformationReporter

public TypeInformationReporter(ClassTree classTree)

Constructs a new reporter for the given class tree.

Parameters:

classTree - the ClassTree

Method Details

reportTreeType

protected abstract void reportTreeType(Tree tree,
 AnnotatedTypeMirror type,
 TypeOccurrenceKind occurrenceKind)

Report the type of tree in a particular occurrenceKind.

Parameters:

tree - the tree

type - the type

occurrenceKind - the occurrence kind

visitClass

public Void visitClass(ClassTree tree,
 Void unused)

Specified by:

visitClass in interface TreeVisitor<Void,Void>

Overrides:

visitClass in class TreeScanner<Void,Void>

visitTypeParameter

public Void visitTypeParameter(TypeParameterTree tree,
 Void unused)

Specified by:

visitTypeParameter in interface TreeVisitor<Void,Void>

Overrides:

visitTypeParameter in class TreeScanner<Void,Void>

visitVariable

public Void visitVariable(VariableTree tree,
 Void unused)

Specified by:

visitVariable in interface TreeVisitor<Void,Void>

Overrides:

visitVariable in class TreeScanner<Void,Void>

visitMethod

public Void visitMethod(MethodTree tree,
 Void unused)

Specified by:

visitMethod in interface TreeVisitor<Void,Void>

Overrides:

visitMethod in class TreeScanner<Void,Void>

visitMethodInvocation

public Void visitMethodInvocation(MethodInvocationTree tree,
 Void unused)

Specified by:

visitMethodInvocation in interface TreeVisitor<Void,Void>

Overrides:

visitMethodInvocation in class TreeScanner<Void,Void>

visitAssignment

public Void visitAssignment(AssignmentTree tree,
 Void unused)

Specified by:

visitAssignment in interface TreeVisitor<Void,Void>

Overrides:

visitAssignment in class TreeScanner<Void,Void>

visitCompoundAssignment

public Void visitCompoundAssignment(CompoundAssignmentTree tree,
 Void unused)

Specified by:

visitCompoundAssignment in interface TreeVisitor<Void,Void>

Overrides:

visitCompoundAssignment in class TreeScanner<Void,Void>

visitUnary

public Void visitUnary(UnaryTree tree,
 Void unused)

Specified by:

visitUnary in interface TreeVisitor<Void,Void>

Overrides:

visitUnary in class TreeScanner<Void,Void>

visitBinary

public Void visitBinary(BinaryTree tree,
 Void unused)

Specified by:

visitBinary in interface TreeVisitor<Void,Void>

Overrides:

visitBinary in class TreeScanner<Void,Void>

visitMemberSelect

public Void visitMemberSelect(MemberSelectTree tree,
 Void unused)

Specified by:

visitMemberSelect in interface TreeVisitor<Void,Void>

Overrides:

visitMemberSelect in class TreeScanner<Void,Void>

visitMemberReference

public Void visitMemberReference(MemberReferenceTree tree,
 Void unused)

Specified by:

visitMemberReference in interface TreeVisitor<Void,Void>

Overrides:

visitMemberReference in class TreeScanner<Void,Void>

visitIdentifier

public Void visitIdentifier(IdentifierTree tree,
 Void unused)

Specified by:

visitIdentifier in interface TreeVisitor<Void,Void>

Overrides:

visitIdentifier in class TreeScanner<Void,Void>

visitLiteral

public Void visitLiteral(LiteralTree tree,
 Void unused)

Specified by:

visitLiteral in interface TreeVisitor<Void,Void>

Overrides:

visitLiteral in class TreeScanner<Void,Void>

visitReturn

public Void visitReturn(ReturnTree tree,
 Void unused)

Specified by:

visitReturn in interface TreeVisitor<Void,Void>

Overrides:

visitReturn in class TreeScanner<Void,Void>