Changeset 204 for trunk/EventBenchConsole/src/de/ugoe/cs

Timestamp:

09/27/11 20:12:53 (13 years ago)

Author:

sherbold

Message:

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

Location:

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/efg

Files:

• EFGReplayDecorator.java (added)
• data/EFGEvent.java (modified) (2 diffs)
• data/EFGReplayable.java (modified) (2 diffs)

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

@@ -3 +3 @@
 import de.ugoe.cs.eventbench.data.ReplayableEvent;
 
+/**
+ * <p>
+ * Convenience class for working with EFGEvents.
+ * </p>
+ * 
+ * @author Steffen Herbold
+ * @version 1.0
+ */
 public class EFGEvent extends ReplayableEvent<EFGReplayable> {
-        
+
         /**
          * <p>
@@ -11 +19 @@
          */
         private static final long serialVersionUID = 1L;
-        
-        public EFGEvent(String type) {
-                super(type);
+
+        /**
+         * <p>
+         * Constructor. Creates a new EFGEvent.
+         * </p>
+         * 
+         * @param eventId
+         *            EventId of the event in the EFG and GUI files
+         */
+        public EFGEvent(String eventId) {
+                super(eventId);
+                this.addReplayEvent(new EFGReplayable(eventId));
         }
 }

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/efg/data/EFGReplayable.java

@@ -2 +2 @@
 
 import de.ugoe.cs.eventbench.data.IReplayable;
+import de.ugoe.cs.util.StringTools;
 
+/**
+ * <p>
+ * {@link IReplayable} used to generate test cases for the GUITAR suite.
+ * </p>
+ * 
+ * @author Steffen Herbold
+ * @version 1.0
+ */
 public class EFGReplayable implements IReplayable {
+
+        /**
+         * <p>
+         * EventId in the EFG and GUI files.
+         * </p>
+         */
+        String eventId;
 
         /**
@@ -12 +28 @@
         private static final long serialVersionUID = 1L;
 
+        /**
+         * <p>
+         * Constructor. Creates a new {@link EFGReplayable}.
+         * </p>
+         * 
+         * @param eventId
+         */
+        public EFGReplayable(String eventId) {
+                this.eventId = eventId;
+        }
+
+        /*
+         * (non-Javadoc)
+         * 
+         * @see de.ugoe.cs.eventbench.data.IReplayable#getReplay()
+         */
         @Override
         public String getReplay() {
-                // TODO Auto-generated method stub
-                return null;
+                StringBuilder replay = new StringBuilder();
+                replay.append("<Step>" + StringTools.ENDLINE);
+                replay.append("<EventId>" + eventId + "</EventId>" + StringTools.ENDLINE);
+                replay.append("<ReachingStep>false</ReachingStep>" + StringTools.ENDLINE);
+                replay.append("</Step>" + StringTools.ENDLINE);
+                return replay.toString();
         }
 
+        /*
+         * (non-Javadoc)
+         * 
+         * @see de.ugoe.cs.eventbench.data.IReplayable#getTarget()
+         */
         @Override
         public String getTarget() {
-                // TODO Auto-generated method stub
-                return null;
+                return null; // target indirectly included in replay through the eventId
         }