Package org.sonar.java.se
Class CheckerDispatcher
java.lang.Object
org.sonar.java.se.CheckerDispatcher
- All Implemented Interfaces:
CheckerContext
-
Constructor Summary
ConstructorsConstructorDescriptionCheckerDispatcher(ExplodedGraphWalker explodedGraphWalker, List<SECheck> checks, JavaFileScannerContext scannerContext) -
Method Summary
Modifier and TypeMethodDescriptionvoidaddExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check) voidaddTransition(ProgramState state) voidvoidexecuteCheckEndOfExecutionPath(ConstraintManager constraintManager) voidexecuteCheckPostStatement(Tree syntaxNode) booleanexecuteCheckPreStatement(Tree syntaxNode) getNode()getState()voidinit(MethodTree methodTree, CFG cfg) voidinterruptedExecution(Exception interruptionCause) Will be not null only when the execution is interrupted, and only during handling ofSECheck.interruptedExecution(CheckerContext).voidreportIssue(Tree tree, SECheck check, String message) void
-
Constructor Details
-
CheckerDispatcher
public CheckerDispatcher(ExplodedGraphWalker explodedGraphWalker, List<SECheck> checks, JavaFileScannerContext scannerContext)
-
-
Method Details
-
executeCheckPreStatement
-
executeCheckPostStatement
-
getState
- Specified by:
getStatein interfaceCheckerContext
-
getNode
- Specified by:
getNodein interfaceCheckerContext
-
reportIssue
- Specified by:
reportIssuein interfaceCheckerContext
-
reportIssue
- Specified by:
reportIssuein interfaceCheckerContext
-
addTransition
- Specified by:
addTransitionin interfaceCheckerContext
-
addExceptionalYield
public void addExceptionalYield(SymbolicValue target, ProgramState exceptionalState, String exceptionFullyQualifiedName, SECheck check) - Specified by:
addExceptionalYieldin interfaceCheckerContext
-
createSink
- Specified by:
createSinkin interfaceCheckerContext
-
executeCheckEndOfExecution
public void executeCheckEndOfExecution() -
executeCheckEndOfExecutionPath
-
init
-
getConstraintManager
- Specified by:
getConstraintManagerin interfaceCheckerContext
-
interruptedExecution
-
interruptionCause
Will be not null only when the execution is interrupted, and only during handling ofSECheck.interruptedExecution(CheckerContext). Rest of the time, returns null -
alwaysTrueOrFalseExpressions
- Specified by:
alwaysTrueOrFalseExpressionsin interfaceCheckerContext
-
getScannerContext
- Specified by:
getScannerContextin interfaceCheckerContext
-
methodBehavior
-
peekMethodBehavior
-