org.sonar.java.se

Class ExplodedGraphWalker

java.lang.Object

org.sonar.java.se.ExplodedGraphWalker

public class ExplodedGraphWalker
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ExplodedGraphWalker.ExplodedGraphTooBigException
static class	ExplodedGraphWalker.ExplodedGraphWalkerFactory This class ensures that the SE checks are placed in the correct order for the ExplodedGraphWalker In addition, checks that are needed for a correct ExplodedGraphWalker processing are provided in all cases.
static class	ExplodedGraphWalker.MaximumStepsReachedException
static class	ExplodedGraphWalker.TooManyNestedBooleanStatesException

Field Summary

Fields

Modifier and Type	Field and Description
static int	MAX_NESTED_BOOLEAN_STATES

Constructor Summary

Constructors

Constructor and Description
ExplodedGraphWalker()

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

MAX_NESTED_BOOLEAN_STATES

public static final int MAX_NESTED_BOOLEAN_STATES

See Also:

Constant Field Values

Constructor Detail

ExplodedGraphWalker

public ExplodedGraphWalker()

Method Detail

getExplodedGraph

public ExplodedGraph getExplodedGraph()

visitMethod

public MethodBehavior visitMethod(MethodTree tree,
                                  MethodBehavior methodBehavior)

clearStack

public void clearStack(Tree tree)

enqueue

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

enqueue

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