Skip to content
Snippets Groups Projects
Commit 5a648700 authored by Simon Spinner's avatar Simon Spinner
Browse files

Add scheduled tokens as first elements to token list then the other

waiting items.
parent ff9087ea
No related branches found
No related tags found
No related merge requests found
......@@ -215,14 +215,6 @@ public class FCFSQueue extends Queue {
@Override
public Marking saveMarking(Net net, Executor executor) {
List<QueuedTokenState> tokens = new LinkedList<QueuedTokenState>();
for (Token tk : waitingLine) {
QueuedTokenState curTkState = MarkingModelFactory.eINSTANCE.createQueuedTokenState();
curTkState.setColorName(tk.place.colors[tk.color]);
curTkState.setArrivalTime(tk.arrivTS);
curTkState.setSourcePlaceName(tk.place.name);
MarkingModelUtil.copyTokenData(net, tk, curTkState);
tokens.add(curTkState);
}
for (QueueEvent ev : executor.getEventQueue()) {
if (ev.queue == this) {
Token curTk = ev.token;
......@@ -235,6 +227,14 @@ public class FCFSQueue extends Queue {
tokens.add(curTkState);
}
}
for (Token tk : waitingLine) {
QueuedTokenState curTkState = MarkingModelFactory.eINSTANCE.createQueuedTokenState();
curTkState.setColorName(tk.place.colors[tk.color]);
curTkState.setArrivalTime(tk.arrivTS);
curTkState.setSourcePlaceName(tk.place.name);
MarkingModelUtil.copyTokenData(net, tk, curTkState);
tokens.add(curTkState);
}
Marking marking = MarkingModelFactory.eINSTANCE.createMarking();
marking.setElementName(name);
marking.setElementType(MarkingType.QUEUE);
......
......@@ -167,14 +167,6 @@ public class PRIOQueue extends Queue {
@Override
public Marking saveMarking(Net net, Executor executor) {
List<QueuedTokenState> tokens = new LinkedList<QueuedTokenState>();
for (Token tk : priorityQueue) {
QueuedTokenState curTkState = MarkingModelFactory.eINSTANCE.createQueuedTokenState();
curTkState.setColorName(tk.place.colors[tk.color]);
curTkState.setArrivalTime(tk.arrivTS);
curTkState.setSourcePlaceName(tk.place.name);
MarkingModelUtil.copyTokenData(net, tk, curTkState);
tokens.add(curTkState);
}
for (QueueEvent ev : executor.getEventQueue()) {
if (ev.queue == this) {
Token curTk = ev.token;
......@@ -187,6 +179,14 @@ public class PRIOQueue extends Queue {
tokens.add(curTkState);
}
}
for (Token tk : priorityQueue) {
QueuedTokenState curTkState = MarkingModelFactory.eINSTANCE.createQueuedTokenState();
curTkState.setColorName(tk.place.colors[tk.color]);
curTkState.setArrivalTime(tk.arrivTS);
curTkState.setSourcePlaceName(tk.place.name);
MarkingModelUtil.copyTokenData(net, tk, curTkState);
tokens.add(curTkState);
}
Marking marking = MarkingModelFactory.eINSTANCE.createMarking();
marking.setElementName(name);
marking.setElementType(MarkingType.QUEUE);
......
......@@ -187,14 +187,6 @@ public class RANDOMQueue extends Queue {
@Override
public Marking saveMarking(Net net, Executor executor) {
List<QueuedTokenState> tokens = new LinkedList<QueuedTokenState>();
for (Token tk : waitingLine) {
QueuedTokenState curTkState = MarkingModelFactory.eINSTANCE.createQueuedTokenState();
curTkState.setColorName(tk.place.colors[tk.color]);
curTkState.setArrivalTime(tk.arrivTS);
curTkState.setSourcePlaceName(tk.place.name);
MarkingModelUtil.copyTokenData(net, tk, curTkState);
tokens.add(curTkState);
}
for (QueueEvent ev : executor.getEventQueue()) {
if (ev.queue == this) {
Token curTk = ev.token;
......@@ -207,6 +199,14 @@ public class RANDOMQueue extends Queue {
tokens.add(curTkState);
}
}
for (Token tk : waitingLine) {
QueuedTokenState curTkState = MarkingModelFactory.eINSTANCE.createQueuedTokenState();
curTkState.setColorName(tk.place.colors[tk.color]);
curTkState.setArrivalTime(tk.arrivTS);
curTkState.setSourcePlaceName(tk.place.name);
MarkingModelUtil.copyTokenData(net, tk, curTkState);
tokens.add(curTkState);
}
Marking marking = MarkingModelFactory.eINSTANCE.createMarking();
marking.setElementName(name);
marking.setElementType(MarkingType.QUEUE);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment