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 | 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 | 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 435 of file boxes.cpp.
References tree().
Referenced by applyList(), makeDefinition(), and yyparse().
Definition at line 331 of file boxes.cpp.
References tree().
Referenced by realeval(), and yyparse().
00331 { return tree(BOXCHECKBOX, lbl); }
Tree boxCut | ( | ) |
Tree boxEnvironment | ( | ) |
Definition at line 244 of file boxes.cpp.
References tree().
Referenced by realeval(), and yyparse().
00244 { 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 416 of file boxes.cpp.
References tree().
Referenced by realeval(), and yyparse().
00416 { return tree(BOXHBARGRAPH, lbl, min, max); }
Definition at line 337 of file boxes.cpp.
References list4(), and tree().
Referenced by realeval(), and yyparse().
00338 { 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 378 of file boxes.cpp.
References list4(), and tree().
Referenced by realeval(), and yyparse().
00379 { 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 443 of file boxes.cpp.
References tree().
Referenced by applyList(), and evalCase().
00444 { 00445 return tree(BOXPATMATCHER, tree((void*)a), tree(state), env, origRules, revParamList); 00446 }
Definition at line 279 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 422 of file boxes.cpp.
References tree().
Referenced by realeval(), and yyparse().
00422 { return tree(BOXVBARGRAPH, lbl, min, max); }
Definition at line 357 of file boxes.cpp.
References list4(), and tree().
Referenced by realeval(), and yyparse().
00358 { 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(), pushMultiClosureDefs(), and realeval().
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 326 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
bool isBoxCase | ( | Tree | s | ) |
Definition at line 436 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), pushMultiClosureDefs(), and realeval().
Definition at line 333 of file boxes.cpp.
References isTree().
00333 { return isTree(s, BOXCHECKBOX, lbl); }
bool isBoxCheckbox | ( | Tree | s | ) |
Definition at line 332 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
00332 { Tree lbl; return isTree(s, BOXCHECKBOX, lbl); }
Definition at line 250 of file boxes.cpp.
References isTree().
Referenced by boxpp::print(), and realeval().
00250 { 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 245 of file boxes.cpp.
References isTree().
Referenced by applyList(), infereBoxType(), boxpp::print(), real_a2sb(), and realeval().
00245 { 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 310 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
bool isBoxFFun | ( | Tree | s | ) |
Definition at line 304 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
bool isBoxFVar | ( | Tree | s | ) |
Definition at line 316 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 418 of file boxes.cpp.
References isTree().
00418 { return isTree(s, BOXHBARGRAPH, lbl, min, max); }
bool isBoxHBargraph | ( | Tree | s | ) |
Definition at line 417 of file boxes.cpp.
References isTree(), max(), and min().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
00417 { Tree lbl, min, max; return isTree(s, BOXHBARGRAPH, lbl, min, max); }
bool isBoxHGroup | ( | Tree | s | ) |
Definition at line 399 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().
Definition at line 341 of file boxes.cpp.
References isTree(), and nth().
00342 { 00343 Tree params; 00344 if (isTree(s, BOXHSLIDER, lbl, params)) { 00345 cur = nth(params, 0); 00346 min = nth(params, 1); 00347 max = nth(params, 2); 00348 step= nth(params, 3); 00349 return true; 00350 } else { 00351 return false; 00352 } 00353 }
bool isBoxHSlider | ( | Tree | s | ) |
Definition at line 339 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
00339 { 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 255 of file boxes.cpp.
References isTree().
Referenced by realeval().
00255 { 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 382 of file boxes.cpp.
References isTree(), and nth().
00383 { 00384 Tree params; 00385 if (isTree(s, BOXNUMENTRY, lbl, params)) { 00386 cur = nth(params, 0); 00387 min = nth(params, 1); 00388 max = nth(params, 2); 00389 step= nth(params, 3); 00390 return true; 00391 } else { 00392 return false; 00393 } 00394 }
bool isBoxNumEntry | ( | Tree | s | ) |
Definition at line 380 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
00380 { 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 454 of file boxes.cpp.
References isTree(), tree2int(), and tree2ptr().
00455 { 00456 Tree ta, ts; 00457 if (isTree(s, BOXPATMATCHER, ta, ts, env, origRules, revParamList)) { 00458 a = (Automaton*)tree2ptr(ta); 00459 state = tree2int(ts); 00460 return true; 00461 } else { 00462 return false; 00463 } 00464 }
bool isBoxPatternMatcher | ( | Tree | s | ) |
Definition at line 448 of file boxes.cpp.
References isTree().
Referenced by applyList(), boxpp::print(), real_a2sb(), and realeval().
00449 { 00450 Tree ta, ts, env, orig, rpl; 00451 return isTree(s, BOXPATMATCHER, ta, ts, env, orig, rpl); 00452 }
Definition at line 440 of file boxes.cpp.
References isTree().
Referenced by make_state(), boxpp::print(), and realeval().
Definition at line 271 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim0 | ( | Tree | s | ) |
Definition at line 270 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 276 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim1 | ( | Tree | s | ) |
Definition at line 275 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 281 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim2 | ( | Tree | s | ) |
Definition at line 280 of file boxes.cpp.
References isTree().
Referenced by applyList(), computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 286 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim3 | ( | 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 isBoxPrim4 | ( | Tree | s | ) |
Definition at line 290 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
Definition at line 296 of file boxes.cpp.
References isPointer(), isTree(), and CTree::node().
bool isBoxPrim5 | ( | Tree | s | ) |
Definition at line 295 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 411 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().
Definition at line 424 of file boxes.cpp.
References isTree().
00424 { return isTree(s, BOXVBARGRAPH, lbl, min, max); }
bool isBoxVBargraph | ( | Tree | s | ) |
Definition at line 423 of file boxes.cpp.
References isTree(), max(), and min().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
00423 { Tree lbl, min, max; return isTree(s, BOXVBARGRAPH, lbl, min, max); }
bool isBoxVGroup | ( | Tree | s | ) |
Definition at line 405 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), isBoxPatternOp(), boxpp::print(), propagate(), and realeval().
Definition at line 361 of file boxes.cpp.
References isTree(), and nth().
00362 { 00363 Tree params; 00364 if (isTree(s, BOXVSLIDER, lbl, params)) { 00365 cur = nth(params, 0); 00366 min = nth(params, 1); 00367 max = nth(params, 2); 00368 step= nth(params, 3); 00369 return true; 00370 } else { 00371 return false; 00372 } 00373 }
bool isBoxVSlider | ( | Tree | s | ) |
Definition at line 359 of file boxes.cpp.
References isTree().
Referenced by computeBoxComplexity(), generateInsideSchema(), infereBoxType(), boxpp::print(), propagate(), and realeval().
00359 { 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(), and realeval().
Definition at line 261 of file boxes.cpp.
References isTree().
Referenced by SourceReader::expandrec(), formatDefinitions(), and boxpp::print().
00261 { 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 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") |