Package org.sonar.java.se
Class ProgramState.SymbolicValueSymbol
- java.lang.Object
-
- org.sonar.java.se.ProgramState.SymbolicValueSymbol
-
- Enclosing class:
- ProgramState
public static class ProgramState.SymbolicValueSymbol extends Object
This class is used to keep on stack symbolic value together with symbol which was used to evaluate this value. This is later used to store symbols of operands inBinarySymbolicValue
andSymbolicValue.UnarySymbolicValue
so we are able to include references to symbols in reportingFlowComputation
. equals/hashCode is considering only stored symbolic value, so caching of ProgramState doesn't depend on symbols.
-
-
Constructor Summary
Constructors Constructor Description SymbolicValueSymbol(SymbolicValue sv, Symbol symbol)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
equals(Object o)
int
hashCode()
Symbol
symbol()
SymbolicValue
symbolicValue()
String
toString()
-
-
-
Constructor Detail
-
SymbolicValueSymbol
public SymbolicValueSymbol(SymbolicValue sv, @Nullable Symbol symbol)
-
-
Method Detail
-
symbolicValue
public SymbolicValue symbolicValue()
-
symbol
public Symbol symbol()
-
-