| Package | Description |
|---|---|
| org.sonar.java.se | |
| org.sonar.java.se.constraint | |
| org.sonar.java.se.symbolicvalues |
| Modifier and Type | Field and Description |
|---|---|
List<ProgramState.SymbolicValueSymbol> |
ProgramState.Pop.valuesAndSymbols |
| Modifier and Type | Method and Description |
|---|---|
ProgramState.SymbolicValueSymbol |
ProgramState.peekValueSymbol() |
| Modifier and Type | Method and Description |
|---|---|
List<ProgramState.SymbolicValueSymbol> |
ProgramState.peekValuesAndSymbols(int n) |
| Constructor and Description |
|---|
Pop(ProgramState programState,
List<ProgramState.SymbolicValueSymbol> result) |
| Modifier and Type | Method and Description |
|---|---|
SymbolicValue |
ConstraintManager.createBinarySymbolicValue(Tree syntaxNode,
List<ProgramState.SymbolicValueSymbol> computedFrom) |
SymbolicValue |
ConstraintManager.createMethodSymbolicValue(MethodInvocationTree syntaxNode,
List<ProgramState.SymbolicValueSymbol> values) |
| Modifier and Type | Method and Description |
|---|---|
void |
SymbolicValue.computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues) |
void |
SymbolicValue.UnarySymbolicValue.computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues) |
void |
BinarySymbolicValue.computedFrom(List<ProgramState.SymbolicValueSymbol> symbolicValues) |
Copyright © 2012–2017 SonarSource. All rights reserved.