previous up next
Go backward to Variables and Assignments
Go up to Top
Go forward to Function Constants
RISC-Linz logo

Operational Interpretation

public final class Variable implements Term
{
  private String variable;

  public Value eval() throws EvalException
  {
    Value value = Context.get(variable);
    if (value == null) throw 
      new EvalException("no variable " + variable + " in context");
    return value;
  }
}

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next