org.sonar.java.se

Class CheckerDispatcher

java.lang.Object

org.sonar.java.se.CheckerDispatcher

All Implemented Interfaces:

CheckerContext

public class CheckerDispatcher
extends Object
implements CheckerContext

Constructor Summary

Constructors

Constructor and Description
CheckerDispatcher(ExplodedGraphWalker explodedGraphWalker, List<SECheck> checks)

Method Summary

Modifier and Type	Method and Description
void	addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	addTransition(ProgramState state)
AlwaysTrueOrFalseExpressionCollector	alwaysTrueOrFalseExpressions()
Object	createSink()
void	executeCheckEndOfExecution()
void	executeCheckEndOfExecutionPath(ConstraintManager constraintManager)
void	executeCheckPostStatement(Tree syntaxNode)
boolean	executeCheckPreStatement(Tree syntaxNode)
ConstraintManager	getConstraintManager()
ExplodedGraph.Node	getNode()
ProgramState	getState()
void	init(MethodTree methodTree, CFG cfg)
void	interruptedExecution(Exception interruptionCause)
Exception	interruptionCause() Will be not null only when the execution is interrupted, and only during handling of SECheck.interruptedExecution(CheckerContext).
MethodBehavior	methodBehavior()
MethodBehavior	peekMethodBehavior(Symbol.MethodSymbol symbol)
void	reportIssue(Tree tree, SECheck check, String message)
void	reportIssue(Tree tree, SECheck check, String message, Set<Flow> flows)

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckerDispatcher

public CheckerDispatcher(ExplodedGraphWalker explodedGraphWalker,
                         List<SECheck> checks)

Method Detail

executeCheckPreStatement

public boolean executeCheckPreStatement(Tree syntaxNode)

executeCheckPostStatement

public void executeCheckPostStatement(Tree syntaxNode)

getState

public ProgramState getState()

Specified by:

getState in interface CheckerContext

getNode

public ExplodedGraph.Node getNode()

Specified by:

getNode in interface CheckerContext

reportIssue

public void reportIssue(Tree tree,
                        SECheck check,
                        String message)

Specified by:

reportIssue in interface CheckerContext

reportIssue

public void reportIssue(Tree tree,
                        SECheck check,
                        String message,
                        Set<Flow> flows)

Specified by:

reportIssue in interface CheckerContext

addTransition

public void addTransition(ProgramState state)

Specified by:

addTransition in interface CheckerContext

addExceptionalYield

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

Specified by:

addExceptionalYield in interface CheckerContext

createSink

public Object createSink()

Specified by:

createSink in interface CheckerContext

executeCheckEndOfExecution

public void executeCheckEndOfExecution()

executeCheckEndOfExecutionPath

public void executeCheckEndOfExecutionPath(ConstraintManager constraintManager)

init

public void init(MethodTree methodTree,
                 CFG cfg)

getConstraintManager

public ConstraintManager getConstraintManager()

Specified by:

getConstraintManager in interface CheckerContext

interruptedExecution

public void interruptedExecution(Exception interruptionCause)

interruptionCause

@CheckForNull
public Exception interruptionCause()

Will be not null only when the execution is interrupted, and only during handling of SECheck.interruptedExecution(CheckerContext). Rest of the time, returns null

alwaysTrueOrFalseExpressions

public AlwaysTrueOrFalseExpressionCollector alwaysTrueOrFalseExpressions()

Specified by:

alwaysTrueOrFalseExpressions in interface CheckerContext

methodBehavior

@CheckForNull
public MethodBehavior methodBehavior()

peekMethodBehavior

@CheckForNull
public MethodBehavior peekMethodBehavior(Symbol.MethodSymbol symbol)