Replace Sys.time by Unix.time in main.ml.
[Faustine.git] / interpreter / preprocessor / faust-0.9.47mr3 / compiler / signals / ppsig.cpp
1 /************************************************************************
2 ************************************************************************
3 FAUST compiler
4 Copyright (C) 2003-2004 GRAME, Centre National de Creation Musicale
5 ---------------------------------------------------------------------
6 This program is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program; if not, write to the Free Software
18 Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
19 ************************************************************************
20 ************************************************************************/
21
22
23
24 #include "ppsig.hh"
25 #include "binop.hh"
26 #include "prim2.hh"
27 #include "xtended.hh"
28 #include "recursivness.hh"
29
30 ostream& ppsig::printinfix (ostream& fout, const string& opname, int priority, Tree x, Tree y) const
31 {
32 if (fPriority > priority) fout << "(";
33 fout << ppsig(x,fEnv,priority) << opname << ppsig(y,fEnv,priority);
34 if (fPriority > priority) fout << ")";
35 return fout;
36 }
37
38 ostream& ppsig::printfun (ostream& fout, const string& funame, Tree x) const
39 {
40 return fout << funame << '(' << ppsig(x,fEnv) << ')';
41 }
42
43 ostream& ppsig::printfun (ostream& fout, const string& funame, Tree x, Tree y) const
44 {
45 return fout << funame << '(' << ppsig(x,fEnv) << ',' << ppsig(y,fEnv) << ')';
46 }
47
48 ostream& ppsig::printfun (ostream& fout, const string& funame, Tree x, Tree y, Tree z) const
49 {
50 return fout << funame << '(' << ppsig(x,fEnv) << ',' << ppsig(y,fEnv) << ',' << ppsig(z,fEnv) << ')';
51 }
52
53 ostream& ppsig::printfun (ostream& fout, const string& funame, Tree x, Tree y, Tree z, Tree zz) const
54 {
55 return fout << funame << '(' << ppsig(x,fEnv) << ',' << ppsig(y,fEnv) << ',' << ppsig(z,fEnv) << ',' << ppsig(zz,fEnv) << ')';
56 }
57
58 ostream& ppsig::printfun (ostream& fout, const string& funame, Tree x, Tree y, Tree z, Tree z2, Tree z3) const
59 {
60 return fout << funame << '(' << ppsig(x,fEnv) << ',' << ppsig(y,fEnv) << ',' << ppsig(z,fEnv) << ',' << ppsig(z2,fEnv) << ',' << ppsig(z3,fEnv) << ')';
61 }
62
63 ostream& ppsig::printui (ostream& fout, const string& funame, Tree label) const
64 {
65 fout << funame << '(';
66 printlabel(fout, label);
67 return fout << ')';
68 }
69
70 ostream& ppsig::printui (ostream& fout, const string& funame, Tree label, Tree lo, Tree hi, Tree step) const
71 {
72 fout << funame << '(';
73 printlabel(fout, label);
74 return fout
75 << ',' << ppsig(lo,fEnv)
76 << ',' << ppsig(hi,fEnv)
77 << ',' << ppsig(step,fEnv)
78 << ')';
79 }
80
81 ostream& ppsig::printui (ostream& fout, const string& funame, Tree label, Tree cur, Tree lo, Tree hi, Tree step) const
82 {
83 fout << funame << '(';
84 printlabel(fout, label);
85 return fout
86 << ',' << ppsig(cur,fEnv)
87 << ',' << ppsig(lo,fEnv)
88 << ',' << ppsig(hi,fEnv)
89 << ',' << ppsig(step,fEnv)
90 << ')';
91 }
92
93 ostream& ppsig::printout (ostream& fout, int i, Tree x) const
94 {
95 if (fPriority > 0) fout << "(";
96 fout << "OUT" << i << " = " << ppsig(x, fEnv, 0);
97 if (fPriority > 0) fout << ")";
98 return fout;
99 }
100
101 ostream& ppsig::printlabel (ostream& fout, Tree pathname) const
102 {
103 fout << *hd(pathname);
104 pathname = tl(pathname);
105 while (!isNil(pathname)) {
106 fout << '/' << *tl(hd(pathname));
107 pathname = tl(pathname);
108 }
109 return fout;
110 }
111
112 ostream& ppsig::printlist (ostream& fout, Tree largs) const
113 {
114 string sep = "";
115 fout << '(';
116 while (!isNil(largs)) {
117 fout << sep << ppsig(hd(largs), fEnv);
118 sep = ", ";
119 largs = tl(largs);
120 }
121 fout << ')';
122 return fout;
123 }
124
125 ostream& ppsig::printff (ostream& fout, Tree ff, Tree largs) const
126 {
127 fout << ffname(ff); printlist(fout, largs);
128 return fout;
129 }
130
131 ostream& ppsig::printFixDelay (ostream& fout, Tree exp, Tree delay) const
132 {
133 int d;
134
135 if (isSigInt(delay, &d) && (d==1)) {
136 fout << ppsig(exp,fEnv,8) << "'";
137 } else {
138 printinfix(fout, "@", 8, exp, delay);
139 }
140 return fout;
141 }
142
143 // else if ( isSigFixDelay(sig, x, y) ) { printinfix(fout, "@", 8, x, y); }
144
145 ostream& ppsig::printrec (ostream& fout, Tree var, Tree lexp, bool hide) const
146 {
147 if (isElement(var, fEnv) ) {
148 fout << *var;
149 } else if (hide) {
150 fout << *var;
151 } else {
152 fout << "letrec(" << *var << " = " << ppsig(lexp, addElement(var, fEnv)) << ")";
153 }
154 return fout;
155 }
156
157 ostream& ppsig::printrec (ostream& fout, Tree lexp, bool hide) const
158 {
159 fout << "debruijn(" << ppsig(lexp,fEnv) << ")";
160 return fout;
161 }
162
163 ostream& ppsig::printextended (ostream& fout, Tree sig) const
164 {
165 string sep = "";
166 xtended* p = (xtended*) getUserData(sig);
167
168 fout << p->name() << '(';
169 for (int i = 0; i < sig->arity(); i++) {
170 fout << sep << ppsig(sig->branch(i), fEnv);
171 sep = ", ";
172 }
173 fout << ')';
174 return fout;
175 }
176
177
178 ostream& ppsig::print (ostream& fout) const
179 {
180 int i;
181 double r;
182 Tree c, sel, x, y, z, u, var, le, label, id, ff, largs, type, name, file;
183
184 if ( isList(sig) ) { printlist(fout, sig); }
185 else if ( isProj(sig, &i, x) ) { fout << "proj" << i << '(' << ppsig(x, fEnv) << ')'; }
186 else if ( isRec(sig, var, le) ) { printrec(fout, var, le, fHideRecursion /*&& (getRecursivness(sig)==0)*/ ); }
187
188 // debruinj notation
189 else if ( isRec(sig, le) ) { printrec(fout, le, fHideRecursion ); }
190 else if ( isRef(sig, i) ) { fout << "REF[" << i << "]"; }
191
192 else if ( getUserData(sig) ) { printextended(fout, sig); }
193 else if ( isSigInt(sig, &i) ) { fout << i; }
194 else if ( isSigReal(sig, &r) ) { fout << r; }
195 else if ( isSigInput(sig, &i) ) { fout << "IN[" << i << "]"; }
196 else if ( isSigOutput(sig, &i, x) ) { printout(fout, i, x) ; }
197
198 else if ( isSigDelay1(sig, x) ) { fout << ppsig(x, fEnv, 9) << "'"; }
199 //else if ( isSigFixDelay(sig, x, y) ) { printinfix(fout, "@", 8, x, y); }
200 else if ( isSigFixDelay(sig, x, y) ) { printFixDelay(fout, x, y); }
201 else if ( isSigPrefix(sig, x, y) ) { printfun(fout, "prefix", x, y); }
202 else if ( isSigIota(sig, x) ) { printfun(fout, "iota", x); }
203 else if ( isSigBinOp(sig, &i, x, y) ) { printinfix(fout, gBinOpTable[i]->fName, gBinOpTable[i]->fPriority, x, y); }
204 else if ( isSigFFun(sig, ff, largs) ) { printff(fout, ff, largs); }
205 else if ( isSigFConst(sig, type, name, file) ) { fout << tree2str(name); }
206 else if ( isSigFVar(sig, type, name, file) ) { fout << tree2str(name); }
207
208 else if ( isSigTable(sig, id, x, y) ) { printfun(fout, "TABLE", x, y); }
209 else if ( isSigWRTbl(sig, id, x, y, z) ) { printfun(fout, "write", x, y, z); }
210 else if ( isSigRDTbl(sig, x, y) ) { printfun(fout, "read", x, y); }
211 else if ( isSigGen(sig, x) ) { fout << ppsig(x, fEnv, fPriority); }
212
213 else if ( isSigDocConstantTbl(sig, x, y) ) { printfun(fout, "docConstantTbl", x, y); }
214 else if ( isSigDocWriteTbl(sig, x, y, z, u) ) { printfun(fout, "docWriteTbl", x, y, z, u); }
215 else if ( isSigDocAccessTbl(sig, x, y) ) { printfun(fout, "docAccessTbl", x, y); }
216
217 else if ( isSigSelect2(sig, sel, x, y) ) { printfun(fout, "select2", sel, x, y); }
218 else if ( isSigSelect3(sig, sel, x, y, z) ) { printfun(fout, "select3", sel, x, y, z); }
219
220 else if ( isSigIntCast(sig, x) ) { printfun(fout, "int", x); }
221 else if ( isSigFloatCast(sig, x) ) { printfun(fout, "float", x); }
222
223 else if ( isSigButton(sig, label) ) { printui(fout, "button", label); }
224 else if ( isSigCheckbox(sig, label) ) { printui(fout, "checkbox", label); }
225 else if ( isSigVSlider(sig, label,c,x,y,z) ) { printui(fout, "vslider", label, c, x, y, z); }
226 else if ( isSigHSlider(sig, label,c,x,y,z) ) { printui(fout, "hslider", label, c, x, y, z); }
227 else if ( isSigNumEntry(sig, label,c,x,y,z) ) { printui(fout, "nentry", label, c, x, y, z); }
228 else if ( isSigVBargraph(sig, label,x,y,z) ) { printui(fout, "vbargraph", label, x, y, z); }
229 else if ( isSigHBargraph(sig, label,x,y,z) ) { printui(fout, "hbargraph", label, x, y, z); }
230 else if ( isSigAttach(sig, x, y) ) { printfun(fout, "attach", x, y); }
231
232 else if ( isSigVectorize(sig,x,y)) { printfun(fout, "vectorize", x, y); }
233 else if ( isSigSerialize(sig,x)) { printfun(fout, "serialize", x); }
234 else if ( isSigVectorAt(sig,x,y)) { printfun(fout, "vectorAt", x, y); }
235 else if ( isSigConcat(sig,x,y)) { printfun(fout, "concat", x, y); }
236
237 else if ( isSigUpSample(sig,x,y)) { printfun(fout, "up", x, y); }
238 else if ( isSigDownSample(sig,x,y)) { printfun(fout, "down", x, y); }
239
240 else {
241 cerr << "NOT A SIGNAL : " << *sig << endl;
242 //exit(1);
243 }
244 return fout;
245 }
246