org.checkerframework.dataflow.util

Class PurityChecker.PurityCheckerHelper

java.lang.Object

com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Enclosing class:

PurityChecker

protected static class PurityChecker.PurityCheckerHelper
extends com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Helper class to keep PurityChecker's interface clean. The implementation is heavily based on TreeScanner, but some parts of the AST are skipped (such as types or modifiers). Furthermore, scanning works differently in that the input parameter (usually named p) gets "threaded through", instead of using reduce.

Field Summary

Fields

Modifier and Type	Field and Description
protected AnnotationProvider	annoProvider
protected @Nullable java.util.List<javax.lang.model.element.Element>	methodParameter

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

DEFAULT_VALUE

Constructor Summary

Constructors

Constructor and Description
PurityCheckerHelper(AnnotationProvider annoProvider, boolean assumeSideEffectFree)

Method Summary

Modifier and Type	Method and Description
protected PurityChecker.PurityResult	assignmentCheck(PurityChecker.PurityResult p, com.sun.source.tree.ExpressionTree variable)
protected PurityChecker.PurityResult	defaultAction(com.sun.source.tree.Tree node, PurityChecker.PurityResult p)
protected boolean	isLocalVariable(com.sun.source.tree.ExpressionTree variable)
PurityChecker.PurityResult	scan(java.lang.Iterable<? extends com.sun.source.tree.Tree> nodes, PurityChecker.PurityResult p) Scan a list of nodes.
PurityChecker.PurityResult	scan(com.sun.source.tree.Tree node, PurityChecker.PurityResult p) Scan a single node.
PurityChecker.PurityResult	visitArrayAccess(com.sun.source.tree.ArrayAccessTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitAssert(com.sun.source.tree.AssertTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitAssignment(com.sun.source.tree.AssignmentTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitBinary(com.sun.source.tree.BinaryTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitBlock(com.sun.source.tree.BlockTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitBreak(com.sun.source.tree.BreakTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitCase(com.sun.source.tree.CaseTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitCatch(com.sun.source.tree.CatchTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitClass(com.sun.source.tree.ClassTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitCompoundAssignment(com.sun.source.tree.CompoundAssignmentTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitConditionalExpression(com.sun.source.tree.ConditionalExpressionTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitContinue(com.sun.source.tree.ContinueTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitDoWhileLoop(com.sun.source.tree.DoWhileLoopTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitEmptyStatement(com.sun.source.tree.EmptyStatementTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitEnhancedForLoop(com.sun.source.tree.EnhancedForLoopTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitExpressionStatement(com.sun.source.tree.ExpressionStatementTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitForLoop(com.sun.source.tree.ForLoopTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitIdentifier(com.sun.source.tree.IdentifierTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitIf(com.sun.source.tree.IfTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitInstanceOf(com.sun.source.tree.InstanceOfTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitLabeledStatement(com.sun.source.tree.LabeledStatementTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitLambdaExpression(com.sun.source.tree.LambdaExpressionTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitLiteral(com.sun.source.tree.LiteralTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitMemberReference(com.sun.source.tree.MemberReferenceTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitMemberSelect(com.sun.source.tree.MemberSelectTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitNewArray(com.sun.source.tree.NewArrayTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitNewClass(com.sun.source.tree.NewClassTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitParenthesized(com.sun.source.tree.ParenthesizedTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitReturn(com.sun.source.tree.ReturnTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitSwitch(com.sun.source.tree.SwitchTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitSynchronized(com.sun.source.tree.SynchronizedTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitThrow(com.sun.source.tree.ThrowTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitTry(com.sun.source.tree.TryTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitTypeCast(com.sun.source.tree.TypeCastTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitUnary(com.sun.source.tree.UnaryTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitVariable(com.sun.source.tree.VariableTree node, PurityChecker.PurityResult p)
PurityChecker.PurityResult	visitWhileLoop(com.sun.source.tree.WhileLoopTree node, PurityChecker.PurityResult p)

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

visit, visit, visitAnnotatedType, visitAnnotation, visitArrayType, visitCompilationUnit, visitErroneous, visitImport, visitIntersectionType, visitMethod, visitModifiers, visitOther, visitParameterizedType, visitPrimitiveType, visitTypeParameter, visitUnionType, visitWildcard

Methods inherited from class java.lang.Object

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

Field Detail

annoProvider

protected final AnnotationProvider annoProvider

methodParameter

protected @Nullable java.util.List<javax.lang.model.element.Element> methodParameter

Constructor Detail

PurityCheckerHelper

public PurityCheckerHelper(AnnotationProvider annoProvider,
                           boolean assumeSideEffectFree)

Method Detail

scan

public PurityChecker.PurityResult scan(com.sun.source.tree.Tree node,
                                       PurityChecker.PurityResult p)

Scan a single node.

scan

public PurityChecker.PurityResult scan(java.lang.Iterable<? extends com.sun.source.tree.Tree> nodes,
                                       PurityChecker.PurityResult p)

Scan a list of nodes.

defaultAction

protected PurityChecker.PurityResult defaultAction(com.sun.source.tree.Tree node,
                                                   PurityChecker.PurityResult p)

Overrides:

defaultAction in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitClass

public PurityChecker.PurityResult visitClass(com.sun.source.tree.ClassTree node,
                                             PurityChecker.PurityResult p)

Specified by:

visitClass in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitClass in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitVariable

public PurityChecker.PurityResult visitVariable(com.sun.source.tree.VariableTree node,
                                                PurityChecker.PurityResult p)

Specified by:

visitVariable in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitVariable in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitEmptyStatement

public PurityChecker.PurityResult visitEmptyStatement(com.sun.source.tree.EmptyStatementTree node,
                                                      PurityChecker.PurityResult p)

Specified by:

visitEmptyStatement in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitEmptyStatement in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitBlock

public PurityChecker.PurityResult visitBlock(com.sun.source.tree.BlockTree node,
                                             PurityChecker.PurityResult p)

Specified by:

visitBlock in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitBlock in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitDoWhileLoop

public PurityChecker.PurityResult visitDoWhileLoop(com.sun.source.tree.DoWhileLoopTree node,
                                                   PurityChecker.PurityResult p)

Specified by:

visitDoWhileLoop in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitDoWhileLoop in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitWhileLoop

public PurityChecker.PurityResult visitWhileLoop(com.sun.source.tree.WhileLoopTree node,
                                                 PurityChecker.PurityResult p)

Specified by:

visitWhileLoop in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitWhileLoop in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitForLoop

public PurityChecker.PurityResult visitForLoop(com.sun.source.tree.ForLoopTree node,
                                               PurityChecker.PurityResult p)

Specified by:

visitForLoop in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitForLoop in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitEnhancedForLoop

public PurityChecker.PurityResult visitEnhancedForLoop(com.sun.source.tree.EnhancedForLoopTree node,
                                                       PurityChecker.PurityResult p)

Specified by:

visitEnhancedForLoop in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitEnhancedForLoop in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitLabeledStatement

public PurityChecker.PurityResult visitLabeledStatement(com.sun.source.tree.LabeledStatementTree node,
                                                        PurityChecker.PurityResult p)

Specified by:

visitLabeledStatement in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitLabeledStatement in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitSwitch

public PurityChecker.PurityResult visitSwitch(com.sun.source.tree.SwitchTree node,
                                              PurityChecker.PurityResult p)

Specified by:

visitSwitch in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitSwitch in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitCase

public PurityChecker.PurityResult visitCase(com.sun.source.tree.CaseTree node,
                                            PurityChecker.PurityResult p)

Specified by:

visitCase in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitCase in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitSynchronized

public PurityChecker.PurityResult visitSynchronized(com.sun.source.tree.SynchronizedTree node,
                                                    PurityChecker.PurityResult p)

Specified by:

visitSynchronized in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitSynchronized in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitTry

public PurityChecker.PurityResult visitTry(com.sun.source.tree.TryTree node,
                                           PurityChecker.PurityResult p)

Specified by:

visitTry in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitTry in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitCatch

public PurityChecker.PurityResult visitCatch(com.sun.source.tree.CatchTree node,
                                             PurityChecker.PurityResult p)

Specified by:

visitCatch in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitCatch in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitConditionalExpression

public PurityChecker.PurityResult visitConditionalExpression(com.sun.source.tree.ConditionalExpressionTree node,
                                                             PurityChecker.PurityResult p)

Specified by:

visitConditionalExpression in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitConditionalExpression in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitIf

public PurityChecker.PurityResult visitIf(com.sun.source.tree.IfTree node,
                                          PurityChecker.PurityResult p)

Specified by:

visitIf in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitIf in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitExpressionStatement

public PurityChecker.PurityResult visitExpressionStatement(com.sun.source.tree.ExpressionStatementTree node,
                                                           PurityChecker.PurityResult p)

Specified by:

visitExpressionStatement in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitExpressionStatement in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitBreak

public PurityChecker.PurityResult visitBreak(com.sun.source.tree.BreakTree node,
                                             PurityChecker.PurityResult p)

Specified by:

visitBreak in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitBreak in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitContinue

public PurityChecker.PurityResult visitContinue(com.sun.source.tree.ContinueTree node,
                                                PurityChecker.PurityResult p)

Specified by:

visitContinue in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitContinue in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitReturn

public PurityChecker.PurityResult visitReturn(com.sun.source.tree.ReturnTree node,
                                              PurityChecker.PurityResult p)

Specified by:

visitReturn in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitReturn in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitThrow

public PurityChecker.PurityResult visitThrow(com.sun.source.tree.ThrowTree node,
                                             PurityChecker.PurityResult p)

Specified by:

visitThrow in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitThrow in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitAssert

public PurityChecker.PurityResult visitAssert(com.sun.source.tree.AssertTree node,
                                              PurityChecker.PurityResult p)

Specified by:

visitAssert in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitAssert in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitMethodInvocation

public PurityChecker.PurityResult visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node,
                                                        PurityChecker.PurityResult p)

Specified by:

visitMethodInvocation in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitMethodInvocation in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitNewClass

public PurityChecker.PurityResult visitNewClass(com.sun.source.tree.NewClassTree node,
                                                PurityChecker.PurityResult p)

Specified by:

visitNewClass in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitNewClass in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitNewArray

public PurityChecker.PurityResult visitNewArray(com.sun.source.tree.NewArrayTree node,
                                                PurityChecker.PurityResult p)

Specified by:

visitNewArray in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitNewArray in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitLambdaExpression

public PurityChecker.PurityResult visitLambdaExpression(com.sun.source.tree.LambdaExpressionTree node,
                                                        PurityChecker.PurityResult p)

Specified by:

visitLambdaExpression in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitLambdaExpression in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitParenthesized

public PurityChecker.PurityResult visitParenthesized(com.sun.source.tree.ParenthesizedTree node,
                                                     PurityChecker.PurityResult p)

Specified by:

visitParenthesized in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitParenthesized in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitAssignment

public PurityChecker.PurityResult visitAssignment(com.sun.source.tree.AssignmentTree node,
                                                  PurityChecker.PurityResult p)

Specified by:

visitAssignment in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitAssignment in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

assignmentCheck

protected PurityChecker.PurityResult assignmentCheck(PurityChecker.PurityResult p,
                                                     com.sun.source.tree.ExpressionTree variable)

isLocalVariable

protected boolean isLocalVariable(com.sun.source.tree.ExpressionTree variable)

visitCompoundAssignment

public PurityChecker.PurityResult visitCompoundAssignment(com.sun.source.tree.CompoundAssignmentTree node,
                                                          PurityChecker.PurityResult p)

Specified by:

visitCompoundAssignment in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitCompoundAssignment in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitUnary

public PurityChecker.PurityResult visitUnary(com.sun.source.tree.UnaryTree node,
                                             PurityChecker.PurityResult p)

Specified by:

visitUnary in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitUnary in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitBinary

public PurityChecker.PurityResult visitBinary(com.sun.source.tree.BinaryTree node,
                                              PurityChecker.PurityResult p)

Specified by:

visitBinary in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitBinary in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitTypeCast

public PurityChecker.PurityResult visitTypeCast(com.sun.source.tree.TypeCastTree node,
                                                PurityChecker.PurityResult p)

Specified by:

visitTypeCast in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitTypeCast in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitInstanceOf

public PurityChecker.PurityResult visitInstanceOf(com.sun.source.tree.InstanceOfTree node,
                                                  PurityChecker.PurityResult p)

Specified by:

visitInstanceOf in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitInstanceOf in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitArrayAccess

public PurityChecker.PurityResult visitArrayAccess(com.sun.source.tree.ArrayAccessTree node,
                                                   PurityChecker.PurityResult p)

Specified by:

visitArrayAccess in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitArrayAccess in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitMemberSelect

public PurityChecker.PurityResult visitMemberSelect(com.sun.source.tree.MemberSelectTree node,
                                                    PurityChecker.PurityResult p)

Specified by:

visitMemberSelect in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitMemberSelect in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitMemberReference

public PurityChecker.PurityResult visitMemberReference(com.sun.source.tree.MemberReferenceTree node,
                                                       PurityChecker.PurityResult p)

Specified by:

visitMemberReference in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitMemberReference in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitIdentifier

public PurityChecker.PurityResult visitIdentifier(com.sun.source.tree.IdentifierTree node,
                                                  PurityChecker.PurityResult p)

Specified by:

visitIdentifier in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitIdentifier in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

visitLiteral

public PurityChecker.PurityResult visitLiteral(com.sun.source.tree.LiteralTree node,
                                               PurityChecker.PurityResult p)

Specified by:

visitLiteral in interface com.sun.source.tree.TreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>

Overrides:

visitLiteral in class com.sun.source.util.SimpleTreeVisitor<PurityChecker.PurityResult,PurityChecker.PurityResult>