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"
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") |
Implementation of block diagram expressions. Boxes are created using five main connection operations : sequential (:), parallel (,), split (<:), merge (:>), and recursive (~).
Definition in file boxes.cpp.
Definition at line 445 of file boxes.cpp.
References tree().
Referenced by applyList(), makeDefinition(), and yyparse().
Definition at line 341 of file boxes.cpp.
References tree().
Referenced by realeval(), and yyparse().
00341 { return tree(BOXCHECKBOX, lbl); }
Tree boxCut | ( | ) |
Tree boxEnvironment | ( | ) |
Definition at line 254 of file boxes.cpp.
References tree().
Referenced by realeval(), and yyparse().
00254 { return tree(BOXENVIRONMENT); }
Tree boxError | ( | ) |
Definition at line 214 of file boxes.cpp.
References tree().
Referenced by apply_pattern_matcher(), and applyList().
Definition at line 426 of file boxes.cpp.
References tree().
Referenced by realeval(), and yyparse().
00426 { return tree(BOXHBARGRAPH, lbl, min, max); }
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)); }
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().
Tree boxInt | ( | int | n | ) |
Definition at line 74 of file boxes.cpp.
References tree().
Referenced by isBoxNumeric(), replaceBoxNumeric(), and yyparse().
00074 { return tree(n); }
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)); }
Definition at line 124 of file boxes.cpp.
References tree().
Referenced by iteratePar(), iterateProd(), iterateSum(), larg2par(), realeval(), and yyparse().
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 }
Definition at line 289 of file boxes.cpp.
References tree().
Referenced by iterateProd(), iterateSum(), and yyparse().
Tree boxReal | ( | double | n | ) |
Definition at line 75 of file boxes.cpp.
References tree().
Referenced by isBoxNumeric(), replaceBoxNumeric(), and yyparse().
00075 { return tree(n); }
Definition at line 120 of file boxes.cpp.
References tree().
Referenced by applyList(), iterateProd(), iterateSeq(), iterateSum(), realeval(), and yyparse().
Tree boxSlot | ( | int | id | ) |
Definition at line 110 of file boxes.cpp.
References tree().
Referenced by real_a2sb().
00110 { return tree(BOXSYMBOLIC,slot, body); }
Definition at line 432 of file boxes.cpp.
References tree().
Referenced by realeval(), and yyparse().
00432 { return tree(BOXVBARGRAPH, lbl, min, max); }
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)); }
Tree boxWire | ( | ) |
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 }
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 }
Definition at line 204 of file boxes.cpp.
References tree().
Referenced by apply_pattern_matcher(), copyEnvReplaceDefs(), pushMultiClosureDefs(), realeval(), and updateClosures().
bool isBoxAbstr | ( | Tree | t | ) |
Definition at line 173 of file boxes.cpp.
References CTree::node().
Referenced by applyList(), boxpp::print(), real_a2sb(), and realeval().
Definition at line 226 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), and realeval().
bool isBoxAppl | ( | Tree | t | ) |
Definition at line 174 of file boxes.cpp.
References CTree::node().
Referenced by boxpp::print(), and realeval().
bool isBoxButton | ( | Tree | s | ) |
Definition at line 336 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
bool isBoxCase | ( | Tree | s | ) |
Definition at line 446 of file boxes.cpp.
References isTree().
Referenced by copyEnvReplaceDefs(), boxpp::print(), pushMultiClosureDefs(), and realeval().
Definition at line 343 of file boxes.cpp.
References isTree().
00343 { return isTree(s, BOXCHECKBOX, lbl); }
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); }
Definition at line 260 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), and realeval().
00260 { return isTree(s, BOXCOMPONENT, filename); }
bool isBoxCut | ( | Tree | t | ) |
Definition at line 90 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
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); }
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().
bool isBoxFConst | ( | Tree | s | ) |
Definition at line 320 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
bool isBoxFFun | ( | Tree | s | ) |
Definition at line 314 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
bool isBoxFVar | ( | Tree | s | ) |
Definition at line 326 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 428 of file boxes.cpp.
References isTree().
00428 { return isTree(s, BOXHBARGRAPH, lbl, min, max); }
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); }
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().
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 }
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); }
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 }
bool isBoxIdent | ( | Tree | t | ) |
Definition at line 57 of file boxes.cpp.
References CTree::node().
Referenced by boxpp::print(), real_a2sb(), realeval(), and standardArgList().
bool isBoxInt | ( | Tree | t, | |
int * | i | |||
) |
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().
Definition at line 154 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), and realeval().
Definition at line 157 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), and realeval().
Definition at line 155 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), and realeval().
Definition at line 156 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), and realeval().
Definition at line 265 of file boxes.cpp.
References isTree().
Referenced by realeval().
00265 { return isTree(s, BOXLIBRARY, filename); }
Definition at line 137 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().
Definition at line 245 of file boxes.cpp.
References isTree().
Referenced by realeval().
00245 { return isTree(t, BOXMODIFLOCALDEF, body, ldef); }
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 }
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); }
Definition at line 125 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().
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 }
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 }
Definition at line 450 of file boxes.cpp.
References isTree().
Referenced by make_state(), boxpp::print(), and realeval().
Definition at line 281 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim0 | ( | Tree | s | ) |
Definition at line 280 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 286 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim1 | ( | Tree | s | ) |
Definition at line 285 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 291 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
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().
Definition at line 296 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim3 | ( | Tree | s | ) |
Definition at line 295 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 301 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim4 | ( | Tree | s | ) |
Definition at line 300 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 306 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim5 | ( | Tree | s | ) |
Definition at line 305 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
bool isBoxReal | ( | Tree | t, | |
double * | r | |||
) |
Definition at line 81 of file boxes.cpp.
References isDouble(), and CTree::node().
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().
Definition at line 129 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().
Definition at line 121 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().
bool isBoxSlot | ( | Tree | t, | |
int * | id | |||
) |
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().
Definition at line 133 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().
Definition at line 112 of file boxes.cpp.
References isTree().
00112 { return isTree(t, BOXSYMBOLIC, slot, body); }
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); }
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().
Definition at line 434 of file boxes.cpp.
References isTree().
00434 { return isTree(s, BOXVBARGRAPH, lbl, min, max); }
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); }
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().
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 }
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); }
bool isBoxWire | ( | Tree | t | ) |
Definition at line 94 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 235 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), and realeval().
00235 { return isTree(t, BOXWITHLOCALDEF, body, ldef); }
Definition at line 209 of file boxes.cpp.
References isTree().
Referenced by applyList(), boxpp::print(), real_a2sb(), realeval(), and updateClosures().
Definition at line 271 of file boxes.cpp.
References isTree().
Referenced by SourceReader::expandrec(), formatDefinitions(), and boxpp::print().
00271 { return isTree(s, IMPORTFILE, filename); }
Sym BOXCHECKBOX = symbol ("BoxCheckbox") |
Sym BOXCOMPONENT = symbol ("BoxComponent") |
Sym BOXENVIRONMENT = symbol ("BoxEnvironment") |
Sym BOXHBARGRAPH = symbol ("BoxHBargraph") |
Sym BOXHSLIDER = symbol ("BoxHSlider") |
Sym BOXLIBRARY = symbol ("BoxLibrary") |
Sym BOXMODIFLOCALDEF = symbol ("BoxModifLocalDef") |
Sym BOXNUMENTRY = symbol ("BoxNumEntry") |
Sym BOXPATMATCHER = symbol ("BoxPatMatcher") |
Sym BOXSYMBOLIC = symbol ("BoxSymbolic") |
Sym BOXVBARGRAPH = symbol ("BoxVBargraph") |
Sym BOXVSLIDER = symbol ("BoxVSlider") |
Sym BOXWITHLOCALDEF = symbol ("BoxWithLocalDef") |
Sym IMPORTFILE = symbol ("ImportFile") |