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 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.

Constructor Summary

Constructors

Constructor	Description
SymbolicValueSymbol(SymbolicValue sv, Symbol symbol)

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
int	hashCode()
Symbol	symbol()
SymbolicValue	symbolicValue()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

SymbolicValueSymbol

public SymbolicValueSymbol(SymbolicValue sv,
 @Nullable
 Symbol symbol)

Method Details

symbolicValue

public SymbolicValue symbolicValue()

symbol

public Symbol symbol()

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object