public class FreeReference extends java.lang.Object implements ExpressionVisitee
| Constructor and Description |
|---|
FreeReference() |
FreeReference(Symbol sym,
SymbolicEnvironment senv) |
| Modifier and Type | Method and Description |
|---|---|
static FreeReference[] |
allReferences() |
void |
define(Value v) |
void |
deserialize(Deserializer s) |
boolean |
equals(java.lang.Object o) |
Value |
express() |
Symbol |
getName() |
Value |
getValue() |
int |
hashCode() |
void |
resolve() |
void |
serialize(Serializer s) |
void |
setValue(Value v) |
boolean |
visit(ExpressionVisitor v) |
public FreeReference(Symbol sym, SymbolicEnvironment senv)
public FreeReference()
public static FreeReference[] allReferences()
public Symbol getName()
public void resolve()
throws UndefinedVarException
UndefinedVarExceptionpublic Value getValue() throws UndefinedVarException
UndefinedVarExceptionpublic void setValue(Value v) throws UndefinedVarException
UndefinedVarExceptionpublic void define(Value v)
public Value express()
public void serialize(Serializer s) throws java.io.IOException
java.io.IOExceptionpublic void deserialize(Deserializer s) throws java.io.IOException
java.io.IOExceptionpublic boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean visit(ExpressionVisitor v)
visit in interface ExpressionVisitee