Evaluator

Next: InfixExpressionParser Up: Shells Previous: Shells Contents Index

Evaluator

$\begin{usage} Evaluator~R: Category \end{usage}$

$\begin{params} R & \htmlref{\texttt{PartialRing}}{PartialRing} & Resulting type of the evaluation\\ \end{params}$

$\begin{descr} Evaluator~R is a category of interpreters, {\it i.e.}~types which convert expression trees into elements of R whenever possible. \end{descr}$

Exports

`eval!`:	(TEXT, TREE, SYM R) $\to \overline R$	Interpret an arbitrary tree
`evalLeaf!`:	(LEAF, SYM R) $\to \overline R$	Interpret a leaf
`evalOp!`:	(TEXT, TREE, SYM R) $\to \overline R$	Interpret
`evalPrefix!`:	(`String`, Z, `List` R, SYM R) $\to \overline R$	Interpret , is prefix

where
Z == MachineInteger

LEAF == ExpressionTreeLeaf

$\overline R$ == Partial R

SYM == SymbolTable

TEXT == TextWriter

TREE == ExpressionTree

Manuel Bronstein 2000-12-13

Z	==	`MachineInteger`
LEAF	==	`ExpressionTreeLeaf`
$\overline R$	==	`Partial` R
SYM	==	`SymbolTable`
TEXT	==	`TextWriter`
TREE	==	`ExpressionTree`