* */
| 468 | * |
| 469 | */ |
| 470 | Variable::~Variable(void) |
| 471 | { |
| 472 | // delete field vars explicitly because they are not stored in AllVars anymore |
| 473 | vector<Variable *>::iterator i; |
| 474 | for(i = field_vars.begin(); i != field_vars.end(); ++i) |
| 475 | delete (*i); |
| 476 | field_vars.clear(); |
| 477 | if (init) { |
| 478 | delete init; |
| 479 | init = NULL; |
| 480 | } |
| 481 | } |
| 482 | |
| 483 | // -------------------------------------------------------------- |
| 484 | bool |