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) |
visit
void 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.IOException
void deserialize(Deserializer s) throws java.io.IOException
java.io.IOException