public class ProgramState extends Object
| Modifier and Type | Field and Description |
|---|---|
protected com.google.common.collect.ImmutableMap<Symbol,SymbolicValue> |
valuesBySymbol |
| Modifier and Type | Method and Description |
|---|---|
ProgramState |
constrain(Symbol symbol,
Nullability nullability) |
ProgramState |
constrain(Symbol symbol,
Truthiness truthiness) |
ProgramState |
copyAndAddValue(Symbol symbol,
SymbolicValue value) |
static ProgramState |
emptyState() |
boolean |
equals(Object obj) |
SymbolicValue |
get(Symbol symbol) |
int |
hashCode() |
protected final com.google.common.collect.ImmutableMap<Symbol,SymbolicValue> valuesBySymbol
public static ProgramState emptyState()
public ProgramState copyAndAddValue(Symbol symbol, SymbolicValue value)
public SymbolicValue get(Symbol symbol)
public ProgramState constrain(Symbol symbol, Truthiness truthiness)
public ProgramState constrain(Symbol symbol, @Nullable Nullability nullability)
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.