// @(#)$Id: eval.lh,v 1.9 1998/08/29 16:21:59 leavens Exp $

#include "SimpleStack.lh"

//@ uses SimpleStackTrait(int for E, Stack<int> for C);

template <class I>
class Expr;

//@ uses Eval_Trait(Expr<int>);

template <class SI>
  //@ where SI is Stack<int using NoContainedObjects(int)>;
extern int eval(Expr<int> x, SI& stk) throw();
//@ behavior {
//@   requires isEmpty(stk^) /\ assigned(stk, pre);
//@   modifies stk;
//@   ensures result = final_value(x, stk^) /\ stk' = final_stack(x, stk^);
//@ }

[Index]

HTML generated using lcpp2html.