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 and Description
CheckerDispatcher(BytecodeEGWalker explodedGraphWalker, List<BytecodeSECheck> checks)

Method Summary

Modifier and Type	Method and Description
void	addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check)
void	addTransition(ProgramState state)
void	createSink()
void	executeCheckPostStatement(BytecodeCFGBuilder.Instruction instruction)
boolean	executeCheckPreStatement(BytecodeCFGBuilder.Instruction instruction)
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(BytecodeCFGBuilder.Instruction instruction)

executeCheckPostStatement

public void executeCheckPostStatement(BytecodeCFGBuilder.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()