* */
| 1537 | * |
| 1538 | */ |
| 1539 | void |
| 1540 | VariableSelector::doFinalization(void) |
| 1541 | { |
| 1542 | size_t i; |
| 1543 | for(i=0; i<AllVars.size(); i++) { |
| 1544 | delete AllVars[i]; |
| 1545 | } |
| 1546 | AllVars.clear(); |
| 1547 | GlobalList.clear(); |
| 1548 | GlobalNonvolatilesList.clear(); |
| 1549 | } |
| 1550 | |
| 1551 | // -------------------------------------------------------------- |
| 1552 | void |