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

Last change on this file 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
RevLine 
[197]1package de.ugoe.cs.eventbench.efg.data;
2
3import de.ugoe.cs.eventbench.data.ReplayableEvent;
4
[204]5/**
6 * <p>
7 * Convenience class for working with EFGEvents.
8 * </p>
9 *
10 * @author Steffen Herbold
11 * @version 1.0
12 */
[197]13public class EFGEvent extends ReplayableEvent<EFGReplayable> {
[204]14
[197]15        /**
16         * <p>
17         * Id for object serialization.
18         * </p>
19         */
20        private static final long serialVersionUID = 1L;
[204]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));
[197]33        }
34}
Note: See TracBrowser for help on using the repository browser.