Package com.tonic.analysis.source.ast.transform

Class SideEffectDetector

java.lang.Object

com.tonic.analysis.source.visitor.AbstractSourceVisitor<Boolean>

com.tonic.analysis.source.ast.transform.SideEffectDetector

All Implemented Interfaces:

SourceVisitor<Boolean>

public class SideEffectDetector
extends AbstractSourceVisitor<Boolean>

Determines whether an expression (or any sub-expression) has side effects.

Field Summary

Fields

Modifier and Type	Field	Description
static SideEffectDetector	INSTANCE

Method Summary

Modifier and Type	Method	Description
Boolean	visitArrayAccess(ArrayAccessExpr expr)	Visits an array element access.
Boolean	visitArrayInit(ArrayInitExpr expr)	Visits a braced array initializer.
Boolean	visitBinary(BinaryExpr expr)	Visits a binary operation.
Boolean	visitCast(CastExpr expr)	Visits a cast.
Boolean	visitClass(ClassExpr expr)	Visits a class literal.
Boolean	visitFieldAccess(FieldAccessExpr expr)	Visits a field access.
Boolean	visitInstanceOf(InstanceOfExpr expr)	Visits an instanceof test.
Boolean	visitLambda(LambdaExpr expr)	Visits a lambda expression.
Boolean	visitLiteral(LiteralExpr expr)	Visits a literal.
Boolean	visitMethodCall(MethodCallExpr expr)	Visits a method call.
Boolean	visitMethodRef(MethodRefExpr expr)	Visits a method reference.
Boolean	visitNew(NewExpr expr)	Visits an object allocation.
Boolean	visitNewArray(NewArrayExpr expr)	Visits an array allocation.
Boolean	visitSuper(SuperExpr expr)	Visits a super reference.
Boolean	visitTernary(TernaryExpr expr)	Visits a ternary conditional.
Boolean	visitThis(ThisExpr expr)	Visits a this reference.
Boolean	visitUnary(UnaryExpr expr)	Visits a unary operation.
Boolean	visitVarRef(VarRefExpr expr)	Visits a variable reference.

Methods inherited from class com.tonic.analysis.source.visitor.AbstractSourceVisitor

visitArrayType, visitBlock, visitBreak, visitContinue, visitDoWhile, visitDynamicConstant, visitExprStmt, visitFor, visitForEach, visitIf, visitInvokeDynamic, visitIRRegion, visitLabeled, visitPrimitiveType, visitReferenceType, visitReturn, visitSwitch, visitSynchronized, visitThrow, visitTryCatch, visitVarDecl, visitVoidType, visitWhile

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.tonic.analysis.source.visitor.SourceVisitor

visitAnnotationExpr, visitClassDecl, visitCompilationUnit, visitConstructorDecl, visitEnumConstantDecl, visitEnumDecl, visitFieldDecl, visitImportDecl, visitInterfaceDecl, visitMethodDecl, visitParameterDecl, visitSwitchExpr

Field Detail

INSTANCE

public static final SideEffectDetector INSTANCE

Method Detail

visitLiteral

public Boolean visitLiteral(LiteralExpr expr)

Description copied from interface: SourceVisitor

Visits a literal.

Specified by:

visitLiteral in interface SourceVisitor<Boolean>

Overrides:

visitLiteral in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitVarRef

public Boolean visitVarRef(VarRefExpr expr)

Description copied from interface: SourceVisitor

Visits a variable reference.

Specified by:

visitVarRef in interface SourceVisitor<Boolean>

Overrides:

visitVarRef in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitThis

public Boolean visitThis(ThisExpr expr)

Description copied from interface: SourceVisitor

Visits a this reference.

Specified by:

visitThis in interface SourceVisitor<Boolean>

Overrides:

visitThis in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitSuper

public Boolean visitSuper(SuperExpr expr)

Description copied from interface: SourceVisitor

Visits a super reference.

Specified by:

visitSuper in interface SourceVisitor<Boolean>

Overrides:

visitSuper in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitClass

public Boolean visitClass(ClassExpr expr)

Description copied from interface: SourceVisitor

Visits a class literal.

Specified by:

visitClass in interface SourceVisitor<Boolean>

Overrides:

visitClass in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitLambda

public Boolean visitLambda(LambdaExpr expr)

Description copied from interface: SourceVisitor

Visits a lambda expression.

Specified by:

visitLambda in interface SourceVisitor<Boolean>

Overrides:

visitLambda in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitMethodRef

public Boolean visitMethodRef(MethodRefExpr expr)

Description copied from interface: SourceVisitor

Visits a method reference.

Specified by:

visitMethodRef in interface SourceVisitor<Boolean>

Overrides:

visitMethodRef in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitBinary

public Boolean visitBinary(BinaryExpr expr)

Description copied from interface: SourceVisitor

Visits a binary operation.

Specified by:

visitBinary in interface SourceVisitor<Boolean>

Overrides:

visitBinary in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitUnary

public Boolean visitUnary(UnaryExpr expr)

Description copied from interface: SourceVisitor

Visits a unary operation.

Specified by:

visitUnary in interface SourceVisitor<Boolean>

Overrides:

visitUnary in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitTernary

public Boolean visitTernary(TernaryExpr expr)

Description copied from interface: SourceVisitor

Visits a ternary conditional.

Specified by:

visitTernary in interface SourceVisitor<Boolean>

Overrides:

visitTernary in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitCast

public Boolean visitCast(CastExpr expr)

Description copied from interface: SourceVisitor

Visits a cast.

Specified by:

visitCast in interface SourceVisitor<Boolean>

Overrides:

visitCast in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitInstanceOf

public Boolean visitInstanceOf(InstanceOfExpr expr)

Description copied from interface: SourceVisitor

Visits an instanceof test.

Specified by:

visitInstanceOf in interface SourceVisitor<Boolean>

Overrides:

visitInstanceOf in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitMethodCall

public Boolean visitMethodCall(MethodCallExpr expr)

Description copied from interface: SourceVisitor

Visits a method call.

Specified by:

visitMethodCall in interface SourceVisitor<Boolean>

Overrides:

visitMethodCall in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitNew

public Boolean visitNew(NewExpr expr)

Description copied from interface: SourceVisitor

Visits an object allocation.

Specified by:

visitNew in interface SourceVisitor<Boolean>

Overrides:

visitNew in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitNewArray

public Boolean visitNewArray(NewArrayExpr expr)

Description copied from interface: SourceVisitor

Visits an array allocation.

Specified by:

visitNewArray in interface SourceVisitor<Boolean>

Overrides:

visitNewArray in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitFieldAccess

public Boolean visitFieldAccess(FieldAccessExpr expr)

Description copied from interface: SourceVisitor

Visits a field access.

Specified by:

visitFieldAccess in interface SourceVisitor<Boolean>

Overrides:

visitFieldAccess in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitArrayAccess

public Boolean visitArrayAccess(ArrayAccessExpr expr)

Description copied from interface: SourceVisitor

Visits an array element access.

Specified by:

visitArrayAccess in interface SourceVisitor<Boolean>

Overrides:

visitArrayAccess in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result

visitArrayInit

public Boolean visitArrayInit(ArrayInitExpr expr)

Description copied from interface: SourceVisitor

Visits a braced array initializer.

Specified by:

visitArrayInit in interface SourceVisitor<Boolean>

Overrides:

visitArrayInit in class AbstractSourceVisitor<Boolean>

Parameters:

expr - the expression node

Returns:

the visitor's result