Package org.sonar.java.bytecode.se

Class CheckerDispatcher

java.lang.Object

org.sonar.java.bytecode.se.CheckerDispatcher

public class CheckerDispatcher
extends Object

Constructor Summary

Constructors

Constructor	Description
CheckerDispatcher(BytecodeEGWalker explodedGraphWalker, List<BytecodeSECheck> checks)

Method Summary

Modifier and Type	Method	Description
void	addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	addTransition(ProgramState state)
void	createSink()
void	executeCheckPostStatement(Instruction instruction)
boolean	executeCheckPreStatement(Instruction instruction)
ExplodedGraph.Node	getNode()
ProgramState	getState()

Methods inherited from class java.lang.Object

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

Constructor Detail

CheckerDispatcher

public CheckerDispatcher(BytecodeEGWalker explodedGraphWalker,
                         List<BytecodeSECheck> checks)

Method Detail

executeCheckPreStatement

public boolean executeCheckPreStatement(Instruction instruction)

executeCheckPostStatement

public void executeCheckPostStatement(Instruction instruction)

createSink

public void createSink()

addTransition

public void addTransition(ProgramState state)

addExceptionalYield

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

getState

public ProgramState getState()

getNode

public ExplodedGraph.Node getNode()