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