| Package | Description |
|---|---|
| org.sonar.java.se | |
| org.sonar.java.se.checks | |
| org.sonar.java.se.xproc |
| Modifier and Type | Method and Description |
|---|---|
void |
ExplodedGraphWalker.addExceptionalYield(SymbolicValue target,
ProgramState exceptionalState,
String exceptionFullyQualifiedName,
SECheck check) |
void |
CheckerDispatcher.addExceptionalYield(SymbolicValue target,
ProgramState exceptionalState,
String exceptionFullyQualifiedName,
SECheck check) |
void |
CheckerContext.addExceptionalYield(SymbolicValue target,
ProgramState exceptionalState,
String exceptionFullyQualifiedName,
SECheck check) |
void |
CheckerDispatcher.reportIssue(Tree tree,
SECheck check,
String message) |
void |
CheckerContext.reportIssue(Tree tree,
SECheck check,
String message) |
void |
CheckerDispatcher.reportIssue(Tree tree,
SECheck check,
String message,
Set<List<JavaFileScannerContext.Location>> flows) |
void |
CheckerContext.reportIssue(Tree tree,
SECheck check,
String message,
Set<List<JavaFileScannerContext.Location>> flows) |
| Constructor and Description |
|---|
CheckerDispatcher(ExplodedGraphWalker explodedGraphWalker,
List<SECheck> checks) |
| Modifier and Type | Class and Description |
|---|---|
class |
ConditionAlwaysTrueOrFalseCheck |
class |
CustomUnclosedResourcesCheck |
class |
DivisionByZeroCheck |
class |
LocksNotUnlockedCheck |
class |
NonNullSetToNullCheck |
class |
NoWayOutLoopCheck |
class |
NullDereferenceCheck |
class |
OptionalGetBeforeIsPresentCheck |
class |
UnclosedResourcesCheck |
| Modifier and Type | Method and Description |
|---|---|
Class<? extends SECheck> |
ExceptionalCheckBasedYield.check() |
| Modifier and Type | Method and Description |
|---|---|
ExceptionalYield |
MethodBehavior.createExceptionalCheckBasedYield(SymbolicValue target,
ExplodedGraph.Node node,
Type exceptionType,
SECheck check) |
boolean |
MethodYield.generatedByCheck(SECheck check) |
boolean |
ExceptionalCheckBasedYield.generatedByCheck(SECheck check) |
| Constructor and Description |
|---|
ExceptionalCheckBasedYield(SymbolicValue svCausingException,
Type exceptionType,
Class<? extends SECheck> check,
ExplodedGraph.Node node,
MethodBehavior behavior) |
Copyright © 2012–2017 SonarSource. All rights reserved.