Ignore:
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/data
Files:
2 edited

Legend:

Unmodified
Added
Removed

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

    r197 r204  
    33import de.ugoe.cs.eventbench.data.ReplayableEvent; 
    44 
     5/** 
     6 * <p> 
     7 * Convenience class for working with EFGEvents. 
     8 * </p> 
     9 *  
     10 * @author Steffen Herbold 
     11 * @version 1.0 
     12 */ 
    513public class EFGEvent extends ReplayableEvent<EFGReplayable> { 
    6          
     14 
    715        /** 
    816         * <p> 
    … …  
    1119         */ 
    1220        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)); 
    1633        } 
    1734} 

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

    r197 r204  
    22 
    33import de.ugoe.cs.eventbench.data.IReplayable; 
     4import de.ugoe.cs.util.StringTools; 
    45 
     6/** 
     7 * <p> 
     8 * {@link IReplayable} used to generate test cases for the GUITAR suite. 
     9 * </p> 
     10 *  
     11 * @author Steffen Herbold 
     12 * @version 1.0 
     13 */ 
    514public class EFGReplayable implements IReplayable { 
     15 
     16        /** 
     17         * <p> 
     18         * EventId in the EFG and GUI files. 
     19         * </p> 
     20         */ 
     21        String eventId; 
    622 
    723        /** 
    … …  
    1228        private static final long serialVersionUID = 1L; 
    1329 
     30        /** 
     31         * <p> 
     32         * Constructor. Creates a new {@link EFGReplayable}. 
     33         * </p> 
     34         *  
     35         * @param eventId 
     36         */ 
     37        public EFGReplayable(String eventId) { 
     38                this.eventId = eventId; 
     39        } 
     40 
     41        /* 
     42         * (non-Javadoc) 
     43         *  
     44         * @see de.ugoe.cs.eventbench.data.IReplayable#getReplay() 
     45         */ 
    1446        @Override 
    1547        public String getReplay() { 
    16                 // TODO Auto-generated method stub 
    17                 return null; 
     48                StringBuilder replay = new StringBuilder(); 
     49                replay.append("<Step>" + StringTools.ENDLINE); 
     50                replay.append("<EventId>" + eventId + "</EventId>" + StringTools.ENDLINE); 
     51                replay.append("<ReachingStep>false</ReachingStep>" + StringTools.ENDLINE); 
     52                replay.append("</Step>" + StringTools.ENDLINE); 
     53                return replay.toString(); 
    1854        } 
    1955 
     56        /* 
     57         * (non-Javadoc) 
     58         *  
     59         * @see de.ugoe.cs.eventbench.data.IReplayable#getTarget() 
     60         */ 
    2061        @Override 
    2162        public String getTarget() { 
    22                 // TODO Auto-generated method stub 
    23                 return null; 
     63                return null; // target indirectly included in replay through the eventId 
    2464        } 
    2565 
Note: See TracChangeset for help on using the changeset viewer.