java.lang.Object
- com.tonic.analysis.source.visitor.AbstractSourceVisitor<T>

Type Parameters:

T - the return type of visit methods

All Implemented Interfaces:

SourceVisitor<T>

Direct Known Subclasses:

SideEffectDetector
```
public abstract class AbstractSourceVisitor<T>
extends Object
implements SourceVisitor<T>
```
Base SourceVisitor whose visit methods walk the whole tree and return defaultValue().

Constructor Summary

Constructors
Constructor Description

AbstractSourceVisitor()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`T`	`visitArrayAccess(ArrayAccessExpr expr)`	Visits an array element access.
`T`	`visitArrayInit(ArrayInitExpr expr)`	Visits a braced array initializer.
`T`	`visitArrayType(ArraySourceType type)`	Visits an array type.
`T`	`visitBinary(BinaryExpr expr)`	Visits a binary operation.
`T`	`visitBlock(BlockStmt stmt)`	Visits a braced block.
`T`	`visitBreak(BreakStmt stmt)`	Visits a break statement.
`T`	`visitCast(CastExpr expr)`	Visits a cast.
`T`	`visitClass(ClassExpr expr)`	Visits a class literal.
`T`	`visitContinue(ContinueStmt stmt)`	Visits a continue statement.
`T`	`visitDoWhile(DoWhileStmt stmt)`	Visits a do-while loop.
`T`	`visitDynamicConstant(DynamicConstantExpr expr)`	Visits a dynamically computed constant.
`T`	`visitExprStmt(ExprStmt stmt)`	Visits an expression used as a statement.
`T`	`visitFieldAccess(FieldAccessExpr expr)`	Visits a field access.
`T`	`visitFor(ForStmt stmt)`	Visits a counted for loop.
`T`	`visitForEach(ForEachStmt stmt)`	Visits an enhanced for loop.
`T`	`visitIf(IfStmt stmt)`	Visits an if statement.
`T`	`visitInstanceOf(InstanceOfExpr expr)`	Visits an `instanceof` test.
`T`	`visitInvokeDynamic(InvokeDynamicExpr expr)`	Visits an invokedynamic call site.
`T`	`visitIRRegion(IRRegionStmt stmt)`	Visits a region of control flow that stayed in IR form because it could not be structured.
`T`	`visitLabeled(LabeledStmt stmt)`	Visits a labeled statement.
`T`	`visitLambda(LambdaExpr expr)`	Visits a lambda expression.
`T`	`visitLiteral(LiteralExpr expr)`	Visits a literal.
`T`	`visitMethodCall(MethodCallExpr expr)`	Visits a method call.
`T`	`visitMethodRef(MethodRefExpr expr)`	Visits a method reference.
`T`	`visitNew(NewExpr expr)`	Visits an object allocation.
`T`	`visitNewArray(NewArrayExpr expr)`	Visits an array allocation.
`T`	`visitPrimitiveType(PrimitiveSourceType type)`	Visits a primitive type.
`T`	`visitReferenceType(ReferenceSourceType type)`	Visits a class or interface type.
`T`	`visitReturn(ReturnStmt stmt)`	Visits a return statement.
`T`	`visitSuper(SuperExpr expr)`	Visits a `super` reference.
`T`	`visitSwitch(SwitchStmt stmt)`	Visits a switch statement.
`T`	`visitSynchronized(SynchronizedStmt stmt)`	Visits a synchronized block.
`T`	`visitTernary(TernaryExpr expr)`	Visits a ternary conditional.
`T`	`visitThis(ThisExpr expr)`	Visits a `this` reference.
`T`	`visitThrow(ThrowStmt stmt)`	Visits a throw statement.
`T`	`visitTryCatch(TryCatchStmt stmt)`	Visits a try statement, with its catch clauses and finally block.
`T`	`visitUnary(UnaryExpr expr)`	Visits a unary operation.
`T`	`visitVarDecl(VarDeclStmt stmt)`	Visits a local variable declaration.
`T`	`visitVarRef(VarRefExpr expr)`	Visits a variable reference.
`T`	`visitVoidType(VoidSourceType type)`	Visits the void type.
`T`	`visitWhile(WhileStmt stmt)`	Visits a while loop.

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

