Class 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 in BinarySymbolicValue and SymbolicValue.UnarySymbolicValue so we are able to include references to symbols in reporting FlowComputation. equals/hashCode is considering only stored symbolic value, so caching of ProgramState doesn't depend on symbols.