org.sonar.java.se

Interface CheckerContext

All Known Implementing Classes:

CheckerDispatcher

public interface CheckerContext

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()
ConstraintManager	getConstraintManager()
ExplodedGraph.Node	getNode()
ProgramState	getState()
void	reportIssue(Tree tree, SECheck check, String message)
void	reportIssue(Tree tree, SECheck check, String message, Set<Flow> flows)

Method Detail

createSink

Object createSink()

reportIssue

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

reportIssue

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

addTransition

void addTransition(ProgramState state)

addExceptionalYield

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

getState

ProgramState getState()

getNode

ExplodedGraph.Node getNode()

getConstraintManager

ConstraintManager getConstraintManager()

alwaysTrueOrFalseExpressions

AlwaysTrueOrFalseExpressionCollector alwaysTrueOrFalseExpressions()