- Constructor Detail
  - AbstractSourceVisitor
```
public AbstractSourceVisitor()
```
- Method Detail
  - visitBlock
```
public T visitBlock(BlockStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a braced block.
    
    Specified by:
    
    visitBlock in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitIf
```
public T visitIf(IfStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits an if statement.
    
    Specified by:
    
    visitIf in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitWhile
```
public T visitWhile(WhileStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a while loop.
    
    Specified by:
    
    visitWhile in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitDoWhile
```
public T visitDoWhile(DoWhileStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a do-while loop.
    
    Specified by:
    
    visitDoWhile in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitFor
```
public T visitFor(ForStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a counted for loop.
    
    Specified by:
    
    visitFor in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitForEach
```
public T visitForEach(ForEachStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits an enhanced for loop.
    
    Specified by:
    
    visitForEach in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitSwitch
```
public T visitSwitch(SwitchStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a switch statement.
    
    Specified by:
    
    visitSwitch in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitTryCatch
```
public T visitTryCatch(TryCatchStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a try statement, with its catch clauses and finally block.
    
    Specified by:
    
    visitTryCatch in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitReturn
```
public T visitReturn(ReturnStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a return statement.
    
    Specified by:
    
    visitReturn in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitThrow
```
public T visitThrow(ThrowStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a throw statement.
    
    Specified by:
    
    visitThrow in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitVarDecl
```
public T visitVarDecl(VarDeclStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a local variable declaration.
    
    Specified by:
    
    visitVarDecl in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitExprStmt
```
public T visitExprStmt(ExprStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits an expression used as a statement.
    
    Specified by:
    
    visitExprStmt in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitSynchronized
```
public T visitSynchronized(SynchronizedStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a synchronized block.
    
    Specified by:
    
    visitSynchronized in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitLabeled
```
public T visitLabeled(LabeledStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a labeled statement.
    
    Specified by:
    
    visitLabeled in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitBreak
```
public T visitBreak(BreakStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a break statement.
    
    Specified by:
    
    visitBreak in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitContinue
```
public T visitContinue(ContinueStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a continue statement.
    
    Specified by:
    
    visitContinue in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitIRRegion
```
public T visitIRRegion(IRRegionStmt stmt)
```
    Description copied from interface: SourceVisitor
    
    Visits a region of control flow that stayed in IR form because it could not be structured.
    
    Specified by:
    
    visitIRRegion in interface SourceVisitor<T>
    
    Parameters:
    
    stmt - the statement node
    
    Returns:
    
    the visitor's result
  - visitLiteral
```
public T visitLiteral(LiteralExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a literal.
    
    Specified by:
    
    visitLiteral in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitVarRef
```
public T visitVarRef(VarRefExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a variable reference.
    
    Specified by:
    
    visitVarRef in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitFieldAccess
```
public T visitFieldAccess(FieldAccessExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a field access.
    
    Specified by:
    
    visitFieldAccess in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitArrayAccess
```
public T visitArrayAccess(ArrayAccessExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits an array element access.
    
    Specified by:
    
    visitArrayAccess in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitMethodCall
```
public T visitMethodCall(MethodCallExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a method call.
    
    Specified by:
    
    visitMethodCall in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitNew
```
public T visitNew(NewExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits an object allocation.
    
    Specified by:
    
    visitNew in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitNewArray
```
public T visitNewArray(NewArrayExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits an array allocation.
    
    Specified by:
    
    visitNewArray in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitArrayInit
```
public T visitArrayInit(ArrayInitExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a braced array initializer.
    
    Specified by:
    
    visitArrayInit in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitBinary
```
public T visitBinary(BinaryExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a binary operation.
    
    Specified by:
    
    visitBinary in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitUnary
```
public T visitUnary(UnaryExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a unary operation.
    
    Specified by:
    
    visitUnary in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitCast
```
public T visitCast(CastExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a cast.
    
    Specified by:
    
    visitCast in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitInstanceOf
```
public T visitInstanceOf(InstanceOfExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits an instanceof test.
    
    Specified by:
    
    visitInstanceOf in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitTernary
```
public T visitTernary(TernaryExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a ternary conditional.
    
    Specified by:
    
    visitTernary in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitLambda
```
public T visitLambda(LambdaExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a lambda expression.
    
    Specified by:
    
    visitLambda in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitMethodRef
```
public T visitMethodRef(MethodRefExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a method reference.
    
    Specified by:
    
    visitMethodRef in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitThis
```
public T visitThis(ThisExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a this reference.
    
    Specified by:
    
    visitThis in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitSuper
```
public T visitSuper(SuperExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a super reference.
    
    Specified by:
    
    visitSuper in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitClass
```
public T visitClass(ClassExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a class literal.
    
    Specified by:
    
    visitClass in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitDynamicConstant
```
public T visitDynamicConstant(DynamicConstantExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits a dynamically computed constant.
    
    Specified by:
    
    visitDynamicConstant in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitInvokeDynamic
```
public T visitInvokeDynamic(InvokeDynamicExpr expr)
```
    Description copied from interface: SourceVisitor
    
    Visits an invokedynamic call site.
    
    Specified by:
    
    visitInvokeDynamic in interface SourceVisitor<T>
    
    Parameters:
    
    expr - the expression node
    
    Returns:
    
    the visitor's result
  - visitPrimitiveType
```
public T visitPrimitiveType(PrimitiveSourceType type)
```
    Description copied from interface: SourceVisitor
    
    Visits a primitive type.
    
    Specified by:
    
    visitPrimitiveType in interface SourceVisitor<T>
    
    Parameters:
    
    type - the type node
    
    Returns:
    
    the visitor's result
  - visitReferenceType
```
public T visitReferenceType(ReferenceSourceType type)
```
    Description copied from interface: SourceVisitor
    
    Visits a class or interface type.
    
    Specified by:
    
    visitReferenceType in interface SourceVisitor<T>
    
    Parameters:
    
    type - the type node
    
    Returns:
    
    the visitor's result
  - visitArrayType
```
public T visitArrayType(ArraySourceType type)
```
    Description copied from interface: SourceVisitor
    
    Visits an array type.
    
    Specified by:
    
    visitArrayType in interface SourceVisitor<T>
    
    Parameters:
    
    type - the type node
    
    Returns:
    
    the visitor's result
  - visitVoidType
```
public T visitVoidType(VoidSourceType type)
```
    Description copied from interface: SourceVisitor
    
    Visits the void type.
    
    Specified by:
    
    visitVoidType in interface SourceVisitor<T>
    
    Parameters:
    
    type - the type node
    
    Returns:
    
    the visitor's result

Class AbstractSourceVisitor<T>

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractSourceVisitor

Method Detail

visitBlock

visitIf

visitWhile

visitDoWhile

visitFor

visitForEach

visitSwitch

visitTryCatch

visitReturn

visitThrow

visitVarDecl

visitExprStmt

visitSynchronized

visitLabeled

visitBreak

visitContinue

visitIRRegion

visitLiteral

visitVarRef

visitFieldAccess

visitArrayAccess

visitMethodCall

visitNew

visitNewArray

visitArrayInit

visitBinary

visitUnary

visitCast

visitInstanceOf

visitTernary

visitLambda

visitMethodRef

visitThis

visitSuper

visitClass

visitDynamicConstant

visitInvokeDynamic

visitPrimitiveType

visitReferenceType

visitArrayType

visitVoidType