+++ /dev/null
-/************************************************************************
- ************************************************************************
- 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.
- ************************************************************************
- ************************************************************************/
-
-
-
-/*****************************************************************************
-******************************************************************************
-
- Box Type System
-
-******************************************************************************
-*****************************************************************************/
-
-
-/**\file boxtype.cpp
- * \author Yann Orlarey
- * \version 1.0
- * \date 2003
- * \brief A simple type system for block diagram expressions.
- * The type of a block diagram is defined by a number of inputs and outputs.
- */
-
-
-#include <stdio.h>
-#include <string.h>
-#include "boxes.hh"
-#include "ppbox.hh"
-#include "prim2.hh"
-#include "xtended.hh"
-
-
-Tree BOXTYPEPROP = tree(symbol("boxTypeProp"));
-static bool infereBoxType (Tree box, int* inum, int* onum);
-
-
-
-/**
- * Return the type (number of inputs and outputs) of a box or false if undefined
- * \param box the box we want to know the type
- * \param inum the place to return the number of inputs
- * \param onum the place to return the number of outputs
- * \return true if type is defined, false if undefined
- */
-
-bool getBoxType (Tree box, int* inum, int* onum)
-{
- Tree t;
- if (getProperty(box, BOXTYPEPROP, t)) {
-
- if (isNil(t)) {
- return false;
- } else {
- *inum = hd(t)->node().getInt();
- *onum = tl(t)->node().getInt();
- return true;
- }
-
- } else {
-
- if (infereBoxType(box, inum, onum)) {
- setProperty(box, BOXTYPEPROP, cons(tree(*inum), tree(*onum)));
- return true;
- } else {
- setProperty(box, BOXTYPEPROP, nil);
- return false;
- }
- }
-}
-
-
-
-/**
- * Infere the type (number of inputs and outputs) of a box.
- * The box expression is assumed to be in 'propagation normal form'
- * that is to have been evaluated and residual abstractions to have been
- * converted to symbolic boxes (using a2sb()).
- * \param box the box we want to know the type
- * \param inum the place to return the number of inputs
- * \param onum the place to return the number of outputs
- * \return true if the box expression has a type
- */
-
-static bool infereBoxType (Tree t, int* inum, int* onum)
-{
- Tree a, b, ff, l, s;
- //Tree abstr, genv, vis, lenv;
-
- xtended* p = (xtended*) getUserData(t);
-
- if (p) { *inum = p->arity(); *onum = 1; }
- else if (isBoxInt(t)) { *inum = 0; *onum = 1; }
- else if (isBoxReal(t)) { *inum = 0; *onum = 1; }
- else if (isBoxWire(t)) { *inum = 1; *onum = 1; }
- else if (isBoxCut(t)) { *inum = 1; *onum = 0; }
-
- else if (isBoxSlot(t)) { *inum = 0; *onum = 1; }
- else if (isBoxSymbolic(t,s,b)) { if (!getBoxType(b, inum, onum)) return false; *inum += 1; }
-
- else if (isBoxPatternVar(t,a)) { return false; }
-
- else if (isBoxPrim0(t)) { *inum = 0; *onum = 1; }
- else if (isBoxPrim1(t)) { *inum = 1; *onum = 1; }
- else if (isBoxPrim2(t)) { *inum = 2; *onum = 1; }
- else if (isBoxPrim3(t)) { *inum = 3; *onum = 1; }
- else if (isBoxPrim4(t)) { *inum = 4; *onum = 1; }
- else if (isBoxPrim5(t)) { *inum = 5; *onum = 1; }
-
- else if (isBoxFFun(t,ff)) { *inum = ffarity(ff); *onum = 1; }
- else if (isBoxFConst(t)) { *inum = 0; *onum = 1; }
- else if (isBoxFVar(t)) { *inum = 0; *onum = 1; }
-
- else if (isBoxButton(t)) { *inum = 0; *onum = 1; }
- else if (isBoxCheckbox(t)) { *inum = 0; *onum = 1; }
- else if (isBoxVSlider(t)) { *inum = 0; *onum = 1; }
- else if (isBoxHSlider(t)) { *inum = 0; *onum = 1; }
- else if (isBoxNumEntry(t)) { *inum = 0; *onum = 1; }
- else if (isBoxVGroup(t,l,a)){ return getBoxType(a, inum, onum); }
- else if (isBoxHGroup(t,l,a)){ return getBoxType(a, inum, onum); }
- else if (isBoxTGroup(t,l,a)){ return getBoxType(a, inum, onum); }
-
- else if (isBoxVBargraph(t)) { *inum = 1; *onum = 1; }
- else if (isBoxHBargraph(t)) { *inum = 1; *onum = 1; }
-
- else if (isBoxSeq(t, a, b)) {
-
- int u,v,x,y;
- if (!getBoxType(a, &u, &v)) return false;
- if (!getBoxType(b, &x, &y)) return false;
-
- if (v != x) {
- cerr << "Error in sequential composition (A:B)" << endl
- << "The number of outputs (" << v << ") of A = " << boxpp(a) << endl
- << "must be equal to the number of inputs (" << x << ") of B : " << boxpp(b) << endl;
- exit(1);
- } else {
- *inum = u; *onum = y;
- }
-
- } else if (isBoxPar(t, a, b)) {
-
- int u,v,x,y;
- if (!getBoxType(a, &u, &v)) return false;
- if (!getBoxType(b, &x, &y)) return false;
-
- *inum = u+x; *onum = v+y;
-
- } else if (isBoxSplit(t, a, b)) {
-
- int u,v,x,y;
- if (!getBoxType(a, &u, &v)) return false;
- if (!getBoxType(b, &x, &y)) return false;
-
- if (v == 0) {
- cerr << "Connection error in : " << boxpp(t) << endl
- << "The first expression : " << boxpp(a) << " has no outputs" << endl;
- exit(1);
- }
-
- if (x == 0) {
- cerr << "Connection error in : " << boxpp(t) << endl
- << "The second expression : " << boxpp(b) << " has no inputs" << endl;
- exit(1);
- }
-
- if (x % v != 0) {
- cerr << "Connection error in : " << boxpp(t) << endl
- << "The number of outputs " << v
- << " of the first expression should be a divisor of the number of inputs " << x
- << " of the second expression" << endl;
- exit(1);
- }
-
- *inum = u; *onum = y;
-
- } else if (isBoxMerge(t, a, b)) {
-
- int u,v,x,y;
- if (!getBoxType(a, &u, &v)) return false;
- if (!getBoxType(b, &x, &y)) return false;
-
- if (v == 0) {
- cerr << "Connection error in : " << boxpp(t) << endl
- << "The first expression : " << boxpp(a) << " has no outputs" << endl;
- exit(1);
- }
-
- if (x == 0) {
- cerr << "Connection error in : " << boxpp(t) << endl
- << "The second expression : " << boxpp(b) << " has no inputs" << endl;
- exit(1);
- }
-
- if (v % x != 0) {
- cerr << "Connection error in : " << boxpp(t) << endl
- << "The number of outputs " << v
- << " of the first expression should be a multiple of the number of inputs " << x
- << " of the second expression" << endl;
- exit(1);
- }
-
- *inum = u; *onum = y;
-
- } else if (isBoxRec(t, a, b)) {
-
- int u,v,x,y;
- if (!getBoxType(a, &u, &v)) return false;
- if (!getBoxType(b, &x, &y)) return false;
- if ( (x > v) | (y > u) ) {
- cerr << "Connection error in : " << boxpp(t) << endl;
- if (x > v) cerr << "The number of outputs " << v
- << " of the first expression should be greater or equal \n to the number of inputs " << x
- << " of the second expression" << endl;
- if (y > u) cerr << "The number of inputs " << u
- << " of the first expression should be greater or equal \n to the number of outputs " << y
- << " of the second expression" << endl;
- exit(1);
- }
- *inum = max(0,u-y); *onum = v;
-
- } else if (isBoxEnvironment(t)) {
- cerr << "Connection error : an environment is not a block-diagram : " << boxpp(t) << endl;
- exit(1);
- } else {
- cerr << "boxType() internal error : unrecognized box expression " << boxpp(t) << endl;
- exit(1);
- }
- return true;
-}
-
-
-