previous up next
Go backward to Local Definitions
Go up to Top
Go forward to Example
RISC-Linz logo

Operational Interpretation

public final class LetTerm implements Term
{
  private String variable; private Term term; private Term body;

  public Value eval() throws EvalException
  {
    Context.begin(variable, term.eval());
    Value result = body.eval();
    Context.end();
    return result;
  }  
}

Author: Wolfgang Schreiner
Last Modification: October 6, 1999

previous up next