Changeset 1636 for trunk

Timestamp:

07/31/14 17:17:21 (10 years ago)

Author:

pharms

Message:

• adapted sorting of tasks based on their event coverage

File:

• trunk/autoquest-ui-swt/src/main/java/de/ugoe/cs/autoquest/ui/swt/ShowTaskTreeDialog.java (modified) (3 diffs)

trunk/autoquest-ui-swt/src/main/java/de/ugoe/cs/autoquest/ui/swt/ShowTaskTreeDialog.java

@@ -59 +59 @@
 import de.ugoe.cs.autoquest.tasktrees.treeifc.ITaskModel;
 import de.ugoe.cs.autoquest.tasktrees.treeifc.IUserSession;
+import de.ugoe.cs.autoquest.tasktrees.treeifc.TaskMetric;
 
 /**
@@ -460 +461 @@
             }
             
-            int taskCount = task.getInstances().size();
+            int taskValue = taskModel.getTaskInfo(task).getMeasureValue(TaskMetric.EVENT_COVERAGE);
             int start = 0;
             int end = toAdd.size();
             int center = 0;
-            int centerCount;
+            int centerValue;
             
             while (start != end) {
@@ -470 +471 @@
                 
                 if ((center != start) || (center != end)) {
-                    centerCount = toAdd.get(center).getInstances().size();
+                    //centerValue = toAdd.get(center).getInstances().size();
+                    centerValue = taskModel.getTaskInfo(toAdd.get(center)).getMeasureValue
+                        (TaskMetric.EVENT_COVERAGE);
                 
-                    if (centerCount > taskCount) {
+                    if (centerValue > taskValue) {
                         start = Math.max(center, start + 1);
                     }
-                    else if (centerCount < taskCount) {
+                    else if (centerValue < taskValue) {
                         end = Math.min(center, end - 1);
                     }