- Timestamp:
- 09/27/11 20:12:53 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/efg/data/EFGEvent.java
r197 r204 3 3 import de.ugoe.cs.eventbench.data.ReplayableEvent; 4 4 5 /** 6 * <p> 7 * Convenience class for working with EFGEvents. 8 * </p> 9 * 10 * @author Steffen Herbold 11 * @version 1.0 12 */ 5 13 public class EFGEvent extends ReplayableEvent<EFGReplayable> { 6 14 7 15 /** 8 16 * <p> … … 11 19 */ 12 20 private static final long serialVersionUID = 1L; 13 14 public EFGEvent(String type) { 15 super(type); 21 22 /** 23 * <p> 24 * Constructor. Creates a new EFGEvent. 25 * </p> 26 * 27 * @param eventId 28 * EventId of the event in the EFG and GUI files 29 */ 30 public EFGEvent(String eventId) { 31 super(eventId); 32 this.addReplayEvent(new EFGReplayable(eventId)); 16 33 } 17 34 }
Note: See TracChangeset
for help on using the changeset viewer.