ExecutionState (SonarQube Java

public class ExecutionState
extends Object

Constructors
Constructor and Description
`ExecutionState()` ParentState constructor.
`ExecutionState(ExecutionState executionState)`

Methods
Modifier and Type	Method and Description
`SymbolicValue`	`createValueForSymbol(Symbol symbol, Tree tree)`
`void`	`defineSymbol(Symbol symbol)`
`List<State>`	`getStatesOf(Symbol symbol)`
`void`	`markValueAs(SymbolicValue value, State state)`
`void`	`markValueAs(Symbol symbol, State state)`
`ExecutionState`	`merge(ExecutionState executionState)`
`ExecutionState`	`overrideBy(ExecutionState executionState)`
`ExecutionState`	`restoreParent()`

public ExecutionState(ExecutionState executionState)

public void defineSymbol(Symbol symbol)

public ExecutionState merge(ExecutionState executionState)

public ExecutionState overrideBy(ExecutionState executionState)

public List<State> getStatesOf(Symbol symbol)

public SymbolicValue createValueForSymbol(Symbol symbol,
                                 Tree tree)

public void markValueAs(Symbol symbol,
               State state)

public void markValueAs(SymbolicValue value,
               State state)

Class ExecutionState