--- /dev/null
+#ifndef _BOXES_
+#define _BOXES_
+
+/************************************************************************
+ ************************************************************************
+ 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.
+ ************************************************************************
+ ************************************************************************/
+
+
+
+/*****************************************************************************
+******************************************************************************
+ FAUST BOX ALGEBRA
+ Y. Orlarey, (c) Grame 2002
+------------------------------------------------------------------------------
+box ::= i | f | p0 | p1 | p3
+ | _ | ! | a:b | a<:b | a,b | a:>b | a~b
+
+ History :
+ ---------
+ 2002-06-06 : First version
+
+******************************************************************************
+*****************************************************************************/
+
+#include "tlib.hh"
+#include "signals.hh"
+
+struct Automaton;
+
+/*****************************************************************************
+******************************************************************************
+
+ The Box Language
+
+******************************************************************************
+*****************************************************************************/
+
+
+/*****************************************************************************
+ Identifiers
+*****************************************************************************/
+
+Tree boxIdent(const char* name);
+bool isBoxIdent(Tree t);
+bool isBoxIdent(Tree t, const char** name);
+
+
+/*****************************************************************************
+ Numbers
+*****************************************************************************/
+
+Tree boxInt(int n);
+Tree boxReal(double n);
+
+bool isBoxInt(Tree t);
+bool isBoxReal(Tree t);
+
+bool isBoxInt(Tree t, int* i);
+bool isBoxReal(Tree t, double* r);
+
+
+/*****************************************************************************
+ Wire and Cut
+*****************************************************************************/
+
+Tree boxWire();
+Tree boxCut();
+
+bool isBoxWire(Tree t);
+bool isBoxCut(Tree t);
+
+
+/*****************************************************************************
+ Symbolic Boxes with symbolic slots
+*****************************************************************************/
+
+Tree boxSlot(int id);
+Tree boxSymbolic(Tree slot, Tree body);
+
+bool isBoxSlot(Tree t);
+bool isBoxSymbolic(Tree t);
+
+bool isBoxSlot(Tree t, int* id);
+bool isBoxSymbolic(Tree t, Tree& slot, Tree& body);
+
+
+/*****************************************************************************
+ Composition of Boxes
+*****************************************************************************/
+
+Tree boxSeq (Tree x, Tree y);
+Tree boxPar (Tree x, Tree y);
+Tree boxRec (Tree x, Tree y);
+Tree boxSplit (Tree x, Tree y);
+Tree boxMerge (Tree x, Tree y);
+
+bool isBoxSeq (Tree t, Tree& x, Tree& y);
+bool isBoxPar (Tree t, Tree& x, Tree& y);
+bool isBoxRec (Tree t, Tree& x, Tree& y);
+bool isBoxSplit (Tree t, Tree& x, Tree& y);
+bool isBoxMerge (Tree t, Tree& x, Tree& y);
+
+/*****************************************************************************
+ Algorithmic Composition of Boxes
+*****************************************************************************/
+
+Tree boxIPar(Tree x, Tree y, Tree z);
+Tree boxISeq(Tree x, Tree y, Tree z);
+Tree boxISum(Tree x, Tree y, Tree z);
+Tree boxIProd(Tree x, Tree y, Tree z);
+
+bool isBoxIPar(Tree t, Tree& x, Tree& y, Tree& z);
+bool isBoxISeq(Tree t, Tree& x, Tree& y, Tree& z);
+bool isBoxISum(Tree t, Tree& x, Tree& y, Tree& z);
+bool isBoxIProd(Tree t, Tree& x, Tree& y, Tree& z);
+
+
+/*****************************************************************************
+ Lambda-Calculus of Boxes
+*****************************************************************************/
+
+Tree buildBoxAbstr (Tree x, Tree y);
+Tree buildBoxAppl (Tree x, Tree y);
+
+Tree boxAbstr (Tree x, Tree y);
+Tree boxAppl (Tree x, Tree y);
+
+bool isBoxAbstr (Tree t);
+bool isBoxAppl (Tree t);
+
+bool isBoxAbstr (Tree t, Tree& x, Tree& y);
+bool isBoxAppl (Tree t, Tree& x, Tree& y);
+
+Tree closure (Tree abstr, Tree genv, Tree vis, Tree lenv);
+
+bool isClosure (Tree t, Tree& abstr, Tree& genv, Tree& vis, Tree& lenv);
+
+// for foo(x,y).faa expressions
+Tree boxAccess (Tree exp, Tree id);
+bool isBoxAccess(Tree t, Tree& exp, Tree& id);
+
+
+/*****************************************************************************
+ Boxes with local definitions
+*****************************************************************************/
+
+Tree boxWithLocalDef (Tree body, Tree ldef);
+bool isBoxWithLocalDef (Tree t, Tree& body, Tree& ldef);
+
+
+/*****************************************************************************
+ Modification of local definitions
+*****************************************************************************/
+
+Tree boxModifLocalDef (Tree body, Tree ldef);
+bool isBoxModifLocalDef (Tree t, Tree& body, Tree& ldef);
+
+
+/*****************************************************************************
+ Error Boxe
+*****************************************************************************/
+
+Tree boxError();
+bool isBoxError(Tree t);
+
+/*****************************************************************************
+ Primitive Boxes (n -> 1)
+*****************************************************************************/
+
+typedef Tree (*prim0)();
+typedef Tree (*prim1)(Tree x);
+typedef Tree (*prim2)(Tree x, Tree y);
+typedef Tree (*prim3)(Tree x, Tree y, Tree z);
+typedef Tree (*prim4)(Tree w, Tree x, Tree y, Tree z);
+typedef Tree (*prim5)(Tree v, Tree w, Tree x, Tree y, Tree z);
+
+Tree boxPrim0 (prim0 foo);
+Tree boxPrim1 (prim1 foo);
+Tree boxPrim2 (prim2 foo);
+Tree boxPrim3 (prim3 foo);
+Tree boxPrim4 (prim4 foo);
+Tree boxPrim5 (prim5 foo);
+
+bool isBoxPrim0 (Tree s);
+bool isBoxPrim1 (Tree s);
+bool isBoxPrim2 (Tree s);
+bool isBoxPrim3 (Tree s);
+bool isBoxPrim4 (Tree s);
+bool isBoxPrim5 (Tree s);
+
+bool isBoxPrim0 (Tree s, prim0* p);
+bool isBoxPrim1 (Tree s, prim1* p);
+bool isBoxPrim2 (Tree s, prim2* p);
+bool isBoxPrim3 (Tree s, prim3* p);
+bool isBoxPrim4 (Tree s, prim4* p);
+bool isBoxPrim5 (Tree s, prim5* p);
+
+
+/*****************************************************************************
+ Foreign Functions
+*****************************************************************************/
+
+Tree boxFFun (Tree ff);
+bool isBoxFFun (Tree s);
+bool isBoxFFun (Tree s, Tree& ff);
+
+
+Tree boxFConst (Tree type, Tree name, Tree file);
+bool isBoxFConst (Tree s);
+bool isBoxFConst (Tree s, Tree& type, Tree& name, Tree& file);
+
+
+Tree boxFVar (Tree type, Tree name, Tree file);
+bool isBoxFVar (Tree s);
+bool isBoxFVar (Tree s, Tree& type, Tree& name, Tree& file);
+
+
+/*****************************************************************************
+ Modules
+*****************************************************************************/
+
+Tree boxEnvironment();
+bool isBoxEnvironment (Tree s);
+
+Tree boxComponent (Tree filename);
+bool isBoxComponent (Tree s, Tree& filename);
+
+Tree boxLibrary (Tree filename);
+bool isBoxLibrary (Tree s, Tree& filename);
+
+Tree importFile(Tree filename);
+bool isImportFile(Tree s, Tree& filename);
+
+
+/*****************************************************************************
+ User Interface Elements
+*****************************************************************************/
+
+Tree boxButton (Tree label);
+bool isBoxButton (Tree s);
+bool isBoxButton (Tree s, Tree& label);
+
+Tree boxCheckbox (Tree label);
+bool isBoxCheckbox (Tree s);
+bool isBoxCheckbox (Tree s, Tree& label);
+
+Tree boxVSlider (Tree label, Tree cur, Tree min, Tree max, Tree step);
+bool isBoxVSlider (Tree s);
+bool isBoxVSlider (Tree s, Tree& label, Tree& cur, Tree& min, Tree& max, Tree& step);
+
+Tree boxHSlider (Tree label, Tree cur, Tree min, Tree max, Tree step);
+bool isBoxHSlider (Tree s);
+bool isBoxHSlider (Tree s, Tree& label, Tree& cur, Tree& min, Tree& max, Tree& step);
+
+Tree boxNumEntry (Tree label, Tree cur, Tree min, Tree max, Tree step);
+bool isBoxNumEntry (Tree s);
+bool isBoxNumEntry (Tree s, Tree& label, Tree& cur, Tree& min, Tree& max, Tree& step);
+
+Tree boxVGroup (Tree label, Tree x);
+bool isBoxVGroup (Tree s);
+bool isBoxVGroup (Tree s, Tree& label, Tree& x);
+
+Tree boxHGroup (Tree label, Tree x);
+bool isBoxHGroup (Tree s);
+bool isBoxHGroup (Tree s, Tree& label, Tree& x);
+
+Tree boxTGroup (Tree label, Tree x);
+bool isBoxTGroup (Tree s);
+bool isBoxTGroup (Tree s, Tree& label, Tree& x);
+
+// GUI outputs
+Tree boxVBargraph (Tree label, Tree min, Tree max);
+bool isBoxVBargraph (Tree s);
+bool isBoxVBargraph (Tree s, Tree& label, Tree& min, Tree& max);
+
+Tree boxHBargraph (Tree label, Tree min, Tree max);
+bool isBoxHBargraph (Tree s);
+bool isBoxHBargraph (Tree s, Tree& label, Tree& min, Tree& max);
+
+
+/*****************************************************************************
+ case (pattern matching)
+*****************************************************************************/
+Tree boxCase (Tree rules);
+bool isBoxCase (Tree s);
+bool isBoxCase (Tree s, Tree& rules);
+
+Tree boxPatternMatcher (Automaton* a, int state, Tree env, Tree origRules, Tree revParamList);
+bool isBoxPatternMatcher (Tree s);
+bool isBoxPatternMatcher (Tree s, Automaton*& a, int& state, Tree& env, Tree& origRules, Tree& revParamList);
+
+// wrap an id into a pattern variable
+Tree boxPatternVar (Tree id);
+bool isBoxPatternVar(Tree s, Tree& id);
+
+
+/*****************************************************************************
+******************************************************************************
+
+ Box Algorithms
+
+******************************************************************************
+*****************************************************************************/
+
+// return the number of input
+bool getBoxType (Tree box, int* inum, int* onum);
+
+
+#endif
projects / Faustine.git / blobdiff