org.checkerframework.dataflow.util

Class PurityChecker.PurityCheckerHelper

java.lang.Object

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

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

org.checkerframework.dataflow.util.PurityChecker.PurityCheckerHelper

All Implemented Interfaces:

TreeVisitor<Void,Void>

Enclosing class:

PurityChecker

protected static class PurityChecker.PurityCheckerHelper
extends TreePathScanner<Void,Void>

Helper class to keep PurityChecker's interface clean.

Field Summary

Fields

Modifier and Type	Field and Description
protected AnnotationProvider	annoProvider The annotation provider (typically an AnnotatedTypeFactory).

Constructor Summary

Constructors

Constructor and Description
PurityCheckerHelper(AnnotationProvider annoProvider, boolean assumeSideEffectFree, boolean assumeDeterministic) Create a PurityCheckerHelper.

Method Summary

Modifier and Type	Method and Description
protected void	assignmentCheck(ExpressionTree variable) Check whether variable is permitted on the left-hand-side of an assignment.
protected boolean	isLocalVariable(ExpressionTree variable) Checks if the argument is a local variable.
Void	visitAssignment(AssignmentTree node, Void ignore)
Void	visitCatch(CatchTree node, Void ignore)
Void	visitCompoundAssignment(CompoundAssignmentTree node, Void ignore)
Void	visitMethodInvocation(MethodInvocationTree node, Void ignore)
Void	visitNewClass(NewClassTree node, Void ignore)
Void	visitUnary(UnaryTree node, 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, 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

The annotation provider (typically an AnnotatedTypeFactory).

Constructor Detail

PurityCheckerHelper

public PurityCheckerHelper(AnnotationProvider annoProvider,
                           boolean assumeSideEffectFree,
                           boolean assumeDeterministic)

Create a PurityCheckerHelper.

Parameters:

annoProvider - the annotation provider

assumeSideEffectFree - true if all methods should be assumed to be @SideEffectFree

assumeDeterministic - true if all methods should be assumed to be @Deterministic

Method Detail

visitCatch

public Void visitCatch(CatchTree node,
                       Void ignore)

Specified by:

visitCatch in interface TreeVisitor<Void,Void>

Overrides:

visitCatch in class TreeScanner<Void,Void>

visitMethodInvocation

public Void visitMethodInvocation(MethodInvocationTree node,
                                  Void ignore)

Specified by:

visitMethodInvocation in interface TreeVisitor<Void,Void>

Overrides:

visitMethodInvocation in class TreeScanner<Void,Void>

visitNewClass

public Void visitNewClass(NewClassTree node,
                          Void ignore)

Specified by:

visitNewClass in interface TreeVisitor<Void,Void>

Overrides:

visitNewClass in class TreeScanner<Void,Void>

visitAssignment

public Void visitAssignment(AssignmentTree node,
                            Void ignore)

Specified by:

visitAssignment in interface TreeVisitor<Void,Void>

Overrides:

visitAssignment in class TreeScanner<Void,Void>

visitUnary

public Void visitUnary(UnaryTree node,
                       Void ignore)

Specified by:

visitUnary in interface TreeVisitor<Void,Void>

Overrides:

visitUnary in class TreeScanner<Void,Void>

assignmentCheck

protected void assignmentCheck(ExpressionTree variable)

Check whether variable is permitted on the left-hand-side of an assignment.

Parameters:

variable - the lhs to check

isLocalVariable

protected boolean isLocalVariable(ExpressionTree variable)

Checks if the argument is a local variable.

Parameters:

variable - the tree to check

Returns:

true if the argument is a local variable

visitCompoundAssignment

public Void visitCompoundAssignment(CompoundAssignmentTree node,
                                    Void ignore)

Specified by:

visitCompoundAssignment in interface TreeVisitor<Void,Void>

Overrides:

visitCompoundAssignment in class TreeScanner<Void,Void>