public class ExecutionState extends Object
| Constructor and Description |
|---|
ExecutionState()
ParentState constructor.
|
ExecutionState(ExecutionState executionState) |
| 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 ExecutionState()
public void defineSymbol(Symbol symbol)
public ExecutionState merge(ExecutionState executionState)
public ExecutionState overrideBy(ExecutionState executionState)
public ExecutionState restoreParent()
public SymbolicValue createValueForSymbol(Symbol symbol, Tree tree)
public void markValueAs(SymbolicValue value, State state)
Copyright © 2012–2015 SonarSource. All rights reserved.