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
UndefinedVarException
public Value getValue() throws UndefinedVarException
UndefinedVarException
public void setValue(Value v) throws UndefinedVarException
UndefinedVarException
public void define(Value v)
public Value express()
public void serialize(Serializer s) throws java.io.IOException
java.io.IOException
public void deserialize(Deserializer s) throws java.io.IOException
java.io.IOException
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean visit(ExpressionVisitor v)
visit
in interface ExpressionVisitee