public interface CheckerContext
Modifier and Type | Method and Description |
---|---|
void |
addTransition(ProgramState state) |
Object |
createSink() |
ConstraintManager |
getConstraintManager() |
ProgramState |
getState() |
void |
reportIssue(Tree tree,
SECheck check,
String message) |
void |
reportIssue(Tree tree,
SECheck check,
String message,
List<JavaFileScannerContext.Location> locations) |
Object createSink()
void reportIssue(Tree tree, SECheck check, String message, List<JavaFileScannerContext.Location> locations)
void addTransition(ProgramState state)
ProgramState getState()
ConstraintManager getConstraintManager()
Copyright © 2012–2016 SonarSource. All rights reserved.