+++ /dev/null
-#include <signals.hh>
-#include <property.hh>
-
-/**
- * Extract the sub signals of a signal expression, that is not
- * necesseraly all the subtrees.
- * @param sig the signals
- * @param vsigs a reference to the vector where the subsignals will be placed
- * @return the number of subsignals
- */
-
-int getSubSignals (Tree sig, vector<Tree>& vsigs, bool visitgen)
-{
- vsigs.clear();
-
- int i;
- double r;
- Tree c, sel, x, y, z, u, v, var, le, label, id, ff, largs, type, name, file;
-
- if ( getUserData(sig) ) { for (int i=0; i<sig->arity(); i++) { vsigs.push_back(sig->branch(i)); }
- return sig->arity(); }
- else if ( isSigInt(sig, &i) ) { return 0; }
- else if ( isSigReal(sig, &r) ) { return 0; }
- else if ( isSigInput(sig, &i) ) { return 0; }
- else if ( isSigOutput(sig, &i, x) ) { vsigs.push_back(x); return 1; }
-
- else if ( isSigDelay1(sig, x) ) { vsigs.push_back(x); return 1; }
-
- else if ( isSigFixDelay(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isSigPrefix(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isSigIota(sig, x) ) { vsigs.push_back(x); return 1; }
-
- else if ( isSigBinOp(sig, &i, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isSigFFun(sig, ff, largs) ) { int n = 0; while (!isNil(largs)) { vsigs.push_back(hd(largs)); largs = tl(largs); n++; } return n; }
- else if ( isSigFConst(sig, type, name, file) ) { return 0; }
- else if ( isSigFVar(sig, type, name, file) ) { return 0; }
-
- else if ( isSigTable(sig, id, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isSigWRTbl(sig, id, x, y, z) ) { vsigs.push_back(x); vsigs.push_back(y); vsigs.push_back(z); return 3; }
- else if ( isSigRDTbl(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
-
- else if ( isSigDocConstantTbl(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isSigDocWriteTbl(sig, x, y, u, v) ) { vsigs.push_back(x); vsigs.push_back(y); vsigs.push_back(u); vsigs.push_back(v); return 4; }
- else if ( isSigDocAccessTbl(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
-
-
- else if ( isSigSelect2(sig, sel, x, y) ) { vsigs.push_back(sel); vsigs.push_back(x); vsigs.push_back(y); return 3; }
- else if ( isSigSelect3(sig, sel, x, y, z) ) { vsigs.push_back(sel); vsigs.push_back(x); vsigs.push_back(y); vsigs.push_back(z); return 4; }
-
- else if ( isSigGen(sig, x) ) { if (visitgen) { vsigs.push_back(x); return 1;} else { return 0; } }
-
- else if ( isProj(sig, &i, x) ) { vsigs.push_back(x); return 1; }
- else if ( isRec(sig, var, le) ) { vsigs.push_back(le); return 1; }
-
- else if ( isSigIntCast(sig, x) ) { vsigs.push_back(x); return 1; }
- else if ( isSigFloatCast(sig, x) ) { vsigs.push_back(x); return 1; }
-
- else if ( isSigButton(sig, label) ) { return 0; }
- else if ( isSigCheckbox(sig, label) ) { return 0; }
- else if ( isSigVSlider(sig, label,c,x,y,z) ) { return 0; }
- else if ( isSigHSlider(sig, label,c,x,y,z) ) { return 0; }
- else if ( isSigNumEntry(sig, label,c,x,y,z) ) { return 0; }
-
- else if ( isSigVBargraph(sig, label,x,y,z) ) { vsigs.push_back(z); return 1; }
- else if ( isSigHBargraph(sig, label,x,y,z) ) { vsigs.push_back(z); return 1; }
- else if ( isSigAttach(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isList(sig) ) { vsigs.push_back(hd(sig)); vsigs.push_back(tl(sig)); return 2; }
- else if ( isNil(sig) ) { return 0; }
-
- // multirate extension
-
- else if ( isSigVectorize(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isSigSerialize(sig, x) ) { vsigs.push_back(x); return 1; }
- else if ( isSigConcat(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isSigVectorAt(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
-
- else if ( isSigUpSample(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
- else if ( isSigDownSample(sig, x, y) ) { vsigs.push_back(x); vsigs.push_back(y); return 2; }
-
-
- else {
- cerr << "ERROR in getSubSignals(), unrecognized signal : " << *sig << endl;
- exit(1);
- }
- return 0;
-}