Révision 3933
| TXM/trunk/bundles/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 3933) | ||
|---|---|---|
| 1456 | 1456 |
* Deletes all non persistent results and saves the results to persist. |
| 1457 | 1457 |
*/ |
| 1458 | 1458 |
public static void deleteAllNonPersistentResults(TXMResult root) {
|
| 1459 |
List<TXMResult> todo = root.getChildren(); |
|
| 1459 |
|
|
| 1460 |
List<TXMResult> todo = new ArrayList(root.getChildren()); |
|
| 1460 | 1461 |
while (todo.size() > 0) {
|
| 1461 | 1462 |
TXMResult r = null; |
| 1462 | 1463 |
r = todo.remove(0); |
| ... | ... | |
| 1590 | 1591 |
|
| 1591 | 1592 |
|
| 1592 | 1593 |
/** |
| 1593 |
* Gets all the children results (not a clone). |
|
| 1594 |
* Gets all the children results (WARNING not a clone).
|
|
| 1594 | 1595 |
* |
| 1595 | 1596 |
* @return |
| 1596 | 1597 |
*/ |
| TXM/trunk/bundles/org.txm.core/src/java/org/txm/objects/Workspace.java (revision 3933) | ||
|---|---|---|
| 28 | 28 |
package org.txm.objects; |
| 29 | 29 |
|
| 30 | 30 |
import java.io.File; |
| 31 |
import java.util.ArrayList; |
|
| 31 | 32 |
import java.util.List; |
| 32 | 33 |
|
| 33 | 34 |
import org.eclipse.core.resources.IProject; |
| ... | ... | |
| 210 | 211 |
|
| 211 | 212 |
public void onWorkspaceClose() {
|
| 212 | 213 |
|
| 213 |
List<TXMResult> todo = this.getChildren();
|
|
| 214 |
List<TXMResult> todo = new ArrayList<TXMResult>(this.getChildren());
|
|
| 214 | 215 |
while (todo.size() > 0) {
|
| 215 | 216 |
TXMResult r = null; |
| 216 | 217 |
r = todo.remove(0); |
| 217 | 218 |
todo.addAll(0, r.getChildren()); |
| 219 |
|
|
| 218 | 220 |
r.onWorkspaceClose(); |
| 219 | 221 |
} |
| 220 | 222 |
} |
Formats disponibles : Unified diff