| Package | Description |
|---|---|
| org.sonar.java.se | |
| org.sonar.java.se.checks |
| Modifier and Type | Method and Description |
|---|---|
ExplodedGraph.Node |
CheckerDispatcher.getNode() |
ExplodedGraph.Node |
CheckerContext.getNode() |
ExplodedGraph.Node |
ExplodedGraph.Node.parent() |
| Modifier and Type | Method and Description |
|---|---|
Map<ExplodedGraph.Node,ExplodedGraph.Node> |
ExplodedGraph.getNodes() |
Map<ExplodedGraph.Node,ExplodedGraph.Node> |
ExplodedGraph.getNodes() |
List<ExplodedGraph.Node> |
ExplodedGraph.Node.getParents() |
| Modifier and Type | Method and Description |
|---|---|
void |
ExplodedGraph.Node.addParent(ExplodedGraph.Node node) |
void |
ExplodedGraph.Node.setParent(ExplodedGraph.Node parent) |
| Modifier and Type | Method and Description |
|---|---|
void |
ConditionAlwaysTrueOrFalseCheck.evaluatedToFalse(Tree condition,
ExplodedGraph.Node node) |
void |
ConditionAlwaysTrueOrFalseCheck.evaluatedToTrue(Tree condition,
ExplodedGraph.Node node) |
static List<JavaFileScannerContext.Location> |
SECheck.flow(ExplodedGraph.Node currentNode,
SymbolicValue currentVal) |
static List<JavaFileScannerContext.Location> |
SECheck.flow(ExplodedGraph.Node currentNode,
SymbolicValue currentVal,
Predicate<Constraint> addToFlow) |
static List<JavaFileScannerContext.Location> |
SECheck.flow(ExplodedGraph.Node currentNode,
SymbolicValue currentVal,
Predicate<Constraint> addToFlow,
Predicate<Constraint> terminateTraversal) |
Copyright © 2012–2016 SonarSource. All rights reserved.