org.sonar.java.symexecengine

Class DataFlowVisitor

java.lang.Object

org.sonar.plugins.java.api.tree.BaseTreeVisitor

org.sonar.java.symexecengine.DataFlowVisitor

All Implemented Interfaces:

TreeVisitor

public class DataFlowVisitor
extends BaseTreeVisitor

Method Summary

Methods

Modifier and Type	Method and Description
static void	analyze(MethodTree method, SymbolicExecutionCheck check)
protected Symbol	getSymbol(ExpressionTree variable)
void	visitAssignmentExpression(AssignmentExpressionTree tree)
void	visitClass(ClassTree tree)
void	visitDoWhileStatement(DoWhileStatementTree tree)
void	visitForEachStatement(ForEachStatement tree)
void	visitForStatement(ForStatementTree tree)
void	visitIfStatement(IfStatementTree tree)
void	visitMethodInvocation(MethodInvocationTree tree)
void	visitNewClass(NewClassTree tree)
void	visitReturnStatement(ReturnStatementTree tree)
void	visitSwitchStatement(SwitchStatementTree tree)
void	visitTryStatement(TryStatementTree tree)
void	visitVariable(VariableTree tree)
void	visitWhileStatement(WhileStatementTree tree)

Methods inherited from class org.sonar.plugins.java.api.tree.BaseTreeVisitor

scan, scan, scan, visitAnnotation, visitArrayAccessExpression, visitArrayDimension, visitArrayType, visitAssertStatement, visitBinaryExpression, visitBlock, visitBreakStatement, visitCaseGroup, visitCaseLabel, visitCatch, visitCompilationUnit, visitConditionalExpression, visitContinueStatement, visitEmptyStatement, visitEnumConstant, visitExpressionStatement, visitIdentifier, visitImport, visitInstanceOf, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberSelectExpression, visitMethod, visitMethodReference, visitModifier, visitNewArray, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitSynchronizedStatement, visitThrowStatement, visitTypeArguments, visitTypeCast, visitTypeParameter, visitTypeParameters, visitUnaryExpression, visitUnionType, visitWildcard

Methods inherited from class java.lang.Object

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

Method Detail

analyze

public static void analyze(MethodTree method,
           SymbolicExecutionCheck check)

visitVariable

public void visitVariable(VariableTree tree)

Specified by:

visitVariable in interface TreeVisitor

Overrides:

visitVariable in class BaseTreeVisitor

visitAssignmentExpression

public void visitAssignmentExpression(AssignmentExpressionTree tree)

Specified by:

visitAssignmentExpression in interface TreeVisitor

Overrides:

visitAssignmentExpression in class BaseTreeVisitor

getSymbol

@CheckForNull
protected Symbol getSymbol(ExpressionTree variable)

visitNewClass

public void visitNewClass(NewClassTree tree)

Specified by:

visitNewClass in interface TreeVisitor

Overrides:

visitNewClass in class BaseTreeVisitor

visitClass

public void visitClass(ClassTree tree)

Specified by:

visitClass in interface TreeVisitor

Overrides:

visitClass in class BaseTreeVisitor

visitTryStatement

public void visitTryStatement(TryStatementTree tree)

Specified by:

visitTryStatement in interface TreeVisitor

Overrides:

visitTryStatement in class BaseTreeVisitor

visitIfStatement

public void visitIfStatement(IfStatementTree tree)

Specified by:

visitIfStatement in interface TreeVisitor

Overrides:

visitIfStatement in class BaseTreeVisitor

visitSwitchStatement

public void visitSwitchStatement(SwitchStatementTree tree)

Specified by:

visitSwitchStatement in interface TreeVisitor

Overrides:

visitSwitchStatement in class BaseTreeVisitor

visitWhileStatement

public void visitWhileStatement(WhileStatementTree tree)

Specified by:

visitWhileStatement in interface TreeVisitor

Overrides:

visitWhileStatement in class BaseTreeVisitor

visitDoWhileStatement

public void visitDoWhileStatement(DoWhileStatementTree tree)

Specified by:

visitDoWhileStatement in interface TreeVisitor

Overrides:

visitDoWhileStatement in class BaseTreeVisitor

visitForStatement

public void visitForStatement(ForStatementTree tree)

Specified by:

visitForStatement in interface TreeVisitor

Overrides:

visitForStatement in class BaseTreeVisitor

visitForEachStatement

public void visitForEachStatement(ForEachStatement tree)

Specified by:

visitForEachStatement in interface TreeVisitor

Overrides:

visitForEachStatement in class BaseTreeVisitor

visitMethodInvocation

public void visitMethodInvocation(MethodInvocationTree tree)

Specified by:

visitMethodInvocation in interface TreeVisitor

Overrides:

visitMethodInvocation in class BaseTreeVisitor

visitReturnStatement

public void visitReturnStatement(ReturnStatementTree tree)

Specified by:

visitReturnStatement in interface TreeVisitor

Overrides:

visitReturnStatement in class BaseTreeVisitor