Changeset 547 for trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDcalcCoverage.java
- Timestamp:
- 08/16/12 12:34:24 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDcalcCoverage.java
r434 r547 49 49 50 50 IStochasticProcess process = null; 51 Collection<List< ? extends Event<?>>> observedSequences = null;52 Collection<List< ? extends Event<?>>> sequences = null;51 Collection<List<Event>> observedSequences = null; 52 Collection<List<Event>> sequences = null; 53 53 Object dataObjectProcess = GlobalDataContainer.getInstance().getData( 54 54 modelname); … … 73 73 } 74 74 process = (IStochasticProcess) dataObjectProcess; 75 observedSequences = (Collection<List< ? extends Event<?>>>) dataObjectObserved;75 observedSequences = (Collection<List<Event>>) dataObjectObserved; 76 76 77 77 Console.print("seqName"); … … 103 103 return; 104 104 } 105 sequences = (Collection<List< ? extends Event<?>>>) dataObjectSequences;105 sequences = (Collection<List<Event>>) dataObjectSequences; 106 106 Console.print(sequenceName); 107 107 for (int length = minLength; length <= maxLength; length++) {
Note: See TracChangeset
for help on using the changeset viewer.