* */
| 213 | * |
| 214 | */ |
| 215 | ArrayVariable::~ArrayVariable(void) |
| 216 | { |
| 217 | // use Variable's destructor for collective variable |
| 218 | if (collective != 0) { |
| 219 | size_t i; |
| 220 | for (i=0; i<indices.size(); i++) { |
| 221 | delete indices[i]; |
| 222 | } |
| 223 | init = NULL; // set to NULL to avoid being deleted twice |
| 224 | } |
| 225 | } |
| 226 | |
| 227 | void |
| 228 | ArrayVariable::add_index(const Expression* e) |