diff options
| author | Paul Buetow <paul@buetow.org> | 2008-05-18 19:29:30 +0000 |
|---|---|---|
| committer | Paul Buetow <paul@buetow.org> | 2008-05-18 19:29:30 +0000 |
| commit | 2d45de18df35f6d3ba4ca0b86ec1188e49637413 (patch) | |
| tree | 6c84c8cd14a89a6dabeada811c6477d1e5459767 /sources/simulator/VSSimulationPanel.java | |
| parent | c46ed2242876bfb267ed0b6823c8a3e99ac62dd6 (diff) | |
The TaskManager works partly.
Diffstat (limited to 'sources/simulator/VSSimulationPanel.java')
| -rw-r--r-- | sources/simulator/VSSimulationPanel.java | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sources/simulator/VSSimulationPanel.java b/sources/simulator/VSSimulationPanel.java index 6514963..b1836c1 100644 --- a/sources/simulator/VSSimulationPanel.java +++ b/sources/simulator/VSSimulationPanel.java @@ -597,7 +597,7 @@ public class VSSimulationPanel extends JPanel implements Runnable, MouseMotionLi if (receiverProcess.equals(sendingProcess)) { if (recvOwn) { deliverTime = sendingProcess.getGlobalTime(); - task = new VSTask(deliverTime, receiverProcess, message); + task = new VSTask(deliverTime, receiverProcess, message, VSTask.GLOBAL); taskManager.addTask(task); } @@ -608,7 +608,7 @@ public class VSSimulationPanel extends JPanel implements Runnable, MouseMotionLi /* Only add a 'receiving message' task if the message will not get lost! */ if (outageTime == -1) { - task = new VSTask(deliverTime, receiverProcess, message); + task = new VSTask(deliverTime, receiverProcess, message, VSTask.GLOBAL); taskManager.addTask(task); } @@ -636,14 +636,14 @@ public class VSSimulationPanel extends JPanel implements Runnable, MouseMotionLi editProcess(process); } else if (actionCommand.equals(prefs.getString("lang.crash"))) { - VSProcessEvent event = new ProcessCrashEvent(); + VSEvent event = new ProcessCrashEvent(); event.init(process); - taskManager.addTask(new VSTask(process.getGlobalTime(), process, event)); + taskManager.addTask(new VSTask(process.getGlobalTime(), process, event, VSTask.GLOBAL)); } else if (actionCommand.equals(prefs.getString("lang.recover"))) { - VSProcessEvent event = new ProcessRecoverEvent(); + VSEvent event = new ProcessRecoverEvent(); event.init(process); - taskManager.addTask(new VSTask(process.getGlobalTime(), process, event)); + taskManager.addTask(new VSTask(process.getGlobalTime(), process, event, VSTask.GLOBAL)); } } }; |