public interface SymbolicEnvironment extends ExpressionVisitee
| Modifier and Type | Method and Description |
|---|---|
Value |
asValue() |
int |
define(Symbol s,
Value v) |
void |
deserialize(Deserializer s) |
int |
getLoc(Symbol s) |
Symbol |
getName() |
SymbolicEnvironment |
getParent() |
SymbolicEnvironment |
getSidecarEnvironment(Symbol name) |
Value |
lookup(int pi) |
Value |
lookup(Symbol s) |
void |
serialize(Serializer s) |
void |
set(int envLoc,
Value v) |
void |
setName(Symbol s) |
void |
setParent(SymbolicEnvironment e) |
void |
undefine(Symbol s) |
visitvoid setName(Symbol s)
Symbol getName()
void setParent(SymbolicEnvironment e)
SymbolicEnvironment getParent()
SymbolicEnvironment getSidecarEnvironment(Symbol name)
Value asValue()
void set(int envLoc,
Value v)
void undefine(Symbol s)
int getLoc(Symbol s)
Value lookup(int pi)
void serialize(Serializer s) throws java.io.IOException
java.io.IOExceptionvoid deserialize(Deserializer s) throws java.io.IOException
java.io.IOException