public class ProgramState extends Object
| Modifier and Type | Method and Description |
|---|---|
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() |
public static ProgramState emptyState()
public ProgramState copyAndAddValue(Symbol symbol, SymbolicValue value)
public SymbolicValue get(Symbol symbol)
public ProgramState constrain(Symbol symbol, Truthiness truthiness)
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.