| Package | Description |
|---|---|
| org.sonar.java.se | |
| org.sonar.java.se.xproc |
| Modifier and Type | Method and Description |
|---|---|
MethodBehavior |
SymbolicExecutionVisitor.execute(MethodTree methodTree) |
MethodBehavior |
ExplodedGraphWalker.visitMethod(MethodTree tree) |
MethodBehavior |
ExplodedGraphWalker.visitMethod(MethodTree tree,
MethodBehavior methodBehavior) |
| Modifier and Type | Method and Description |
|---|---|
MethodBehavior |
ExplodedGraphWalker.visitMethod(MethodTree tree,
MethodBehavior methodBehavior) |
| Modifier and Type | Field and Description |
|---|---|
Map<Symbol.MethodSymbol,MethodBehavior> |
BehaviorCache.behaviors |
| Modifier and Type | Method and Description |
|---|---|
MethodBehavior |
BehaviorCache.get(Symbol.MethodSymbol symbol) |
| Modifier and Type | Method and Description |
|---|---|
void |
BehaviorCache.add(Symbol.MethodSymbol symbol,
MethodBehavior behavior) |
| Constructor and Description |
|---|
ExceptionalCheckBasedYield(SymbolicValue svCausingException,
Type exceptionType,
Class<? extends SECheck> check,
ExplodedGraph.Node node,
MethodBehavior behavior) |
ExceptionalYield(ExplodedGraph.Node node,
MethodBehavior behavior) |
ExceptionalYield(MethodBehavior behavior) |
HappyPathYield(ExplodedGraph.Node node,
MethodBehavior behavior) |
HappyPathYield(MethodBehavior behavior) |
MethodYield(ExplodedGraph.Node node,
MethodBehavior behavior) |
MethodYield(MethodBehavior behavior) |
Copyright © 2012–2017 SonarSource. All rights reserved.