Changeset 392 for trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/jfc/commands/CMDparseDirJFC.java
- Timestamp:
- 03/08/12 09:21:51 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/jfc/commands/CMDparseDirJFC.java
r389 r392 64 64 Collection<List<JFCEvent>> sequences = parser.getSequences(); 65 65 Console.traceln("Pre-computing event target equalities."); 66 // compare all Events to a dummy event to make sure they are known by 67 // the JFCTargetComparator 68 JFCEvent dummyEvent = new JFCEvent("dummy"); 69 for (List<JFCEvent> sequence : sequences) { 70 for (JFCEvent event : sequence) { 71 event.equals(dummyEvent); 72 } 73 } 66 74 JFCTargetComparator.setMutable(false); 67 75
Note: See TracChangeset
for help on using the changeset viewer.