Package 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	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.MaximumStartingStatesException
static class	ExplodedGraphWalker.MaximumStepsReachedException
static class	ExplodedGraphWalker.TooManyNestedBooleanStatesException

Field Summary

Fields

Modifier and Type	Field	Description
static final MethodMatchers	BOOLEAN_VALUE_MATCHER
static final MethodMatchers	EQUALS_METHODS
static final int	MAX_NESTED_BOOLEAN_STATES

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ExplodedGraphWalker(List<SECheck> seChecks, BehaviorCache behaviorCache, JavaFileScannerContext context)
	ExplodedGraphWalker(BehaviorCache behaviorCache, JavaFileScannerContext context)

Method Summary

Modifier and Type	Method	Description
void	addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	cleanupStack(Tree tree)
void	enqueue(ProgramPoint programPoint, ProgramState programState)
void	enqueue(ProgramPoint newProgramPoint, ProgramState programState, boolean exitPath)
void	enqueue(ProgramPoint newProgramPoint, ProgramState programState, boolean exitPath, MethodYield methodYield)
void	enqueue(ProgramPoint programPoint, ProgramState programState, MethodYield methodYield)
protected int	maxSteps()
protected MethodBehavior	peekMethodBehavior(Symbol.MethodSymbol symbol)
MethodBehavior	visitMethod(MethodTree tree)
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 Details

MAX_NESTED_BOOLEAN_STATES

public static final int MAX_NESTED_BOOLEAN_STATES

See Also:

• Constant Field Values

EQUALS_METHODS

public static final MethodMatchers EQUALS_METHODS

BOOLEAN_VALUE_MATCHER

public static final MethodMatchers BOOLEAN_VALUE_MATCHER

Constructor Details

ExplodedGraphWalker

public ExplodedGraphWalker(BehaviorCache behaviorCache,
 JavaFileScannerContext context)

ExplodedGraphWalker

protected ExplodedGraphWalker(List<SECheck> seChecks,
 BehaviorCache behaviorCache,
 JavaFileScannerContext context)

Method Details

visitMethod

public MethodBehavior visitMethod(MethodTree tree)

visitMethod

public MethodBehavior visitMethod(MethodTree tree,
 @Nullable
 MethodBehavior methodBehavior)

addExceptionalYield

public void addExceptionalYield(SymbolicValue target,
 ProgramState exceptionalState,
 String exceptionFullyQualifiedName,
 SECheck check)

cleanupStack

public void cleanupStack(Tree tree)

enqueue

public void enqueue(ProgramPoint programPoint,
 ProgramState programState)

enqueue

public void enqueue(ProgramPoint programPoint,
 ProgramState programState,
 @Nullable
 MethodYield methodYield)

enqueue

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

enqueue

public void enqueue(ProgramPoint newProgramPoint,
 ProgramState programState,
 boolean exitPath,
 @Nullable
 MethodYield methodYield)

maxSteps

protected int maxSteps()

peekMethodBehavior

@CheckForNull
protected MethodBehavior peekMethodBehavior(Symbol.MethodSymbol symbol)