X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/c7f552fd8888da2f0d8cfb228fe0f28d3df3a12c..b4b6f2ea75b9f0f3ca918f5b84016610bf7a4d4f:/interpretor/preprocessor/faust-0.9.47mr3/compiler/headers/eval.hh diff --git a/interpretor/preprocessor/faust-0.9.47mr3/compiler/headers/eval.hh b/interpretor/preprocessor/faust-0.9.47mr3/compiler/headers/eval.hh new file mode 100644 index 0000000..ddf14d3 --- /dev/null +++ b/interpretor/preprocessor/faust-0.9.47mr3/compiler/headers/eval.hh @@ -0,0 +1,66 @@ +/************************************************************************ + ************************************************************************ + FAUST compiler + Copyright (C) 2003-2004 GRAME, Centre National de Creation Musicale + --------------------------------------------------------------------- + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 2 of the License, or + (at your option) any later version. + + This program is distributed in the hope that it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. + ************************************************************************ + ************************************************************************/ + +#ifndef __EVALBOXES__ +#define __EVALBOXES__ + + + +/** + * \file eval.hh + * + * Interface of the block diagram evaluator. + * + * A strict lambda-calculus evaluator for block diagram expressions. + * + **/ + + + +#include "boxes.hh" +#include "sourcereader.hh" +#include "environment.hh" + +/** + * Eval the definition of 'process'. + * + * Eval the definition of 'process' in the environment passed as argument + * @param eqlist the global environment (a list of definitions) + * @return the 'process' block diagram in normal form that is + **/ + +Tree evalprocess (Tree eqlist); +Tree evaldocexpr (Tree docexpr, Tree eqlist); + + +/** + * Push a new layer and add a single definition. + * @param id the symbol id to be defined + * @param def the definition to be binded to the symbol id + * @param lenv the environment where to push the layer and add the definition + * @return the new environment + */ +Tree pushValueDef(Tree id, Tree def, Tree lenv); + +/* numeric simplification of pattern arguments */ +Tree simplifyPattern (Tree pattern); + +#endif