org.checkerframework.dataflow.util

Class PurityChecker.PurityCheckerHelper

java.lang.Object

com.sun.source.util.TreeScanner<R,P>

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

org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper

All Implemented Interfaces:

com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Enclosing class:

PurityChecker

protected static class PurityChecker.PurityCheckerHelper
extends com.sun.source.util.TreePathScanner<java.lang.Void,java.lang.Void>

Helper class to keep PurityChecker's interface clean.

Field Summary

Fields

Modifier and Type	Field and Description
protected AnnotationProvider	annoProvider

Constructor Summary

Constructors

Constructor and Description
PurityCheckerHelper(AnnotationProvider annoProvider, boolean assumeSideEffectFree)

Method Summary

Modifier and Type	Method and Description
protected void	assignmentCheck(com.sun.source.tree.ExpressionTree variable)
protected boolean	isLocalVariable(com.sun.source.tree.ExpressionTree variable)
java.lang.Void	visitAssignment(com.sun.source.tree.AssignmentTree node, java.lang.Void ignore)
java.lang.Void	visitCatch(com.sun.source.tree.CatchTree node, java.lang.Void ignore)
java.lang.Void	visitCompoundAssignment(com.sun.source.tree.CompoundAssignmentTree node, java.lang.Void ignore)
java.lang.Void	visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node, java.lang.Void ignore)
java.lang.Void	visitNewClass(com.sun.source.tree.NewClassTree node, java.lang.Void ignore)

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, visitArrayAccess, visitArrayType, visitAssert, visitBinary, visitBlock, visitBreak, visitCase, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinue, visitDoWhileLoop, visitEmptyStatement, visitEnhancedForLoop, visitErroneous, visitExports, visitExpressionStatement, visitForLoop, visitIdentifier, visitIf, visitImport, visitInstanceOf, visitIntersectionType, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberReference, visitMemberSelect, visitMethod, visitModifiers, visitModule, visitNewArray, visitOpens, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitProvides, visitRequires, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTry, visitTypeCast, visitTypeParameter, visitUnary, visitUnionType, visitUses, visitVariable, visitWhileLoop, 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

Constructor Detail

PurityCheckerHelper

public PurityCheckerHelper(AnnotationProvider annoProvider,
                           boolean assumeSideEffectFree)

Method Detail

visitCatch

public java.lang.Void visitCatch(com.sun.source.tree.CatchTree node,
                                 java.lang.Void ignore)

Specified by:

visitCatch in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitCatch in class com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>

visitMethodInvocation

public java.lang.Void visitMethodInvocation(com.sun.source.tree.MethodInvocationTree node,
                                            java.lang.Void ignore)

Specified by:

visitMethodInvocation in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitMethodInvocation in class com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>

visitNewClass

public java.lang.Void visitNewClass(com.sun.source.tree.NewClassTree node,
                                    java.lang.Void ignore)

Specified by:

visitNewClass in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitNewClass in class com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>

visitAssignment

public java.lang.Void visitAssignment(com.sun.source.tree.AssignmentTree node,
                                      java.lang.Void ignore)

Specified by:

visitAssignment in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitAssignment in class com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>

assignmentCheck

protected void assignmentCheck(com.sun.source.tree.ExpressionTree variable)

isLocalVariable

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

visitCompoundAssignment

public java.lang.Void visitCompoundAssignment(com.sun.source.tree.CompoundAssignmentTree node,
                                              java.lang.Void ignore)

Specified by:

visitCompoundAssignment in interface com.sun.source.tree.TreeVisitor<java.lang.Void,java.lang.Void>

Overrides:

visitCompoundAssignment in class com.sun.source.util.TreeScanner<java.lang.Void,java.lang.Void>