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, JavaFileScannerContext context, List<SECheck> checks)

Method Summary

Methods

Modifier and Type	Method and Description
void	addTransition(ProgramState state)
Object	createSink()
void	executeCheckEndOfExecution(MethodTree tree)
void	executeCheckEndOfExecutionPath(MethodTree tree, ConstraintManager constraintManager)
void	executeCheckPostStatement(Tree syntaxNode)
boolean	executeCheckPreStatement(Tree syntaxNode)
ConstraintManager	getConstraintManager()
ProgramState	getState()
void	init()
boolean	isNull(SymbolicValue val)
void	reportIssue(Tree tree, SECheck check, String message)

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,
                 JavaFileScannerContext context,
                 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

isNull

public boolean isNull(SymbolicValue val)

Specified by:

isNull in interface CheckerContext

reportIssue

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

Specified by:

reportIssue in interface CheckerContext

addTransition

public void addTransition(ProgramState state)

Specified by:

addTransition in interface CheckerContext

createSink

public Object createSink()

Specified by:

createSink in interface CheckerContext

executeCheckEndOfExecution

public void executeCheckEndOfExecution(MethodTree tree)

executeCheckEndOfExecutionPath

public void executeCheckEndOfExecutionPath(MethodTree tree,
                                  ConstraintManager constraintManager)

init

public void init()

getConstraintManager

public ConstraintManager getConstraintManager()

Specified by:

getConstraintManager in interface CheckerContext