source: trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/efg/data/EFGEvent.java @ 300

Last change on this file since 300 was 204, checked in by sherbold, 13 years ago

+ added functionality to generate replays for GUITAR from models generated for EFGs.

  • Property svn:mime-type set to text/plain
File size: 683 bytes
Line 
1package de.ugoe.cs.eventbench.efg.data;
2
3import de.ugoe.cs.eventbench.data.ReplayableEvent;
4
5/**
6 * <p>
7 * Convenience class for working with EFGEvents.
8 * </p>
9 *
10 * @author Steffen Herbold
11 * @version 1.0
12 */
13public class EFGEvent extends ReplayableEvent<EFGReplayable> {
14
15        /**
16         * <p>
17         * Id for object serialization.
18         * </p>
19         */
20        private static final long serialVersionUID = 1L;
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));
33        }
34}
Note: See TracBrowser for help on using the repository browser.