org.sonar.java.se

Class ExplodedGraphWalker

java.lang.Object

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

org.sonar.java.se.ExplodedGraphWalker

All Implemented Interfaces:

TreeVisitor

public class ExplodedGraphWalker
extends BaseTreeVisitor

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ExplodedGraphWalker.ExplodedGraphTooBigException
static class	ExplodedGraphWalker.MaximumStepsReachedException

Constructor Summary

Constructors

Constructor and Description
ExplodedGraphWalker(JavaFileScannerContext context)

Method Summary

Methods

Modifier and Type	Method and Description
void	clearStack(Tree tree)
void	enqueue(ExplodedGraph.ProgramPoint programPoint, ProgramState programState)
void	enqueue(ExplodedGraph.ProgramPoint programPoint, ProgramState programState, boolean exitPath)
void	visitMethod(MethodTree tree)

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

scan, scan, scan, visitAnnotation, visitArrayAccessExpression, visitArrayDimension, visitArrayType, visitAssertStatement, visitAssignmentExpression, visitBinaryExpression, visitBlock, visitBreakStatement, visitCaseGroup, visitCaseLabel, visitCatch, visitClass, visitCompilationUnit, visitConditionalExpression, visitContinueStatement, visitDoWhileStatement, visitEmptyStatement, visitEnumConstant, visitExpressionStatement, visitForEachStatement, visitForStatement, visitIdentifier, visitIfStatement, visitImport, visitInstanceOf, visitLabeledStatement, visitLambdaExpression, visitLiteral, visitMemberSelectExpression, visitMethodInvocation, visitMethodReference, visitModifier, visitNewArray, visitNewClass, visitOther, visitPackage, visitParameterizedType, visitParenthesized, visitPrimitiveType, visitReturnStatement, visitSwitchStatement, visitSynchronizedStatement, visitThrowStatement, visitTryStatement, visitTypeArguments, visitTypeCast, visitTypeParameter, visitTypeParameters, visitUnaryExpression, visitUnionType, visitVariable, visitWhileStatement, visitWildcard

Methods inherited from class java.lang.Object

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

Constructor Detail

ExplodedGraphWalker

public ExplodedGraphWalker(JavaFileScannerContext context)

Method Detail

visitMethod

public void visitMethod(MethodTree tree)

Specified by:

visitMethod in interface TreeVisitor

Overrides:

visitMethod in class BaseTreeVisitor

clearStack

public void clearStack(Tree tree)

enqueue

public void enqueue(ExplodedGraph.ProgramPoint programPoint,
           ProgramState programState)

enqueue

public void enqueue(ExplodedGraph.ProgramPoint programPoint,
           ProgramState programState,
           boolean exitPath)