boxes.cpp File Reference

Implementation of block diagram expressions. Boxes are created using five main connection operations : sequential (:), parallel (,), split (<:), merge (:>), and recursive (~). More...

#include <stdio.h>
#include <string.h>
#include "boxes.hh"
#include "ppbox.hh"
#include <iostream>
#include <sstream>
#include "prim2.hh"
Include dependency graph for boxes.cpp:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

Tree boxIdent (const char *name)
bool isBoxIdent (Tree t)
bool isBoxIdent (Tree t0, const char **str)
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)
Tree boxCut ()
bool isBoxCut (Tree t)
Tree boxWire ()
bool isBoxWire (Tree t)
Tree boxSlot (int id)
bool isBoxSlot (Tree t)
bool isBoxSlot (Tree t, int *id)
Tree boxSymbolic (Tree slot, Tree body)
bool isBoxSymbolic (Tree t)
bool isBoxSymbolic (Tree t, Tree &slot, Tree &body)
Tree boxSeq (Tree x, Tree y)
bool isBoxSeq (Tree t, Tree &x, Tree &y)
Tree boxPar (Tree x, Tree y)
bool isBoxPar (Tree t, Tree &x, Tree &y)
Tree boxRec (Tree x, Tree y)
bool isBoxRec (Tree t, Tree &x, Tree &y)
Tree boxSplit (Tree x, Tree y)
bool isBoxSplit (Tree t, Tree &x, Tree &y)
Tree boxMerge (Tree x, Tree y)
bool isBoxMerge (Tree t, Tree &x, Tree &y)
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)
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 buildBoxAbstr (Tree largs, Tree body)
Tree buildBoxAppl (Tree fun, Tree revarglist)
Tree closure (Tree abstr, Tree genv, Tree vis, Tree lenv)
bool isClosure (Tree t, Tree &abstr, Tree &genv, Tree &vis, Tree &lenv)
Tree boxError ()
bool isBoxError (Tree t)
Tree boxAccess (Tree exp, Tree id)
bool isBoxAccess (Tree t, Tree &exp, Tree &id)
Tree boxWithLocalDef (Tree body, Tree ldef)
bool isBoxWithLocalDef (Tree t, Tree &body, Tree &ldef)
Tree boxModifLocalDef (Tree body, Tree ldef)
bool isBoxModifLocalDef (Tree t, Tree &body, Tree &ldef)
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)
Tree boxPrim0 (prim0 foo)
bool isBoxPrim0 (Tree s)
bool isBoxPrim0 (Tree s, prim0 *p)
Tree boxPrim1 (prim1 foo)
bool isBoxPrim1 (Tree s)
bool isBoxPrim1 (Tree s, prim1 *p)
Tree boxPrim2 (prim2 foo)
bool isBoxPrim2 (Tree s)
bool isBoxPrim2 (Tree s, prim2 *p)
Tree boxPrim3 (prim3 foo)
bool isBoxPrim3 (Tree s)
bool isBoxPrim3 (Tree s, prim3 *p)
Tree boxPrim4 (prim4 foo)
bool isBoxPrim4 (Tree s)
bool isBoxPrim4 (Tree s, prim4 *p)
Tree boxPrim5 (prim5 foo)
bool isBoxPrim5 (Tree s)
bool isBoxPrim5 (Tree s, prim5 *p)
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)
Tree boxButton (Tree lbl)
bool isBoxButton (Tree s)
bool isBoxButton (Tree s, Tree &lbl)
Tree boxCheckbox (Tree lbl)
bool isBoxCheckbox (Tree s)
bool isBoxCheckbox (Tree s, Tree &lbl)
Tree boxHSlider (Tree lbl, Tree cur, Tree min, Tree max, Tree step)
bool isBoxHSlider (Tree s)
bool isBoxHSlider (Tree s, Tree &lbl, Tree &cur, Tree &min, Tree &max, Tree &step)
Tree boxVSlider (Tree lbl, Tree cur, Tree min, Tree max, Tree step)
bool isBoxVSlider (Tree s)
bool isBoxVSlider (Tree s, Tree &lbl, Tree &cur, Tree &min, Tree &max, Tree &step)
Tree boxNumEntry (Tree lbl, Tree cur, Tree min, Tree max, Tree step)
bool isBoxNumEntry (Tree s)
bool isBoxNumEntry (Tree s, Tree &lbl, Tree &cur, Tree &min, Tree &max, Tree &step)
Tree boxHGroup (Tree lbl, Tree x)
bool isBoxHGroup (Tree s)
bool isBoxHGroup (Tree s, Tree &lbl, Tree &x)
Tree boxVGroup (Tree lbl, Tree x)
bool isBoxVGroup (Tree s)
bool isBoxVGroup (Tree s, Tree &lbl, Tree &x)
Tree boxTGroup (Tree lbl, Tree x)
bool isBoxTGroup (Tree s)
bool isBoxTGroup (Tree s, Tree &lbl, Tree &x)
Tree boxHBargraph (Tree lbl, Tree min, Tree max)
bool isBoxHBargraph (Tree s)
bool isBoxHBargraph (Tree s, Tree &lbl, Tree &min, Tree &max)
Tree boxVBargraph (Tree lbl, Tree min, Tree max)
bool isBoxVBargraph (Tree s)
bool isBoxVBargraph (Tree s, Tree &lbl, Tree &min, Tree &max)
Tree boxCase (Tree rules)
bool isBoxCase (Tree s)
bool isBoxCase (Tree s, Tree &rules)
Tree boxPatternVar (Tree id)
bool isBoxPatternVar (Tree s, Tree &id)
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)

Variables

Sym BOXIDENT = symbol ("BoxIdent")
Sym BOXCUT = symbol ("BoxCut")
Sym BOXWIRE = symbol ("BoxWire")
Sym BOXSLOT = symbol ("BoxSlot")
Sym BOXSYMBOLIC = symbol ("BoxSymbolic")
Sym BOXSEQ = symbol ("BoxSeq")
Sym BOXPAR = symbol ("BoxPar")
Sym BOXREC = symbol ("BoxRec")
Sym BOXSPLIT = symbol ("BoxSplit")
Sym BOXMERGE = symbol ("BoxMerge")
Sym BOXIPAR = symbol ("BoxIPar")
Sym BOXISEQ = symbol ("BoxISeq")
Sym BOXISUM = symbol ("BoxISum")
Sym BOXIPROD = symbol ("BoxIProd")
Sym BOXABSTR = symbol ("BoxAbstr")
Sym BOXAPPL = symbol ("BoxAppl")
Sym CLOSURE = symbol ("Closure")
Sym BOXERROR = symbol ("BoxError")
Sym BOXACCESS = symbol ("BoxAccess")
Sym BOXWITHLOCALDEF = symbol ("BoxWithLocalDef")
Sym BOXMODIFLOCALDEF = symbol ("BoxModifLocalDef")
Sym BOXENVIRONMENT = symbol ("BoxEnvironment")
Sym BOXCOMPONENT = symbol ("BoxComponent")
Sym BOXLIBRARY = symbol ("BoxLibrary")
Sym IMPORTFILE = symbol ("ImportFile")
Sym BOXPRIM0 = symbol ("BoxPrim0")
Sym BOXPRIM1 = symbol ("BoxPrim1")
Sym BOXPRIM2 = symbol ("BoxPrim2")
Sym BOXPRIM3 = symbol ("BoxPrim3")
Sym BOXPRIM4 = symbol ("BoxPrim4")
Sym BOXPRIM5 = symbol ("BoxPrim5")
Sym BOXFFUN = symbol ("BoxFFun")
Sym BOXFCONST = symbol ("BoxFConst")
Sym BOXFVAR = symbol ("BoxFVar")
Sym BOXBUTTON = symbol ("BoxButton")
Sym BOXCHECKBOX = symbol ("BoxCheckbox")
Sym BOXHSLIDER = symbol ("BoxHSlider")
Sym BOXVSLIDER = symbol ("BoxVSlider")
Sym BOXNUMENTRY = symbol ("BoxNumEntry")
Sym BOXHGROUP = symbol ("BoxHGroup")
Sym BOXVGROUP = symbol ("BoxVGroup")
Sym BOXTGROUP = symbol ("BoxTGroup")
Sym BOXHBARGRAPH = symbol ("BoxHBargraph")
Sym BOXVBARGRAPH = symbol ("BoxVBargraph")
Sym BOXCASE = symbol ("BoxCase")
Sym BOXPATMATCHER = symbol ("BoxPatMatcher")
Sym BOXPATVAR = symbol ("BoxPatVar")

Detailed Description

Implementation of block diagram expressions. Boxes are created using five main connection operations : sequential (:), parallel (,), split (<:), merge (:>), and recursive (~).

Author:
Yann Orlarey
Version:
1.0
Date:
2003

Definition in file boxes.cpp.


Function Documentation

Tree boxAbstr ( Tree  x,
Tree  y 
)

Definition at line 170 of file boxes.cpp.

References tree().

Referenced by buildBoxAbstr().

