Changeset 119 for trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java

Timestamp:

07/13/11 10:15:13 (13 years ago)

Author:

sherbold

Message:

• generateRandomSequences now generates no duplicates

File:

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

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

@@ -32 +32 @@
                 
                 IStochasticProcess process = null; 
-                List<List<? extends Event<?>>> sequences = null;
+                Collection<List<? extends Event<?>>> sequences = null;
                 Object dataObjectProcess = GlobalDataContainer.getInstance().getData(modelname);
                 if( dataObjectProcess==null ) {
@@ -58 +58 @@
                                 
                                 process = (IStochasticProcess) dataObjectProcess;
-                                sequences = (List<List<? extends Event<?>>>) dataObjectSequences;
+                                sequences = (Collection<List<? extends Event<?>>>) dataObjectSequences;
                                 Console.print(sequenceName);
                                 for( int length=minLength ; length<=maxLength ; length++) {