Changeset 409

Timestamp:

04/03/12 10:23:34 (13 years ago)

Author:

sherbold

Message:

• sequences generated with the command generateRandomSequences now start with the START symbol and in case validEnd is true, end with the END symbol

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateRandomSequences.java (modified) (2 diffs)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDgenerateRandomSequences.java

@@ -28 +28 @@
          * @see de.ugoe.cs.util.console.Command#run(java.util.List)
          */
+        @SuppressWarnings("unchecked")
         @Override
         public void run(List<Object> parameters) {
@@ -74 +75 @@
                         if (generatedSequence.size() >= minLength
                                         && generatedSequence.size() <= maxLength) {
+                                ((List<Event<?>>) generatedSequence).add(0, Event.STARTEVENT);
+                                if( validEnd ) {
+                                        ((List<Event<?>>) generatedSequence).add(Event.ENDEVENT);
+                                }
                                 sequences.add(generatedSequence);
                         }