00170 { return tree(BOXABSTR, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxAccess ( Tree  exp,
Tree  id 
)

Definition at line 225 of file boxes.cpp.

References tree().

Referenced by yyparse().

00225 { return tree(BOXACCESS, exp, id); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxAppl ( Tree  x,
Tree  y 
)

Definition at line 171 of file boxes.cpp.

References tree().

Referenced by buildBoxAppl().

00171 { return tree(BOXAPPL, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxButton ( Tree  lbl  ) 

Definition at line 335 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00335 { return tree(BOXBUTTON, lbl);                  }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxCase ( Tree  rules  ) 

Definition at line 445 of file boxes.cpp.

References tree().

Referenced by applyList(), makeDefinition(), and yyparse().

00445 { return tree(BOXCASE, rules);                  }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxCheckbox ( Tree  lbl  ) 

Definition at line 341 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00341 { return tree(BOXCHECKBOX, lbl);                    }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxComponent ( Tree  filename  ) 

Definition at line 259 of file boxes.cpp.

References tree().

Referenced by yyparse().

00259 { return tree(BOXCOMPONENT, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxCut (  ) 

Definition at line 89 of file boxes.cpp.

References tree().

Referenced by yyparse().

00089 { return tree(BOXCUT); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxEnvironment (  ) 

Definition at line 254 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00254 { return tree(BOXENVIRONMENT); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxError (  ) 

Definition at line 214 of file boxes.cpp.

References tree().

Referenced by apply_pattern_matcher(), and applyList().

00215 {
00216     return  tree(BOXERROR);
00217 }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxFConst ( Tree  type,
Tree  name,
Tree  file 
)

Definition at line 319 of file boxes.cpp.

References tree().

Referenced by yyparse().

00319 { return tree(BOXFCONST, type, name, file);             }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxFFun ( Tree  ff  ) 

Definition at line 313 of file boxes.cpp.

References tree().

Referenced by yyparse().

00313 { return tree(BOXFFUN, ff);                 }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxFVar ( Tree  type,
Tree  name,
Tree  file 
)

Definition at line 325 of file boxes.cpp.

References tree().

Referenced by yyparse().

00325 { return tree(BOXFVAR, type, name, file);             }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxHBargraph ( Tree  lbl,
Tree  min,
Tree  max 
)

Definition at line 426 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00426 { return tree(BOXHBARGRAPH, lbl, min, max);     }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxHGroup ( Tree  lbl,
Tree  x 
)

Definition at line 408 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00408 { return tree(BOXHGROUP, lbl, x);               }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxHSlider ( Tree  lbl,
Tree  cur,
Tree  min,
Tree  max,
Tree  step 
)

Definition at line 347 of file boxes.cpp.

References list4(), and tree().

Referenced by realeval(), and yyparse().

00348                                             { return tree(BOXHSLIDER, lbl, list4(cur,min,max,step));        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxIdent ( const char *  name  ) 

Definition at line 56 of file boxes.cpp.

References symbol(), and tree().

Referenced by declareAutoDoc(), evalprocess(), realeval(), writeIdentValue(), and yyparse().

00056 { return tree(BOXIDENT, tree(symbol(name)) ); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxInt ( int  n  ) 

Definition at line 74 of file boxes.cpp.

References tree().

Referenced by isBoxNumeric(), replaceBoxNumeric(), and yyparse().

00074 { return tree(n);   }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxIPar ( Tree  x,
Tree  y,
Tree  z 
)

Definition at line 149 of file boxes.cpp.

References tree().

Referenced by yyparse().

00149 { return tree(BOXIPAR, x, y, z);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxIProd ( Tree  x,
Tree  y,
Tree  z 
)

Definition at line 152 of file boxes.cpp.

References tree().

Referenced by yyparse().

00152 { return tree(BOXIPROD, x, y, z);       }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxISeq ( Tree  x,
Tree  y,
Tree  z 
)

Definition at line 150 of file boxes.cpp.

References tree().

Referenced by yyparse().

00150 { return tree(BOXISEQ, x, y, z);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxISum ( Tree  x,
Tree  y,
Tree  z 
)

Definition at line 151 of file boxes.cpp.

References tree().

Referenced by yyparse().

00151 { return tree(BOXISUM, x, y, z);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxLibrary ( Tree  filename  ) 

Definition at line 264 of file boxes.cpp.

References tree().

Referenced by yyparse().

00264 { return tree(BOXLIBRARY, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxMerge ( Tree  x,
Tree  y 
)

Definition at line 136 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00136 { return tree(BOXMERGE, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxModifLocalDef ( Tree  body,
Tree  ldef 
)

Definition at line 244 of file boxes.cpp.

References tree().

Referenced by yyparse().

00244 { return tree(BOXMODIFLOCALDEF, body, ldef); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxNumEntry ( Tree  lbl,
Tree  cur,
Tree  min,
Tree  max,
Tree  step 
)

Definition at line 388 of file boxes.cpp.

References list4(), and tree().

Referenced by realeval(), and yyparse().

00389                                             { return tree(BOXNUMENTRY, lbl, list4(cur,min,max,step));       }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPar ( Tree  x,
Tree  y 
)

Definition at line 124 of file boxes.cpp.

References tree().

Referenced by iteratePar(), iterateProd(), iterateSum(), larg2par(), realeval(), and yyparse().

00124 { return tree(BOXPAR, x, y);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPatternMatcher ( Automaton a,
int  state,
Tree  env,
Tree  origRules,
Tree  revParamList 
)

Definition at line 453 of file boxes.cpp.

References tree().

Referenced by applyList(), and evalCase().

00454 { 
00455     return tree(BOXPATMATCHER, tree((void*)a), tree(state), env, origRules, revParamList); 
00456 }                   

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPatternVar ( Tree  id  ) 

Definition at line 449 of file boxes.cpp.

References tree().

Referenced by evalIdDef().

00449 { return tree(BOXPATVAR, id);                   }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim0 ( prim0  foo  ) 

Definition at line 279 of file boxes.cpp.

References tree().

00279 { return tree(BOXPRIM0, tree((void*)foo)); }

Here is the call graph for this function:

Tree boxPrim1 ( prim1  foo  ) 

Definition at line 284 of file boxes.cpp.

References tree().

Referenced by yyparse().

00284 { return tree(BOXPRIM1, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim2 ( prim2  foo  ) 

Definition at line 289 of file boxes.cpp.

References tree().

Referenced by iterateProd(), iterateSum(), and yyparse().

00289 { return tree(BOXPRIM2, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim3 ( prim3  foo  ) 

Definition at line 294 of file boxes.cpp.

References tree().

Referenced by yyparse().

00294 { return tree(BOXPRIM3, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim4 ( prim4  foo  ) 

Definition at line 299 of file boxes.cpp.

References tree().

Referenced by yyparse().

00299 { return tree(BOXPRIM4, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxPrim5 ( prim5  foo  ) 

Definition at line 304 of file boxes.cpp.

References tree().

Referenced by yyparse().

00304 { return tree(BOXPRIM5, tree((void*)foo)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxReal ( double  n  ) 

Definition at line 75 of file boxes.cpp.

References tree().

Referenced by isBoxNumeric(), replaceBoxNumeric(), and yyparse().

00075 { return tree(n);   }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxRec ( Tree  x,
Tree  y 
)

Definition at line 128 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00128 { return tree(BOXREC, x, y);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxSeq ( Tree  x,
Tree  y 
)

Definition at line 120 of file boxes.cpp.

References tree().

Referenced by applyList(), iterateProd(), iterateSeq(), iterateSum(), realeval(), and yyparse().

00120 { return tree(BOXSEQ, x, y);        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxSlot ( int  id  ) 

Definition at line 103 of file boxes.cpp.

References tree().

Referenced by real_a2sb().

00103 { return tree(BOXSLOT,tree(id)); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxSplit ( Tree  x,
Tree  y 
)

Definition at line 132 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00132 { return tree(BOXSPLIT, x, y);      }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxSymbolic ( Tree  slot,
Tree  body 
)

Definition at line 110 of file boxes.cpp.

References tree().

Referenced by real_a2sb().

00110 { return tree(BOXSYMBOLIC,slot, body); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxTGroup ( Tree  lbl,
Tree  x 
)

Definition at line 420 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00420 { return tree(BOXTGROUP, lbl, x);               }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxVBargraph ( Tree  lbl,
Tree  min,
Tree  max 
)

Definition at line 432 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00432 { return tree(BOXVBARGRAPH, lbl, min, max);     }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxVGroup ( Tree  lbl,
Tree  x 
)

Definition at line 414 of file boxes.cpp.

References tree().

Referenced by realeval(), and yyparse().

00414 { return tree(BOXVGROUP, lbl, x);               }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxVSlider ( Tree  lbl,
Tree  cur,
Tree  min,
Tree  max,
Tree  step 
)

Definition at line 367 of file boxes.cpp.

References list4(), and tree().

Referenced by realeval(), and yyparse().

00368                                             { return tree(BOXVSLIDER, lbl, list4(cur,min,max,step));        }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxWire (  ) 

Definition at line 93 of file boxes.cpp.

References tree().

Referenced by nwires(), and yyparse().

00093 { return tree(BOXWIRE); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree boxWithLocalDef ( Tree  body,
Tree  ldef 
)

Definition at line 234 of file boxes.cpp.

References tree().

Referenced by yyparse().

00234 { return tree(BOXWITHLOCALDEF, body, ldef); }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree buildBoxAbstr ( Tree  largs,
Tree  body 
)

Definition at line 179 of file boxes.cpp.

References boxAbstr(), buildBoxAbstr(), hd(), isNil(), and tl().

Referenced by buildBoxAbstr(), makeDefinition(), and yyparse().

00180 {
00181     if (isNil(largs)) {
00182         return body;
00183     } else {
00184         return buildBoxAbstr(tl(largs), boxAbstr(hd(largs), body));
00185     }
00186 }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree buildBoxAppl ( Tree  fun,
Tree  revarglist 
)

Definition at line 197 of file boxes.cpp.

References boxAppl(), and isNil().

Referenced by yyparse().

00198 {
00199     if (isNil (revarglist)) exit(1); // a revoir !!!!!!
00200     return  boxAppl(fun, revarglist);
00201 }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree closure ( Tree  abstr,
Tree  genv,
Tree  vis,
Tree  lenv 
)

Definition at line 204 of file boxes.cpp.

References tree().

Referenced by apply_pattern_matcher(), copyEnvReplaceDefs(), pushMultiClosureDefs(), realeval(), and updateClosures().

00205 {
00206     return  tree(CLOSURE, abstr, genv, vis, lenv);
00207 }

Here is the call graph for this function:

Here is the caller graph for this function:

Tree importFile ( Tree  filename  ) 

Definition at line 270 of file boxes.cpp.

References tree().

Referenced by main(), and yyparse().

00270 { return tree(IMPORTFILE, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxAbstr ( Tree  t,
Tree x,
Tree y 
)

Definition at line 176 of file boxes.cpp.

References isTree().

00176 { return isTree(t, BOXABSTR, x, y); }

Here is the call graph for this function:

bool isBoxAbstr ( Tree  t  ) 

Definition at line 173 of file boxes.cpp.

References CTree::node().

Referenced by applyList(), boxpp::print(), real_a2sb(), and realeval().

00173 { return t->node() == Node(BOXABSTR); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxAccess ( Tree  t,
Tree exp,
Tree id 
)

Definition at line 226 of file boxes.cpp.

References isTree().

Referenced by boxpp::print(), and realeval().

00226 { return isTree(t, BOXACCESS, exp, id); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxAppl ( Tree  t,
Tree x,
Tree y 
)

Definition at line 177 of file boxes.cpp.

References isTree().

00177 { return isTree(t, BOXAPPL, x, y); }

Here is the call graph for this function:

bool isBoxAppl ( Tree  t  ) 

Definition at line 174 of file boxes.cpp.

References CTree::node().

Referenced by boxpp::print(), and realeval().

00174 { return t->node() == Node(BOXAPPL); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxButton ( Tree  s,
Tree lbl 
)

Definition at line 337 of file boxes.cpp.

References isTree().

00337 { return isTree(s, BOXBUTTON, lbl);             }

Here is the call graph for this function:

bool isBoxButton ( Tree  s  ) 

Definition at line 336 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00336 { Tree lbl; return isTree(s, BOXBUTTON, lbl);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxCase ( Tree  s,
Tree rules 
)

Definition at line 447 of file boxes.cpp.

References isTree().

00447 { return isTree(s, BOXCASE, rules);             }

Here is the call graph for this function:

bool isBoxCase ( Tree  s  ) 

Definition at line 446 of file boxes.cpp.

References isTree().

Referenced by copyEnvReplaceDefs(), boxpp::print(), pushMultiClosureDefs(), and realeval().

00446 { Tree rules; return isTree(s, BOXCASE, rules); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxCheckbox ( Tree  s,
Tree lbl 
)

Definition at line 343 of file boxes.cpp.

References isTree().

00343 { return isTree(s, BOXCHECKBOX, lbl);               }

Here is the call graph for this function:

bool isBoxCheckbox ( Tree  s  ) 

Definition at line 342 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00342 { Tree lbl; return isTree(s, BOXCHECKBOX, lbl); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxComponent ( Tree  s,
Tree filename 
)

Definition at line 260 of file boxes.cpp.

References isTree().

Referenced by boxpp::print(), and realeval().

00260 { return isTree(s, BOXCOMPONENT, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxCut ( Tree  t  ) 

Definition at line 90 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00090 { return isTree(t, BOXCUT); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxEnvironment ( Tree  s  ) 

Definition at line 255 of file boxes.cpp.

References isTree().

Referenced by applyList(), infereBoxType(), boxpp::print(), real_a2sb(), and realeval().

00255 { return isTree(s, BOXENVIRONMENT); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxError ( Tree  t  ) 

Definition at line 219 of file boxes.cpp.

References isTree().

Referenced by apply_pattern_matcher(), applyList(), make_pattern_matcher(), and boxpp::print().

00220 {
00221     return isTree(t, BOXERROR);
00222 }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxFConst ( Tree  s,
Tree type,
Tree name,
Tree file 
)

Definition at line 321 of file boxes.cpp.

References isTree().

00321 { return isTree(s, BOXFCONST,type, name, file);     }

Here is the call graph for this function:

bool isBoxFConst ( Tree  s  ) 

Definition at line 320 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00320 { Tree t,n,f; return isTree(s, BOXFCONST, t, n, f); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxFFun ( Tree  s,
Tree ff 
)

Definition at line 315 of file boxes.cpp.

References isTree().

00315 { return isTree(s, BOXFFUN, ff);            }

Here is the call graph for this function:

bool isBoxFFun ( Tree  s  ) 

Definition at line 314 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00314 { Tree ff; return isTree(s, BOXFFUN, ff);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxFVar ( Tree  s,
Tree type,
Tree name,
Tree file 
)

Definition at line 327 of file boxes.cpp.

References isTree().

00327 { return isTree(s, BOXFVAR,type, name, file);     }

Here is the call graph for this function:

bool isBoxFVar ( Tree  s  ) 

Definition at line 326 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00326 { Tree t,n,f; return isTree(s, BOXFVAR, t, n, f); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxHBargraph ( Tree  s,
Tree lbl,
Tree min,
Tree max 
)

Definition at line 428 of file boxes.cpp.

References isTree().

00428 { return isTree(s, BOXHBARGRAPH, lbl, min, max); }

Here is the call graph for this function:

bool isBoxHBargraph ( Tree  s  ) 

Definition at line 427 of file boxes.cpp.

References isTree(), max(), and min().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00427 { Tree lbl, min, max; return isTree(s, BOXHBARGRAPH, lbl, min, max);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxHGroup ( Tree  s,
Tree lbl,
Tree x 
)

Definition at line 410 of file boxes.cpp.

References isTree().

00410 { return isTree(s, BOXHGROUP, lbl, x);              }

Here is the call graph for this function:

bool isBoxHGroup ( Tree  s  ) 

Definition at line 409 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().

00409 { Tree lbl, x; return isTree(s, BOXHGROUP, lbl, x); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxHSlider ( Tree  s,
Tree lbl,
Tree cur,
Tree min,
Tree max,
Tree step 
)

Definition at line 351 of file boxes.cpp.

References isTree(), and nth().

00352 {
00353     Tree params;
00354     if (isTree(s, BOXHSLIDER, lbl, params)) {
00355         cur = nth(params, 0);
00356         min = nth(params, 1);
00357         max = nth(params, 2);
00358         step= nth(params, 3);
00359         return true;
00360     } else {
00361         return false;
00362     }
00363 }

Here is the call graph for this function:

bool isBoxHSlider ( Tree  s  ) 

Definition at line 349 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00349 { Tree lbl, params; return isTree(s, BOXHSLIDER, lbl, params);  }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxIdent ( Tree  t0,
const char **  str 
)

Definition at line 58 of file boxes.cpp.

References isSym(), isTree(), name(), and CTree::node().

00059 {
00060     Tree t1; Sym s;
00061     if ( isTree(t0, BOXIDENT, t1) && isSym(t1->node(), &s) ) {
00062         *str = name(s);
00063         return true;
00064     } else {
00065         return false;
00066     }
00067 }

Here is the call graph for this function:

bool isBoxIdent ( Tree  t  ) 

Definition at line 57 of file boxes.cpp.

References CTree::node().

Referenced by boxpp::print(), real_a2sb(), realeval(), and standardArgList().

00057 { return t->node() == Node(BOXIDENT); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxInt ( Tree  t,
int *  i 
)

Definition at line 80 of file boxes.cpp.

References isInt(), and CTree::node().

00080 { return isInt(t->node(), i);   }

Here is the call graph for this function:

bool isBoxInt ( Tree  t  ) 

Definition at line 77 of file boxes.cpp.

References isInt(), and CTree::node().

Referenced by Automaton::build(), computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxNumeric(), boxpp::print(), propagate(), realeval(), and replaceBoxNumeric().

00077 { return isInt(t->node());  }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxIPar ( Tree  t,
Tree x,
Tree y,
Tree z 
)

Definition at line 154 of file boxes.cpp.

References isTree().

Referenced by boxpp::print(), and realeval().

00154 { return isTree(t, BOXIPAR,  x, y, z);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxIProd ( Tree  t,
Tree x,
Tree y,
Tree z 
)

Definition at line 157 of file boxes.cpp.

References isTree().

Referenced by boxpp::print(), and realeval().

00157 { return isTree(t, BOXIPROD, x, y, z);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxISeq ( Tree  t,
Tree x,
Tree y,
Tree z 
)

Definition at line 155 of file boxes.cpp.

References isTree().

Referenced by boxpp::print(), and realeval().

00155 { return isTree(t, BOXISEQ,  x, y, z);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxISum ( Tree  t,
Tree x,
Tree y,
Tree z 
)

Definition at line 156 of file boxes.cpp.

References isTree().

Referenced by boxpp::print(), and realeval().

00156 { return isTree(t, BOXISUM,  x, y, z);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxLibrary ( Tree  s,
Tree filename 
)

Definition at line 265 of file boxes.cpp.

References isTree().

Referenced by realeval().

00265 { return isTree(s, BOXLIBRARY, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxMerge ( Tree  t,
Tree x,
Tree y 
)

Definition at line 137 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().

00137 { return isTree(t, BOXMERGE, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxModifLocalDef ( Tree  t,
Tree body,
Tree ldef 
)

Definition at line 245 of file boxes.cpp.

References isTree().

Referenced by realeval().

00245 { return isTree(t, BOXMODIFLOCALDEF, body, ldef); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxNumEntry ( Tree  s,
Tree lbl,
Tree cur,
Tree min,
Tree max,
Tree step 
)

Definition at line 392 of file boxes.cpp.

References isTree(), and nth().

00393 {
00394     Tree params;
00395     if (isTree(s, BOXNUMENTRY, lbl, params)) {
00396         cur = nth(params, 0);
00397         min = nth(params, 1);
00398         max = nth(params, 2);
00399         step= nth(params, 3);
00400         return true;
00401     } else {
00402         return false;
00403     }
00404 }

Here is the call graph for this function:

bool isBoxNumEntry ( Tree  s  ) 

Definition at line 390 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00390 { Tree lbl, params; return isTree(s, BOXNUMENTRY, lbl, params); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPar ( Tree  t,
Tree x,
Tree y 
)

Definition at line 125 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().

00125 { return isTree(t, BOXPAR, x, y);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPatternMatcher ( Tree  s,
Automaton *&  a,
int &  state,
Tree env,
Tree origRules,
Tree revParamList 
)

Definition at line 464 of file boxes.cpp.

References isTree(), tree2int(), and tree2ptr().

00465 {
00466     Tree ta, ts;
00467     if (isTree(s, BOXPATMATCHER, ta, ts, env, origRules, revParamList)) {
00468         a = (Automaton*)tree2ptr(ta);
00469         state = tree2int(ts);
00470         return true;
00471     } else {
00472         return false;
00473     }
00474 }

Here is the call graph for this function:

bool isBoxPatternMatcher ( Tree  s  ) 

Definition at line 458 of file boxes.cpp.

References isTree().

Referenced by applyList(), boxpp::print(), real_a2sb(), and realeval().

00459 {
00460     Tree ta, ts, env, orig, rpl;
00461     return isTree(s, BOXPATMATCHER, ta, ts, env, orig, rpl);
00462 }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPatternVar ( Tree  s,
Tree id 
)

Definition at line 450 of file boxes.cpp.

References isTree().

Referenced by make_state(), boxpp::print(), and realeval().

00450 { return isTree(s, BOXPATVAR, id);              }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim0 ( Tree  s,
prim0 p 
)

Definition at line 281 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

00281 { Tree t; return isTree(s, BOXPRIM0, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim0 ( Tree  s  ) 

Definition at line 280 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00280 { Tree t; return isTree(s, BOXPRIM0, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim1 ( Tree  s,
prim1 p 
)

Definition at line 286 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

00286 { Tree t; return isTree(s, BOXPRIM1, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim1 ( Tree  s  ) 

Definition at line 285 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00285 { Tree t; return isTree(s, BOXPRIM1, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim2 ( Tree  s,
prim2 p 
)

Definition at line 291 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

00291 { Tree t; return isTree(s, BOXPRIM2, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim2 ( Tree  s  ) 

Definition at line 290 of file boxes.cpp.

References isTree().

Referenced by applyList(), computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00290 { Tree t; return isTree(s, BOXPRIM2, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim3 ( Tree  s,
prim3 p 
)

Definition at line 296 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

00296 { Tree t; return isTree(s, BOXPRIM3, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim3 ( Tree  s  ) 

Definition at line 295 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00295 { Tree t; return isTree(s, BOXPRIM3, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim4 ( Tree  s,
prim4 p 
)

Definition at line 301 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

00301 { Tree t; return isTree(s, BOXPRIM4, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim4 ( Tree  s  ) 

Definition at line 300 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00300 { Tree t; return isTree(s, BOXPRIM4, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxPrim5 ( Tree  s,
prim5 p 
)

Definition at line 306 of file boxes.cpp.

References isPointer(), isTree(), and CTree::node().

00306 { Tree t; return isTree(s, BOXPRIM5, t) && isPointer(t->node(),(void**)p);  }

Here is the call graph for this function:

bool isBoxPrim5 ( Tree  s  ) 

Definition at line 305 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00305 { Tree t; return isTree(s, BOXPRIM5, t);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxReal ( Tree  t,
double *  r 
)

Definition at line 81 of file boxes.cpp.

References isDouble(), and CTree::node().

00081 { return isDouble(t->node(), r); }

Here is the call graph for this function:

bool isBoxReal ( Tree  t  ) 

Definition at line 78 of file boxes.cpp.

References isDouble(), and CTree::node().

Referenced by Automaton::build(), computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxNumeric(), boxpp::print(), propagate(), realeval(), and replaceBoxNumeric().

00078 { return isDouble(t->node()); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxRec ( Tree  t,
Tree x,
Tree y 
)

Definition at line 129 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().

00129 { return isTree(t, BOXREC, x, y);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSeq ( Tree  t,
Tree x,
Tree y 
)

Definition at line 121 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().

00121 { return isTree(t, BOXSEQ, x, y);   }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSlot ( Tree  t,
int *  id 
)

Definition at line 105 of file boxes.cpp.

References isInt(), isTree(), and CTree::node().

00105 { Tree w; return isTree(t, BOXSLOT,w) && isInt(w->node(),id); }

Here is the call graph for this function:

bool isBoxSlot ( Tree  t  ) 

Definition at line 104 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateDiagramSchema(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00104 { Tree w; return isTree(t, BOXSLOT,w); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSplit ( Tree  t,
Tree x,
Tree y 
)

Definition at line 133 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().

00133 { return isTree(t, BOXSPLIT, x, y); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxSymbolic ( Tree  t,
Tree slot,
Tree body 
)

Definition at line 112 of file boxes.cpp.

References isTree().

00112 { return isTree(t, BOXSYMBOLIC, slot, body); }

Here is the call graph for this function:

bool isBoxSymbolic ( Tree  t  ) 

Definition at line 111 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateAbstractionSchema(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00111 { Tree slot, body; return isTree(t, BOXSYMBOLIC, slot, body); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxTGroup ( Tree  s,
Tree lbl,
Tree x 
)

Definition at line 422 of file boxes.cpp.

References isTree().

00422 { return isTree(s, BOXTGROUP, lbl, x);              }

Here is the call graph for this function:

bool isBoxTGroup ( Tree  s  ) 

Definition at line 421 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().

00421 { Tree lbl, x; return isTree(s, BOXTGROUP, lbl, x); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxVBargraph ( Tree  s,
Tree lbl,
Tree min,
Tree max 
)

Definition at line 434 of file boxes.cpp.

References isTree().

00434 { return isTree(s, BOXVBARGRAPH, lbl, min, max); }

Here is the call graph for this function:

bool isBoxVBargraph ( Tree  s  ) 

Definition at line 433 of file boxes.cpp.

References isTree(), max(), and min().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00433 { Tree lbl, min, max; return isTree(s, BOXVBARGRAPH, lbl, min, max);    }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxVGroup ( Tree  s,
Tree lbl,
Tree x 
)

Definition at line 416 of file boxes.cpp.

References isTree().

00416 { return isTree(s, BOXVGROUP, lbl, x);              }

Here is the call graph for this function:

bool isBoxVGroup ( Tree  s  ) 

Definition at line 415 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().

00415 { Tree lbl, x; return isTree(s, BOXVGROUP, lbl, x); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxVSlider ( Tree  s,
Tree lbl,
Tree cur,
Tree min,
Tree max,
Tree step 
)

Definition at line 371 of file boxes.cpp.

References isTree(), and nth().

00372 {
00373     Tree params;
00374     if (isTree(s, BOXVSLIDER, lbl, params)) {
00375         cur = nth(params, 0);
00376         min = nth(params, 1);
00377         max = nth(params, 2);
00378         step= nth(params, 3);
00379         return true;
00380     } else {
00381         return false;
00382     }
00383 }

Here is the call graph for this function:

bool isBoxVSlider ( Tree  s  ) 

Definition at line 369 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00369 { Tree lbl, params; return isTree(s, BOXVSLIDER, lbl, params);  }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxWire ( Tree  t  ) 

Definition at line 94 of file boxes.cpp.

References isTree().

Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().

00094 { return isTree(t, BOXWIRE); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isBoxWithLocalDef ( Tree  t,
Tree body,
Tree ldef 
)

Definition at line 235 of file boxes.cpp.

References isTree().

Referenced by boxpp::print(), and realeval().

00235 { return isTree(t, BOXWITHLOCALDEF, body, ldef); }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isClosure ( Tree  t,
Tree abstr,
Tree genv,
Tree vis,
Tree lenv 
)

Definition at line 209 of file boxes.cpp.

References isTree().

Referenced by applyList(), boxpp::print(), real_a2sb(), realeval(), and updateClosures().

00210 {
00211     return isTree(t, CLOSURE, abstr, genv, vis, lenv);
00212 }

Here is the call graph for this function:

Here is the caller graph for this function:

bool isImportFile ( Tree  s,
Tree filename 
)

Definition at line 271 of file boxes.cpp.

References isTree().

Referenced by SourceReader::expandrec(), formatDefinitions(), and boxpp::print().

00271 { return isTree(s, IMPORTFILE, filename); }

Here is the call graph for this function:

Here is the caller graph for this function:


Variable Documentation

Sym BOXABSTR = symbol ("BoxAbstr")

Definition at line 164 of file boxes.cpp.

Sym BOXACCESS = symbol ("BoxAccess")

Definition at line 168 of file boxes.cpp.

Sym BOXAPPL = symbol ("BoxAppl")

Definition at line 165 of file boxes.cpp.

Sym BOXBUTTON = symbol ("BoxButton")

Definition at line 334 of file boxes.cpp.

Sym BOXCASE = symbol ("BoxCase")

Definition at line 441 of file boxes.cpp.

Sym BOXCHECKBOX = symbol ("BoxCheckbox")

Definition at line 340 of file boxes.cpp.

Sym BOXCOMPONENT = symbol ("BoxComponent")

Definition at line 257 of file boxes.cpp.

Sym BOXCUT = symbol ("BoxCut")

Definition at line 88 of file boxes.cpp.

Sym BOXENVIRONMENT = symbol ("BoxEnvironment")

Definition at line 252 of file boxes.cpp.

Sym BOXERROR = symbol ("BoxError")

Definition at line 167 of file boxes.cpp.

Sym BOXFCONST = symbol ("BoxFConst")

Definition at line 318 of file boxes.cpp.

Sym BOXFFUN = symbol ("BoxFFun")

Definition at line 312 of file boxes.cpp.

Sym BOXFVAR = symbol ("BoxFVar")

Definition at line 324 of file boxes.cpp.

Sym BOXHBARGRAPH = symbol ("BoxHBargraph")

Definition at line 425 of file boxes.cpp.

Sym BOXHGROUP = symbol ("BoxHGroup")

Definition at line 407 of file boxes.cpp.

Sym BOXHSLIDER = symbol ("BoxHSlider")

Definition at line 346 of file boxes.cpp.

Sym BOXIDENT = symbol ("BoxIdent")

Definition at line 54 of file boxes.cpp.

Sym BOXIPAR = symbol ("BoxIPar")

Definition at line 144 of file boxes.cpp.

Sym BOXIPROD = symbol ("BoxIProd")

Definition at line 147 of file boxes.cpp.

Sym BOXISEQ = symbol ("BoxISeq")

Definition at line 145 of file boxes.cpp.

Sym BOXISUM = symbol ("BoxISum")

Definition at line 146 of file boxes.cpp.

Sym BOXLIBRARY = symbol ("BoxLibrary")

Definition at line 262 of file boxes.cpp.

Sym BOXMERGE = symbol ("BoxMerge")

Definition at line 135 of file boxes.cpp.

Sym BOXMODIFLOCALDEF = symbol ("BoxModifLocalDef")

Definition at line 241 of file boxes.cpp.

Sym BOXNUMENTRY = symbol ("BoxNumEntry")

Definition at line 387 of file boxes.cpp.

Sym BOXPAR = symbol ("BoxPar")

Definition at line 123 of file boxes.cpp.

Sym BOXPATMATCHER = symbol ("BoxPatMatcher")

Definition at line 442 of file boxes.cpp.

Sym BOXPATVAR = symbol ("BoxPatVar")

Definition at line 443 of file boxes.cpp.

Sym BOXPRIM0 = symbol ("BoxPrim0")

Definition at line 278 of file boxes.cpp.

Sym BOXPRIM1 = symbol ("BoxPrim1")

Definition at line 283 of file boxes.cpp.

Sym BOXPRIM2 = symbol ("BoxPrim2")

Definition at line 288 of file boxes.cpp.

Sym BOXPRIM3 = symbol ("BoxPrim3")

Definition at line 293 of file boxes.cpp.

Sym BOXPRIM4 = symbol ("BoxPrim4")

Definition at line 298 of file boxes.cpp.

Sym BOXPRIM5 = symbol ("BoxPrim5")

Definition at line 303 of file boxes.cpp.

Sym BOXREC = symbol ("BoxRec")

Definition at line 127 of file boxes.cpp.

Sym BOXSEQ = symbol ("BoxSeq")

Definition at line 119 of file boxes.cpp.

Sym BOXSLOT = symbol ("BoxSlot")

Definition at line 101 of file boxes.cpp.

Sym BOXSPLIT = symbol ("BoxSplit")

Definition at line 131 of file boxes.cpp.

Sym BOXSYMBOLIC = symbol ("BoxSymbolic")

Definition at line 108 of file boxes.cpp.

Sym BOXTGROUP = symbol ("BoxTGroup")

Definition at line 419 of file boxes.cpp.

Sym BOXVBARGRAPH = symbol ("BoxVBargraph")

Definition at line 431 of file boxes.cpp.

Sym BOXVGROUP = symbol ("BoxVGroup")

Definition at line 413 of file boxes.cpp.

Sym BOXVSLIDER = symbol ("BoxVSlider")

Definition at line 366 of file boxes.cpp.

Sym BOXWIRE = symbol ("BoxWire")

Definition at line 92 of file boxes.cpp.

Sym BOXWITHLOCALDEF = symbol ("BoxWithLocalDef")

Definition at line 232 of file boxes.cpp.

Sym CLOSURE = symbol ("Closure")

Definition at line 166 of file boxes.cpp.

Sym IMPORTFILE = symbol ("ImportFile")

Definition at line 268 of file boxes.cpp.

Generated on Tue Aug 10 08:04:10 2010 for FAUST compiler by  doxygen 1.6.3