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.