Changeset 547 for trunk


Ignore:
Timestamp:
08/16/12 12:34:24 (12 years ago)
Author:
sherbold
Message:
  • countless adaptations throughout nearly all components to remove errors introduced due to the refactoring of the event core
Location:
trunk
Files:
1 deleted
28 edited

Legend:

Unmodified
Added
Removed

  • trunk/quest-core-coverage/src/main/java/de/ugoe/cs/quest/coverage/CoverageCalculatorObserved.java

    r518 r547  
    2626         * </p> 
    2727         */ 
    28         private final Collection<List<? extends Event<?>>> sequences; 
     28        private final Collection<List<Event>> sequences; 
    2929 
    3030        /** 
    … …  
    3333         * </p> 
    3434         */ 
    35         private final Collection<List<? extends Event<?>>> observedSequences; 
     35        private final Collection<List<Event>> observedSequences; 
    3636 
    3737        /** 
    … …  
    4848         * </p> 
    4949         */ 
    50         private Collection<List<? extends Event<?>>> subSeqsGenerated = null; 
     50        private Collection<List<Event>> subSeqsGenerated = null; 
    5151 
    5252        /** 
    … …  
    5555         * </p> 
    5656         */ 
    57         private Collection<List<? extends Event<?>>> subSeqsObserved = null; 
     57        private Collection<List<Event>> subSeqsObserved = null; 
    5858 
    5959        /** 
    … …  
    7777         */ 
    7878        public CoverageCalculatorObserved( 
    79                         Collection<List<? extends Event<?>>> observedSequences, 
    80                         Collection<List<? extends Event<?>>> sequences, int length) { 
     79                        Collection<List<Event>> observedSequences, 
     80                        Collection<List<Event>> sequences, int length) { 
    8181                if (observedSequences == null) { 
    8282                        throw new InvalidParameterException( 
    … …  
    105105        public double getCoverageObserved() { 
    106106                createSubSeqs(); 
    107                 Collection<List<? extends Event<?>>> subSeqsObservedCopy = new LinkedHashSet<List<? extends Event<?>>>( 
     107                Collection<List<Event>> subSeqsObservedCopy = new LinkedHashSet<List<Event>>( 
    108108                                subSeqsObserved); 
    109109                subSeqsObservedCopy.retainAll(subSeqsGenerated); 
    … …  
    125125        public double getCoverageObservedWeigth(IStochasticProcess process) { 
    126126                createSubSeqs(); 
    127                 Map<List<? extends Event<?>>, Double> weightMap = SequenceTools 
     127                Map<List<Event>, Double> weightMap = SequenceTools 
    128128                                .generateWeights(process, subSeqsObserved); 
    129129 
    130                 Collection<List<? extends Event<?>>> subSeqsObservedCopy = new LinkedHashSet<List<? extends Event<?>>>( 
     130                Collection<List<Event>> subSeqsObservedCopy = new LinkedHashSet<List<Event>>( 
    131131                                subSeqsObserved); 
    132132                subSeqsObservedCopy.retainAll(subSeqsGenerated); 
    133133                double weight = 0.0d; 
    134                 for (List<? extends Event<?>> subSeq : subSeqsObservedCopy) { 
     134                for (List<Event> subSeq : subSeqsObservedCopy) { 
    135135                        weight += weightMap.get(subSeq); 
    136136                } 
    … …  
    149149        public double getNewPercentage() { 
    150150                createSubSeqs(); 
    151                 Collection<List<? extends Event<?>>> subSeqsGeneratedCopy = new LinkedHashSet<List<? extends Event<?>>>( 
     151                Collection<List<Event>> subSeqsGeneratedCopy = new LinkedHashSet<List<Event>>( 
    152152                                subSeqsGenerated); 
    153153                subSeqsGeneratedCopy.removeAll(subSeqsObserved); 
    … …  
    174174                } 
    175175                createSubSeqs(); 
    176                 Collection<List<? extends Event<?>>> subSeqsGeneratedCopy = new LinkedHashSet<List<? extends Event<?>>>( 
    177                                 subSeqsGenerated); 
    178                 Collection<List<? extends Event<?>>> subSeqsPossible = process 
     176                Collection<List<Event>> subSeqsGeneratedCopy = new LinkedHashSet<List<Event>>( 
     177                                subSeqsGenerated); 
     178                Collection<List<Event>> subSeqsPossible = process 
    179179                                .generateSequences(length); 
    180180                subSeqsGeneratedCopy.removeAll(subSeqsObserved); 
    … …  
    204204                } 
    205205                createSubSeqs(); 
    206                 Collection<List<? extends Event<?>>> subSeqsGeneratedCopy = new LinkedHashSet<List<? extends Event<?>>>( 
    207                                 subSeqsGenerated); 
    208                 Collection<List<? extends Event<?>>> subSeqsPossible = process 
     206                Collection<List<Event>> subSeqsGeneratedCopy = new LinkedHashSet<List<Event>>( 
     207                                subSeqsGenerated); 
     208                Collection<List<Event>> subSeqsPossible = process 
    209209                                .generateSequences(length); 
    210210                subSeqsGeneratedCopy.removeAll(subSeqsObserved); 
    211211                subSeqsPossible.removeAll(subSeqsObserved); 
    212                 Map<List<? extends Event<?>>, Double> weightMap = SequenceTools 
     212                Map<List<Event>, Double> weightMap = SequenceTools 
    213213                                .generateWeights(process, subSeqsPossible); 
    214214                double weight = 0.0d; 
    215                 for (List<? extends Event<?>> subSeq : subSeqsGeneratedCopy) { 
     215                for (List<Event> subSeq : subSeqsGeneratedCopy) { 
    216216                        Double currentWeight = weightMap.get(subSeq); 
    217217                        if( currentWeight!=null ) { 
    … …  
    248248        public int getNumNew() { 
    249249                createSubSeqs(); 
    250                 Collection<List<? extends Event<?>>> subSeqsGeneratedCopy = new LinkedHashSet<List<? extends Event<?>>>( 
     250                Collection<List<Event>> subSeqsGeneratedCopy = new LinkedHashSet<List<Event>>( 
    251251                                subSeqsGenerated); 
    252252                subSeqsGeneratedCopy.removeAll(subSeqsObserved); 

  • trunk/quest-core-coverage/src/main/java/de/ugoe/cs/quest/coverage/CoverageCalculatorProcess.java

    r518 r547  
    3333         * </p> 
    3434         */ 
    35         private Collection<List<? extends Event<?>>> sequences; 
     35        private Collection<List<Event>> sequences; 
    3636 
    3737        /** 
    … …  
    4848         * </p> 
    4949         */ 
    50         private Collection<List<? extends Event<?>>> containedSubSeqs = null; 
     50        private Collection<List<Event>> containedSubSeqs = null; 
    5151 
    5252        /** 
    … …  
    5656         * </p> 
    5757         */ 
    58         private Collection<List<? extends Event<?>>> allPossibleSubSeqs = null; 
     58        private Collection<List<Event>> allPossibleSubSeqs = null; 
    5959 
    6060        /** 
    … …  
    6464         * </p> 
    6565         */ 
    66         private Map<List<? extends Event<?>>, Double> subSeqWeights = null; 
     66        private Map<List<Event>, Double> subSeqWeights = null; 
    6767 
    6868        /** 
    … …  
    8585         */ 
    8686        public CoverageCalculatorProcess(IStochasticProcess process, 
    87                         Collection<List<? extends Event<?>>> sequences, int length) { 
     87                        Collection<List<Event>> sequences, int length) { 
    8888                if (process == null) { 
    8989                        throw new InvalidParameterException("process must not be null"); 
    … …  
    159159                } 
    160160                double weight = 0.0; 
    161                 for (List<? extends Event<?>> subSeq : containedSubSeqs) { 
     161                for (List<Event> subSeq : containedSubSeqs) { 
    162162                        Double curWeight = subSeqWeights.get(subSeq); 
    163163                        if( curWeight!=null ) { 
    … …  
    208208         *             thrown is newSequences is null 
    209209         */ 
    210         public void setSequences(Collection<List<? extends Event<?>>> newSequences) { 
     210        public void setSequences(Collection<List<Event>> newSequences) { 
    211211                if (newSequences == null) { 
    212212                        throw new InvalidParameterException("sequences must not be null"); 

  • trunk/quest-core-coverage/src/main/java/de/ugoe/cs/quest/coverage/SequenceTools.java

    r518 r547  
    4646         * @return {@link Map} of weights 
    4747         */ 
    48         public static Map<List<? extends Event<?>>, Double> generateWeights( 
     48        public static Map<List<Event>, Double> generateWeights( 
    4949                        IStochasticProcess process, 
    50                         Collection<List<? extends Event<?>>> sequences) { 
    51                 Map<List<? extends Event<?>>, Double> subSeqWeights = new LinkedHashMap<List<? extends Event<?>>, Double>(); 
     50                        Collection<List<Event>> sequences) { 
     51                Map<List<Event>, Double> subSeqWeights = new LinkedHashMap<List<Event>, Double>(); 
    5252                if (sequences != null && !sequences.isEmpty()) { 
    5353                        if (process != null) { 
    5454                                double sum = 0.0; 
    55                                 for (List<? extends Event<?>> sequence : sequences) { 
     55                                for (List<Event> sequence : sequences) { 
    5656                                        double prob = process.getProbability(sequence); 
    5757                                        subSeqWeights.put(sequence, prob); 
    … …  
    5959                                } 
    6060                                if (sum < 1.0) { 
    61                                         for (Map.Entry<List<? extends Event<?>>, Double> entry : subSeqWeights 
     61                                        for (Map.Entry<List<Event>, Double> entry : subSeqWeights 
    6262                                                        .entrySet()) { 
    6363                                                entry.setValue(entry.getValue() / sum); 
    … …  
    6565                                } 
    6666                        } else { 
    67                                 for( List<? extends Event<?>> sequence : sequences ) { 
     67                                for( List<Event> sequence : sequences ) { 
    6868                                        subSeqWeights.put(sequence, 0.0d); 
    6969                                } 
    … …  
    114114         *             thrown if length less or equal to 0 
    115115         */ 
    116         public static Set<List<? extends Event<?>>> containedSubSequences( 
    117                         Collection<List<? extends Event<?>>> sequences, int length) { 
     116        public static Set<List<Event>> containedSubSequences( 
     117                        Collection<List<Event>> sequences, int length) { 
    118118                if (length <= 0) { 
    119119                        throw new InvalidParameterException( 
    120120                                        "length must be a positive integer"); 
    121121                } 
    122                 Set<List<? extends Event<?>>> containedSubSeqs = new LinkedHashSet<List<? extends Event<?>>>(); 
     122                Set<List<Event>> containedSubSeqs = new LinkedHashSet<List<Event>>(); 
    123123                if (sequences != null) { 
    124                         for (List<? extends Event<?>> sequence : sequences) { 
    125                                 List<Event<?>> subSeq = new LinkedList<Event<?>>(); 
     124                        for (List<Event> sequence : sequences) { 
     125                                List<Event> subSeq = new LinkedList<Event>(); 
    126126                                boolean minLengthReached = false; 
    127                                 for (Event<?> event : sequence) { 
     127                                for (Event event : sequence) { 
    128128                                        subSeq.add(event); 
    129129                                        if (!minLengthReached) { 
    … …  
    136136                                        if (minLengthReached) { 
    137137                                                if (!containedSubSeqs.contains(subSeq)) { 
    138                                                         containedSubSeqs.add(new LinkedList<Event<?>>( 
     138                                                        containedSubSeqs.add(new LinkedList<Event>( 
    139139                                                                        subSeq)); 
    140140                                                } 

  • trunk/quest-core-events-test/pom.xml

    r506 r547  
    1 <project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> 
    2   <modelVersion>4.0.0</modelVersion> 
    3   <groupId>de.ugoe.cs.quest</groupId> 
    4   <artifactId>quest-core-events-test</artifactId> 
    5   <version>0.0.1-SNAPSHOT</version> 
    6   <name>quest-core-events-test</name> 
    7   <scm> 
    8     <url>https://quest.informatik.uni-goettingen.de/svn/quest/trunk/quest-core-events-test</url> 
    9   </scm> 
    10   <dependencies> 
    11     <dependency> 
    12         <groupId>de.ugoe.cs.quest</groupId> 
    13         <artifactId>quest-core-events</artifactId> 
    14         <version>0.0.1-SNAPSHOT</version> 
    15         <scope>test</scope> 
    16     </dependency> 
    17     <dependency> 
    18         <groupId>junit</groupId> 
    19         <artifactId>junit</artifactId> 
    20         <version>4.8.1</version> 
    21         <scope>test</scope> 
    22     </dependency> 
    23     <dependency> 
    24           <groupId>junit-addons</groupId> 
    25           <artifactId>junit-addons</artifactId> 
    26           <version>1.4</version> 
    27     </dependency> 
    28     <dependency> 
    29           <groupId>nl.jqno.equalsverifier</groupId> 
    30           <artifactId>equalsverifier</artifactId> 
    31           <version>1.1.3</version> 
    32     </dependency> 
    33   </dependencies> 
    34   <build> 
    35     <pluginManagement> 
    36       <plugins> 
    37         <plugin> 
    38           <groupId>org.eclipse.m2e</groupId> 
    39           <artifactId>lifecycle-mapping</artifactId> 
    40           <version>1.0.0</version> 
    41           <configuration> 
    42             <lifecycleMappingMetadata> 
    43               <pluginExecutions> 
    44                 <pluginExecution> 
    45                   <pluginExecutionFilter> 
    46                     <groupId>org.apache.maven.plugins</groupId> 
    47                     <artifactId>maven-dependency-plugin</artifactId> 
    48                     <versionRange>[1.0.0,)</versionRange> 
    49                     <goals> 
    50                       <goal>unpack</goal> 
    51                     </goals> 
    52                   </pluginExecutionFilter> 
    53                   <action> 
    54                     <ignore/> 
    55                   </action> 
    56                 </pluginExecution> 
    57                 <pluginExecution> 
    58                   <pluginExecutionFilter> 
    59                     <groupId>org.codehaus.mojo</groupId> 
    60                     <artifactId>emma-maven-plugin</artifactId> 
    61                     <versionRange>[1.0-alpha-3,)</versionRange> 
    62                     <goals> 
    63                       <goal>emma</goal> 
    64                     </goals> 
    65                   </pluginExecutionFilter> 
    66                   <action> 
    67                     <ignore/> 
    68                   </action> 
    69                 </pluginExecution> 
    70               </pluginExecutions> 
    71             </lifecycleMappingMetadata> 
    72           </configuration> 
    73         </plugin> 
    74       </plugins> 
    75     </pluginManagement> 
    76     <plugins> 
    77       <plugin> 
    78         <groupId>org.apache.maven.plugins</groupId> 
    79         <artifactId>maven-compiler-plugin</artifactId> 
    80         <version>2.3.2</version> 
    81         <configuration> 
    82           <source>1.6</source> 
    83           <target>1.6</target> 
    84         </configuration> 
    85       </plugin> 
    86       <plugin> 
    87         <groupId>org.apache.maven.plugins</groupId> 
    88         <artifactId>maven-dependency-plugin</artifactId> 
    89         <version>2.4</version> 
    90         <executions> 
    91           <execution> 
    92             <id>unpack</id> 
    93             <phase>process-classes</phase> 
    94             <goals> 
    95               <goal>unpack</goal> 
    96             </goals> 
    97             <configuration> 
    98               <artifactItems> 
    99                 <artifactItem> 
    100                   <groupId>de.ugoe.cs.quest</groupId> 
    101                   <artifactId>quest-core-events</artifactId> 
    102                   <version>0.0.1-SNAPSHOT</version> 
    103                   <outputDirectory>${project.build.directory}/classes</outputDirectory> 
    104                 </artifactItem> 
    105               </artifactItems> 
    106             </configuration> 
    107           </execution> 
    108         </executions> 
    109       </plugin> 
    110       <plugin> 
    111         <groupId>org.codehaus.mojo</groupId> 
    112         <artifactId>emma-maven-plugin</artifactId> 
    113         <version>1.0-alpha-3</version> 
    114         <inherited>true</inherited>           
    115         <executions> 
    116           <execution> 
    117             <phase>process-classes</phase> 
    118             <goals> 
    119               <goal>emma</goal> 
    120             </goals> 
    121           </execution> 
    122         </executions> 
    123       </plugin> 
    124       <plugin> 
    125         <groupId>org.apache.maven.plugins</groupId> 
    126         <artifactId>maven-jar-plugin</artifactId> 
    127         <version>2.3.2</version> 
    128         <executions> 
    129           <execution> 
    130             <goals> 
    131               <goal>test-jar</goal> 
    132             </goals> 
    133           </execution> 
    134         </executions> 
    135       </plugin> 
    136     </plugins> 
    137   </build> 
     1<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
     2        xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd"> 
     3        <modelVersion>4.0.0</modelVersion> 
     4        <groupId>de.ugoe.cs.quest</groupId> 
     5        <artifactId>quest-core-events-test</artifactId> 
     6        <version>0.0.1-SNAPSHOT</version> 
     7        <name>quest-core-events-test</name> 
     8        <scm> 
     9                <url>https://quest.informatik.uni-goettingen.de/svn/quest/trunk/quest-core-events-test</url> 
     10        </scm> 
     11        <dependencies> 
     12                <dependency> 
     13                        <groupId>de.ugoe.cs.quest</groupId> 
     14                        <artifactId>quest-core-events</artifactId> 
     15                        <version>0.0.1-SNAPSHOT</version> 
     16                        <scope>test</scope> 
     17                </dependency> 
     18                <dependency> 
     19                        <groupId>junit</groupId> 
     20                        <artifactId>junit</artifactId> 
     21                        <version>4.8.1</version> 
     22                        <scope>test</scope> 
     23                </dependency> 
     24                <dependency> 
     25                        <groupId>junit-addons</groupId> 
     26                        <artifactId>junit-addons</artifactId> 
     27                        <version>1.4</version> 
     28                </dependency> 
     29                <dependency> 
     30                        <groupId>nl.jqno.equalsverifier</groupId> 
     31                        <artifactId>equalsverifier</artifactId> 
     32                        <version>1.1.3</version> 
     33                </dependency> 
     34                <dependency> 
     35                        <groupId>org.mockito</groupId> 
     36                        <artifactId>mockito-core</artifactId> 
     37                        <version>1.9.0</version> 
     38                        <scope>test</scope> 
     39                </dependency> 
     40        </dependencies> 
     41        <build> 
     42                <pluginManagement> 
     43                        <plugins> 
     44                                <plugin> 
     45                                        <groupId>org.eclipse.m2e</groupId> 
     46                                        <artifactId>lifecycle-mapping</artifactId> 
     47                                        <version>1.0.0</version> 
     48                                        <configuration> 
     49                                                <lifecycleMappingMetadata> 
     50                                                        <pluginExecutions> 
     51                                                                <pluginExecution> 
     52                                                                        <pluginExecutionFilter> 
     53                                                                                <groupId>org.apache.maven.plugins</groupId> 
     54                                                                                <artifactId>maven-dependency-plugin</artifactId> 
     55                                                                                <versionRange>[1.0.0,)</versionRange> 
     56                                                                                <goals> 
     57                                                                                        <goal>unpack</goal> 
     58                                                                                </goals> 
     59                                                                        </pluginExecutionFilter> 
     60                                                                        <action> 
     61                                                                                <ignore /> 
     62                                                                        </action> 
     63                                                                </pluginExecution> 
     64                                                                <pluginExecution> 
     65                                                                        <pluginExecutionFilter> 
     66                                                                                <groupId>org.codehaus.mojo</groupId> 
     67                                                                                <artifactId>emma-maven-plugin</artifactId> 
     68                                                                                <versionRange>[1.0-alpha-3,)</versionRange> 
     69                                                                                <goals> 
     70                                                                                        <goal>emma</goal> 
     71                                                                                </goals> 
     72                                                                        </pluginExecutionFilter> 
     73                                                                        <action> 
     74                                                                                <ignore /> 
     75                                                                        </action> 
     76                                                                </pluginExecution> 
     77                                                        </pluginExecutions> 
     78                                                </lifecycleMappingMetadata> 
     79                                        </configuration> 
     80                                </plugin> 
     81                        </plugins> 
     82                </pluginManagement> 
     83                <plugins> 
     84                        <plugin> 
     85                                <groupId>org.apache.maven.plugins</groupId> 
     86                                <artifactId>maven-compiler-plugin</artifactId> 
     87                                <version>2.3.2</version> 
     88                                <configuration> 
     89                                        <source>1.6</source> 
     90                                        <target>1.6</target> 
     91                                </configuration> 
     92                        </plugin> 
     93                        <plugin> 
     94                                <groupId>org.apache.maven.plugins</groupId> 
     95                                <artifactId>maven-dependency-plugin</artifactId> 
     96                                <version>2.4</version> 
     97                                <executions> 
     98                                        <execution> 
     99                                                <id>unpack</id> 
     100                                                <phase>process-classes</phase> 
     101                                                <goals> 
     102                                                        <goal>unpack</goal> 
     103                                                </goals> 
     104                                                <configuration> 
     105                                                        <artifactItems> 
     106                                                                <artifactItem> 
     107                                                                        <groupId>de.ugoe.cs.quest</groupId> 
     108                                                                        <artifactId>quest-core-events</artifactId> 
     109                                                                        <version>0.0.1-SNAPSHOT</version> 
     110                                                                        <outputDirectory>${project.build.directory}/classes</outputDirectory> 
     111                                                                </artifactItem> 
     112                                                        </artifactItems> 
     113                                                </configuration> 
     114                                        </execution> 
     115                                </executions> 
     116                        </plugin> 
     117                        <plugin> 
     118                                <groupId>org.codehaus.mojo</groupId> 
     119                                <artifactId>emma-maven-plugin</artifactId> 
     120                                <version>1.0-alpha-3</version> 
     121                                <inherited>true</inherited> 
     122                                <executions> 
     123                                        <execution> 
     124                                                <phase>process-classes</phase> 
     125                                                <goals> 
     126                                                        <goal>emma</goal> 
     127                                                </goals> 
     128                                        </execution> 
     129                                </executions> 
     130                        </plugin> 
     131                        <plugin> 
     132                                <groupId>org.apache.maven.plugins</groupId> 
     133                                <artifactId>maven-jar-plugin</artifactId> 
     134                                <version>2.3.2</version> 
     135                                <executions> 
     136                                        <execution> 
     137                                                <goals> 
     138                                                        <goal>test-jar</goal> 
     139                                                </goals> 
     140                                        </execution> 
     141                                </executions> 
     142                        </plugin> 
     143                </plugins> 
     144        </build> 
    138145</project> 

  • trunk/quest-core-events-test/src/test/java/de/ugoe/cs/quest/SequenceInstanceOfTest.java

    r481 r547  
    2525        @Test 
    2626        public void TestIsCollectionOfSequences_1() throws Exception { 
    27                 Collection<List<? extends Event<?>>> sequences = new LinkedList<List<? extends Event<?>>>(); 
    28                 List<Event<?>> sequence1 = new ArrayList<Event<?>>(); 
     27                Collection<List<Event>> sequences = new LinkedList<List<Event>>(); 
     28                List<Event> sequence1 = new ArrayList<Event>(); 
    2929                sequence1.add(new Event<String>("a")); 
    3030                sequences.add(sequence1); 
    … …  
    3636        @Test 
    3737        public void TestIsCollectionOfSequences_2() throws Exception { 
    38                 Collection<List<? extends Event<?>>> sequences = new LinkedList<List<? extends Event<?>>>(); 
    39                 List<Event<?>> sequence1 = new ArrayList<Event<?>>(); 
     38                Collection<List<Event>> sequences = new LinkedList<List<Event>>(); 
     39                List<Event> sequence1 = new ArrayList<Event>(); 
    4040                sequences.add(sequence1); 
    4141                 
    … …  
    4646        @Test 
    4747        public void TestIsCollectionOfSequences_3() throws Exception { 
    48                 Collection<List<? extends Event<?>>> sequences = new LinkedList<List<? extends Event<?>>>(); 
     48                Collection<List<Event>> sequences = new LinkedList<List<Event>>(); 
    4949                 
    5050                boolean result = SequenceInstanceOf.isCollectionOfSequences(sequences); 
    … …  
    6666        @Test 
    6767        public void TestIsEventSequence_1() throws Exception { 
    68                 List<Event<?>> sequence = new ArrayList<Event<?>>(); 
     68                List<Event> sequence = new ArrayList<Event>(); 
    6969                sequence.add(new Event<String>("a")); 
    7070                 
    … …  
    7575        @Test 
    7676        public void TestIsEventSequence_2() throws Exception { 
    77                 List<Event<?>> sequence = new ArrayList<Event<?>>(); 
     77                List<Event> sequence = new ArrayList<Event>(); 
    7878                 
    7979                boolean result = SequenceInstanceOf.isEventSequence(sequence); 

  • trunk/quest-core-events-test/src/test/java/de/ugoe/cs/quest/eventcore/EventTest.java

    r481 r547  
     1 
    12package de.ugoe.cs.quest.eventcore; 
    23 
    3 import nl.jqno.equalsverifier.EqualsVerifier; 
    4 import nl.jqno.equalsverifier.Warning; 
    54 
    65import org.junit.*; 
    76 
    87import de.ugoe.cs.quest.eventcore.Event; 
    9 import de.ugoe.cs.quest.eventcore.ReplayableEvent; 
    108 
    119import static org.junit.Assert.*; 
     10import static org.mockito.Mockito.*; 
    1211 
    1312/** 
    14  * The class <code>EventTest</code> contains tests for the class 
    15  * <code>{@link Event}</code>. 
     13 * The class <code>EventTest</code> contains tests for the class <code>{@link Event}</code>. 
    1614 *  
    1715 * @author Steffen Herbold 
    … …  
    2018public class EventTest { 
    2119 
    22         @Test 
    23         public void testEvent_1() throws Exception { 
    24                 String type = "typeString"; 
    25  
    26                 Event<String> result = new Event<String>(type); 
    27  
    28                 assertNotNull(result); 
    29                 assertEquals(type, result.type); 
    30                 assertNull(result.target); 
    31                 assertNull(result.targetShort); 
    32                 assertEquals("", result.idInfo); 
    33         } 
    34  
    35         @Test(expected = java.security.InvalidParameterException.class) 
    36         public void testEvent_2() throws Exception { 
    37                 new Event<String>(null); 
    38         } 
    39  
    40         @Test 
    41         public void testEquals_1() throws Exception { 
    42                 String type1 = "typeString"; 
    43                 String type2 = "typeString"; 
    44                 Event<String> fixture = new Event<String>(type1); 
    45                 Event<String> other = new Event<String>(type2); 
    46  
    47                 boolean result = fixture.equals(other); 
    48  
    49                 assertTrue(result); 
    50         } 
    51  
    52         @Test 
    53         public void testEquals_2() throws Exception { 
    54                 String type1 = "typeString1"; 
    55                 String type2 = "typeString2"; 
    56                 Event<String> fixture = new Event<String>(type1); 
    57                 Event<String> other = new Event<String>(type2); 
    58  
    59                 boolean result = fixture.equals(other); 
    60  
    61                 assertFalse(result); 
    62         } 
    63  
    64         @Test 
    65         public void testEquals_3() throws Exception { 
    66                 String type1 = "typeString"; 
    67                 String type2 = "typeString"; 
    68                 String target1 = "target"; 
    69                 String target2 = "target"; 
    70                 Event<String> fixture = new Event<String>(type1); 
    71                 fixture.target = target1; 
    72                 Event<String> other = new Event<String>(type2); 
    73                 other.target = target2; 
    74  
    75                 boolean result = fixture.equals(other); 
    76  
    77                 assertTrue(result); 
    78         } 
    79  
    80         @Test 
    81         public void testEquals_4() throws Exception { 
    82                 String type1 = "typeString1"; 
    83                 String type2 = "typeString2"; 
    84                 String target1 = "target"; 
    85                 String target2 = "target"; 
    86                 Event<String> fixture = new Event<String>(type1); 
    87                 fixture.target = target1; 
    88                 Event<String> other = new Event<String>(type2); 
    89                 other.target = target2; 
    90  
    91                 boolean result = fixture.equals(other); 
    92  
    93                 assertFalse(result); 
    94         } 
    95  
    96         @Test 
    97         public void testEquals_5() throws Exception { 
    98                 String type1 = "typeString"; 
    99                 String type2 = "typeString"; 
    100                 String target1 = "target1"; 
    101                 String target2 = "target2"; 
    102                 Event<String> fixture = new Event<String>(type1); 
    103                 fixture.target = target1; 
    104                 Event<String> other = new Event<String>(type2); 
    105                 other.target = target2; 
    106  
    107                 boolean result = fixture.equals(other); 
    108  
    109                 assertFalse(result); 
    110         } 
    111  
    112         @Test 
    113         public void testEquals_6() throws Exception { 
    114                 String type = "typeString"; 
    115                 Event<String> fixture = new Event<String>(type); 
    116  
    117                 boolean result = fixture.equals(fixture); 
    118  
    119                 assertTrue(result); 
    120         } 
    121  
    122         @Test 
    123         public void testEqualsContract() throws Exception { 
    124                 EqualsVerifier.forClass(Event.class) 
    125                                 .suppress(Warning.NONFINAL_FIELDS).withRedefinedSubclass(ReplayableEvent.class) 
    126                                 .verify(); 
    127         } 
    128  
    129         @Test 
    130         public void testGetIdInfo_fixture_1() throws Exception { 
    131                 String type = "typeString"; 
    132                 String idInfo = "idInfoString"; 
    133                 Event<String> fixture = new Event<String>(type); 
    134                 fixture.idInfo = idInfo; 
    135  
    136                 String result = fixture.getIdInfo(); 
    137  
    138                 assertEquals(idInfo, result); 
    139         } 
    140  
    141         @Test 
    142         public void testGetShortId_1() throws Exception { 
    143                 String type = "typeString"; 
    144                 String targetShort = "targetShortString"; 
    145                 Event<String> fixture = new Event<String>(type); 
    146                 fixture.targetShort = targetShort; 
    147  
    148                 String result = fixture.getShortId(); 
    149  
    150                 assertEquals("targetShortString.typeString", result); 
    151         } 
    152  
    153         @Test 
    154         public void testGetShortId_2() throws Exception { 
    155                 String type = "typeString"; 
    156                 String targetShort = "targetShortString"; 
    157                 String idInfo = "idInfoString"; 
    158                 Event<String> fixture = new Event<String>(type); 
    159                 fixture.targetShort = targetShort; 
    160                 fixture.idInfo = idInfo; 
    161  
    162                 String result = fixture.getShortId(); 
    163  
    164                 assertEquals("targetShortString.typeString.idInfoString", result); 
    165         } 
    166  
    167         @Test 
    168         public void testGetShortId_3() throws Exception { 
    169                 String type = "typeString"; 
    170                 String target = "targetString"; 
    171                 Event<String> fixture = new Event<String>(type); 
    172                 fixture.target = target; 
    173  
    174                 String result = fixture.getShortId(); 
    175  
    176                 assertEquals("targetString.typeString", result); 
    177         } 
    178  
    179         @Test 
    180         public void testGetStandardId_1() throws Exception { 
    181                 String type = "typeString"; 
    182                 String target = "targetString"; 
    183                 Event<String> fixture = new Event<String>(type); 
    184                 fixture.target = target; 
    185  
    186                 String result = fixture.getStandardId(); 
    187  
    188                 assertEquals("targetString.typeString", result); 
    189         } 
    190  
    191         @Test 
    192         public void testGetStandardId_2() throws Exception { 
    193                 String type = "typeString"; 
    194                 String target = "targetString"; 
    195                 String idInfo = "idInfoString"; 
    196                 Event<String> fixture = new Event<String>(type); 
    197                 fixture.target = target; 
    198                 fixture.idInfo = idInfo; 
    199  
    200                 String result = fixture.getStandardId(); 
    201  
    202                 assertEquals("targetString.typeString.idInfoString", result); 
    203         } 
    204  
    205         @Test 
    206         public void testGetStandardId_3() throws Exception { 
    207                 String type = "typeString"; 
    208                 Event<String> fixture = new Event<String>(type); 
    209  
    210                 String result = fixture.getStandardId(); 
    211  
    212                 assertEquals("typeString", result); 
    213         } 
    214  
    215         @Test 
    216         public void testGetStandardId_4() throws Exception { 
    217                 String type = "typeString"; 
    218                 String idInfo = "idInfoString"; 
    219                 Event<String> fixture = new Event<String>(type); 
    220                 fixture.idInfo = idInfo; 
    221  
    222                 String result = fixture.getStandardId(); 
    223  
    224                 assertEquals("typeString.idInfoString", result); 
    225         } 
    226  
    227         @Test 
    228         public void testGetTarget_1() throws Exception { 
    229                 String type = "typeString"; 
    230                 String target = "targetString"; 
    231                 Event<String> fixture = new Event<String>(type); 
    232                 fixture.target = target; 
    233  
    234                 String result = fixture.getTarget(); 
    235  
    236                 assertEquals(target, result); 
    237         } 
    238  
    239         @Test 
    240         public void testGetTarget_2() throws Exception { 
    241                 String type = "typeString"; 
    242                 Event<String> fixture = new Event<String>(type); 
    243  
    244                 String result = fixture.getTarget(); 
    245  
    246                 assertNull(result); 
    247         } 
    248  
    249         @Test 
    250         public void testGetTargetShort_1() throws Exception { 
    251                 String type = "typeString"; 
    252                 String targetShort = "targetShort"; 
    253                 Event<String> fixture = new Event<String>(type); 
    254                 fixture.targetShort = targetShort; 
    255  
    256                 String result = fixture.getTargetShort(); 
    257  
    258                 assertEquals(targetShort, result); 
    259         } 
    260  
    261         @Test 
    262         public void testGetTargetShort_2() throws Exception { 
    263                 String type = "typeString"; 
    264                 Event<String> fixture = new Event<String>(type); 
    265  
    266                 String result = fixture.getTargetShort(); 
    267  
    268                 assertNull(result); 
    269         } 
    270  
    271         @Test 
    272         public void testGetType_1() throws Exception { 
    273                 String type = "typeString"; 
    274                 Event<String> fixture = new Event<String>(type); 
    275  
    276                 String result = fixture.getType(); 
    277  
    278                 assertEquals(type, result); 
    279         } 
    280  
    281         @Test 
    282         public void testSetIdInfo_fixture_1() throws Exception { 
    283                 String type = "typeString"; 
    284                 String idInfo = "idInfoString"; 
    285                 Event<String> fixture = new Event<String>(type); 
    286  
    287                 fixture.setIdInfo(idInfo); 
    288  
    289                 assertEquals(idInfo, fixture.idInfo); 
    290         } 
    291  
    292         @Test 
    293         public void testSetIdInfo_2() throws Exception { 
    294                 String type = "typeString"; 
    295                 String idInfo = null; 
    296                 Event<String> fixture = new Event<String>(type); 
    297  
    298                 fixture.setIdInfo(idInfo); 
    299  
    300                 assertEquals(idInfo, fixture.idInfo); 
    301         } 
    302  
    303         @Test 
    304         public void testSetTarget_1() throws Exception { 
    305                 String type = "typeString"; 
    306                 String target = "targetString"; 
    307                 Event<String> fixture = new Event<String>(type); 
    308  
    309                 boolean result = fixture.setTarget(target); 
    310  
    311                 assertTrue(result); 
    312                 assertEquals(target, fixture.target); 
    313         } 
    314  
    315         @Test 
    316         public void testSetTarget_2() throws Exception { 
    317                 String type = "typeString"; 
    318                 String target1 = "targetString1"; 
    319                 String target2 = "targetString2"; 
    320                 Event<String> fixture = new Event<String>(type); 
    321                 fixture.target = target1; 
    322  
    323                 boolean result = fixture.setTarget(target2); 
    324  
    325                 assertFalse(result); 
    326                 assertEquals(target1, fixture.target); 
    327         } 
    328  
    329         @Test 
    330         public void testSetTargetShort_1() throws Exception { 
    331                 String type = "typeString"; 
    332                 String targetShort = "targetShortString"; 
    333                 Event<String> fixture = new Event<String>(type); 
    334  
    335                 boolean result = fixture.setTargetShort(targetShort); 
    336  
    337                 assertTrue(result); 
    338                 assertEquals(targetShort, fixture.targetShort); 
    339         } 
    340  
    341         @Test 
    342         public void testSetTargetShort_2() throws Exception { 
    343                 String type = "typeString"; 
    344                 String targetShort1 = "targetShortString1"; 
    345                 String targetShort2 = "targetShortString2"; 
    346                 Event<String> fixture = new Event<String>(type); 
    347                 fixture.targetShort = targetShort1; 
    348  
    349                 boolean result = fixture.setTargetShort(targetShort2); 
    350  
    351                 assertFalse(result); 
    352                 assertEquals(targetShort1, fixture.targetShort); 
    353         } 
    354  
    355         @Test 
    356         public void testToString_1() throws Exception { 
    357                 String type = "typeString"; 
    358                 String target = "targetString"; 
    359                 Event<String> fixture = new Event<String>(type); 
    360                 fixture.target = target; 
    361  
    362                 String result = fixture.toString(); 
    363  
    364                 assertEquals("targetString.typeString", result); 
    365         } 
    366  
    367         @Test 
    368         public void testToString_2() throws Exception { 
    369                 String type = "typeString"; 
    370                 String target = "targetString"; 
    371                 String idInfo = "idInfoString"; 
    372                 Event<String> fixture = new Event<String>(type); 
    373                 fixture.target = target; 
    374                 fixture.idInfo = idInfo; 
    375  
    376                 String result = fixture.toString(); 
    377  
    378                 assertEquals("targetString.typeString.idInfoString", result); 
    379         } 
    380  
    381         @Test 
    382         public void testToString_3() throws Exception { 
    383                 String type = "typeString"; 
    384                 Event<String> fixture = new Event<String>(type); 
    385  
    386                 String result = fixture.toString(); 
    387  
    388                 assertEquals("typeString", result); 
    389         } 
    390  
    391         @Test 
    392         public void testToString_4() throws Exception { 
    393                 String type = "typeString"; 
    394                 String idInfo = "idInfoString"; 
    395                 Event<String> fixture = new Event<String>(type); 
    396                 fixture.idInfo = idInfo; 
    397  
    398                 String result = fixture.toString(); 
    399  
    400                 assertEquals("typeString.idInfoString", result); 
    401         } 
    402  
    403         public static void main(String[] args) { 
    404                 new org.junit.runner.JUnitCore().run(EventTest.class); 
    405         } 
     20    @Test 
     21    public void testEvent_1() throws Exception { 
     22        Event result = new Event(mock(IEventType.class)); 
     23 
     24        assertNotNull(result); 
     25    } 
     26 
     27    @Test(expected = java.security.InvalidParameterException.class) 
     28    public void testEvent_2() throws Exception { 
     29        new Event(null); 
     30    } 
     31 
     32    /* 
     33    @Test 
     34    public void testEquals_1() throws Exception { 
     35        IEventType type1 = mock(IEventType.class); 
     36        IEventType type2 = mock(IEventType.class); 
     37        // when(type1.equals(type2)).thenReturn(true); 
     38        Event fixture = new Event(type1); 
     39        Event other = new Event(type2); 
     40 
     41        boolean result = fixture.equals(other); 
     42 
     43        assertTrue(result); 
     44    } 
     45 
     46    @Test 
     47    public void testEquals_2() throws Exception { 
     48        String type1 = "typeString1"; 
     49        String type2 = "typeString2"; 
     50        Event fixture = new Event(type1); 
     51        Event other = new Event(type2); 
     52 
     53        boolean result = fixture.equals(other); 
     54 
     55        assertFalse(result); 
     56    } 
     57 
     58    @Test 
     59    public void testEquals_3() throws Exception { 
     60        String type1 = "typeString"; 
     61        String type2 = "typeString"; 
     62        String target1 = "target"; 
     63        String target2 = "target"; 
     64        Event fixture = new Event(type1); 
     65        fixture.target = target1; 
     66        Event other = new Event(type2); 
     67        other.target = target2; 
     68 
     69        boolean result = fixture.equals(other); 
     70 
     71        assertTrue(result); 
     72    } 
     73 
     74    @Test 
     75    public void testEquals_4() throws Exception { 
     76        String type1 = "typeString1"; 
     77        String type2 = "typeString2"; 
     78        String target1 = "target"; 
     79        String target2 = "target"; 
     80        Event fixture = new Event(type1); 
     81        fixture.target = target1; 
     82        Event other = new Event(type2); 
     83        other.target = target2; 
     84 
     85        boolean result = fixture.equals(other); 
     86 
     87        assertFalse(result); 
     88    } 
     89 
     90    @Test 
     91    public void testEquals_5() throws Exception { 
     92        String type1 = "typeString"; 
     93        String type2 = "typeString"; 
     94        String target1 = "target1"; 
     95        String target2 = "target2"; 
     96        Event fixture = new Event(type1); 
     97        fixture.target = target1; 
     98        Event other = new Event(type2); 
     99        other.target = target2; 
     100 
     101        boolean result = fixture.equals(other); 
     102 
     103        assertFalse(result); 
     104    } 
     105 
     106    @Test 
     107    public void testEquals_6() throws Exception { 
     108        String type = "typeString"; 
     109        Event fixture = new Event(type); 
     110 
     111        boolean result = fixture.equals(fixture); 
     112 
     113        assertTrue(result); 
     114    } 
     115 
     116    @Test 
     117    public void testEqualsContract() throws Exception { 
     118        EqualsVerifier.forClass(Event.class).suppress(Warning.NONFINAL_FIELDS) 
     119            .withRedefinedSubclass(ReplayableEvent.class).verify(); 
     120    } 
     121    */ 
     122 
     123    @Test 
     124    public void testGetTarget_1() throws Exception { 
     125        IEventType type = mock(IEventType.class); 
     126        IEventTarget target = mock(IEventTarget.class); 
     127         
     128        Event fixture = new Event(type); 
     129        fixture.setTarget(target); 
     130 
     131        IEventTarget result = fixture.getTarget(); 
     132 
     133        assertSame(target, result); 
     134    } 
     135     
     136     
     137 
     138    @Test 
     139    public void testGetTarget_2() throws Exception { 
     140        IEventType type = mock(IEventType.class); 
     141        IEventTarget target = mock(IEventTarget.class); 
     142         
     143        Event fixture = new Event(type, target); 
     144 
     145        IEventTarget result = fixture.getTarget(); 
     146 
     147        assertSame(target, result); 
     148    } 
     149     
     150    @Test 
     151    public void testGetTarget_3() throws Exception { 
     152        IEventType type = mock(IEventType.class); 
     153         
     154        Event fixture = new Event(type); 
     155 
     156        IEventTarget result = fixture.getTarget(); 
     157 
     158        assertNull(result); 
     159    } 
     160 
     161    @Test 
     162    public void testGetType_1() throws Exception { 
     163        IEventType type = mock(IEventType.class); 
     164         
     165        Event fixture = new Event(type); 
     166 
     167        IEventType result = fixture.getType(); 
     168 
     169        assertEquals(type, result); 
     170    } 
     171 
     172    @Test 
     173    public void testSetTarget_1() throws Exception { 
     174        IEventType type = mock(IEventType.class); 
     175        IEventTarget target = mock(IEventTarget.class); 
     176         
     177        Event fixture = new Event(type); 
     178 
     179        boolean result = fixture.setTarget(target); 
     180 
     181        assertTrue(result); 
     182        assertEquals(target, fixture.getTarget()); 
     183    } 
     184 
     185    @Test 
     186    public void testSetTarget_2() throws Exception { 
     187        IEventType type = mock(IEventType.class); 
     188        IEventTarget target1 = mock(IEventTarget.class); 
     189        IEventTarget target2 = mock(IEventTarget.class); 
     190         
     191        Event fixture = new Event(type); 
     192 
     193        fixture.setTarget(target1); 
     194        boolean result = fixture.setTarget(target2); 
     195         
     196        assertFalse(result); 
     197        assertEquals(target1, fixture.target); 
     198    } 
     199     
     200    @Test 
     201    public void testSetTarget_3() throws Exception { 
     202        IEventType type = mock(IEventType.class); 
     203        IEventTarget target1 = mock(IEventTarget.class); 
     204        IEventTarget target2 = mock(IEventTarget.class); 
     205         
     206        Event fixture = new Event(type, target1); 
     207 
     208        boolean result = fixture.setTarget(target2); 
     209         
     210        assertFalse(result); 
     211        assertEquals(target1, fixture.target); 
     212    } 
     213 
     214    @Test 
     215    public void testToString_1() throws Exception { 
     216        IEventType type = mock(IEventType.class); 
     217        when(type.toString()).thenReturn("typeString"); 
     218        IEventTarget target = mock(IEventTarget.class); 
     219        when(target.toString()).thenReturn("targetString"); 
     220         
     221        Event fixture = new Event(type, target); 
     222 
     223        String result = fixture.toString(); 
     224 
     225        assertEquals("(typeString;targetString)", result); 
     226    } 
     227 
     228    public static void main(String[] args) { 
     229        new org.junit.runner.JUnitCore().run(EventTest.class); 
     230    } 
    406231} 

  • trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/DrawFromAllSequencesGenerator.java

    r523 r547  
    127127         * @return the test suite 
    128128         */ 
    129         public Collection<List<? extends Event<?>>> generateTestSuite( 
     129        public Collection<List<Event>> generateTestSuite( 
    130130                        IStochasticProcess model) { 
    131131                if (model == null) { 
    … …  
    133133                } 
    134134 
    135                 Collection<List<? extends Event<?>>> sequences = new LinkedHashSet<List<? extends Event<?>>>(); 
     135                Collection<List<Event>> sequences = new LinkedHashSet<List<Event>>(); 
    136136                for (int length = minLength; length <= maxLength; length++) { 
    137137                        if (validEnd) { 
    … …  
    145145                        List<Double> probabilities = new ArrayList<Double>(sequences.size()); 
    146146                        double probSum = 0.0; 
    147                         for (List<? extends Event<?>> sequence : sequences) { 
     147                        for (List<Event> sequence : sequences) { 
    148148                                double prob = model.getProbability(sequence); 
    149149                                probabilities.add(prob); 
    … …  
    167167                                } 
    168168                        } 
    169                         Collection<List<? extends Event<?>>> retainedSequences = new LinkedList<List<? extends Event<?>>>(); 
     169                        Collection<List<Event>> retainedSequences = new LinkedList<List<Event>>(); 
    170170                        int index = 0; 
    171                         for (List<? extends Event<?>> sequence : sequences) { 
     171                        for (List<Event> sequence : sequences) { 
    172172                                if (drawnSequences.contains(index)) { 
    173173                                        retainedSequences.add(sequence); 

  • trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/HybridGenerator.java

    r523 r547  
    107107         * @return the test suite 
    108108         */ 
    109         public Collection<List<? extends Event<?>>> generateTestSuite( 
     109        public Collection<List<Event>> generateTestSuite( 
    110110                        IStochasticProcess model) { 
    111111                if (model == null) { 
    … …  
    113113                } 
    114114                 
    115                 Collection<List<? extends Event<?>>> sequences = new LinkedHashSet<List<? extends Event<?>>>(); 
    116  
    117                 List<List<? extends Event<?>>> seqsTmp = new ArrayList<List<? extends Event<?>>>( 
     115                Collection<List<Event>> sequences = new LinkedHashSet<List<Event>>(); 
     116 
     117                List<List<Event>> seqsTmp = new ArrayList<List<Event>>( 
    118118                                model.generateSequences(maxLengthAll + 1, true)); 
    119119 
    … …  
    122122                List<Double> probabilities = new ArrayList<Double>(seqsTmp.size()); 
    123123                double probSum = 0.0; 
    124                 for (List<? extends Event<?>> sequence : seqsTmp) { 
     124                for (List<Event> sequence : seqsTmp) { 
    125125                        double prob = model.getProbability(sequence); 
    126126                        probabilities.add(prob); 
    … …  
    140140                                sum += currentProb; 
    141141                        } 
    142                         List<? extends Event<?>> seqTmp = seqsTmp.get(index); 
     142                        List<Event> seqTmp = seqsTmp.get(index); 
    143143                        if (!Event.ENDEVENT.equals(seqTmp.get(seqTmp.size() - 1))) { 
    144                                 List<? extends Event<?>> sequence; 
     144                                List<Event> sequence; 
    145145                                if (validEnd) { 
    146146                                        sequence = finishSequence(seqTmp, model, length + 2, 
    … …  
    180180         * @return finished sequence of the desired length 
    181181         */ 
    182         private List<? extends Event<?>> finishSequence( 
    183                         List<? extends Event<?>> sequence, IStochasticProcess model, 
     182        private List<Event> finishSequence( 
     183                        List<Event> sequence, IStochasticProcess model, 
    184184                        int length, boolean validEnd) { 
    185185                Random r = new Random(); 
    186186                boolean endFound = false; 
    187                 List<Event<?>> sequenceCopy = new LinkedList<Event<?>>(sequence); 
     187                List<Event> sequenceCopy = new LinkedList<Event>(sequence); 
    188188                final int maxIter = 30000; 
    189189                int iter = 0; 
    190190                while (!endFound && iter < maxIter) { 
    191191                        iter++; 
    192                         sequenceCopy = new LinkedList<Event<?>>(sequence); 
     192                        sequenceCopy = new LinkedList<Event>(sequence); 
    193193                        while (!endFound && sequenceCopy.size() <= length) { 
    194194                                double randVal = r.nextDouble(); 
    195195                                double probSum = 0.0; 
    196                                 for (Event<?> symbol : model.getEvents()) { 
     196                                for (Event symbol : model.getEvents()) { 
    197197                                        probSum += model.getProbability(sequenceCopy, symbol); 
    198198                                        if (probSum >= randVal) { 

  • trunk/quest-core-testgeneration/src/main/java/de/ugoe/cs/quest/testgeneration/RandomWalkGenerator.java

    r523 r547  
    138138         * @return the test suite 
    139139         */ 
    140         @SuppressWarnings("unchecked") 
    141         public Collection<List<? extends Event<?>>> generateTestSuite( 
     140        public Collection<List<Event>> generateTestSuite( 
    142141                        IStochasticProcess model) { 
    143142                if (model == null) { 
    … …  
    145144                } 
    146145 
    147                 Set<List<? extends Event<?>>> sequences = new HashSet<List<? extends Event<?>>>( 
     146                Set<List<Event>> sequences = new HashSet<List<Event>>( 
    148147                                numSequences); 
    149148                actualIter = 0; 
    150149                while (sequences.size() < numSequences && actualIter < maxIter) { 
    151                         List<? extends Event<?>> generatedSequence = model.randomSequence( 
     150                        List<Event> generatedSequence = model.randomSequence( 
    152151                                        maxLength, validEnd); 
    153152                        if (generatedSequence.size() >= minLength 
    154153                                        && generatedSequence.size() <= maxLength) { 
    155                                 ((List<Event<?>>) generatedSequence).add(0, Event.STARTEVENT); 
     154                                ((List<Event>) generatedSequence).add(0, Event.STARTEVENT); 
    156155                                if (validEnd) { 
    157                                         ((List<Event<?>>) generatedSequence).add(Event.ENDEVENT); 
     156                                        ((List<Event>) generatedSequence).add(Event.ENDEVENT); 
    158157                                } 
    159158                                sequences.add(generatedSequence); 

  • trunk/quest-core-usageprofiles/src/main/java/de/ugoe/cs/quest/usageprofiles/DeterministicFiniteAutomaton.java

    r518 r547  
    5151         */ 
    5252        @Override 
    53         public double getProbability(List<? extends Event<?>> context, 
    54                         Event<?> symbol) { 
     53        public double getProbability(List<Event> context, 
     54                        Event symbol) { 
    5555                if( context==null ) { 
    5656                        throw new InvalidParameterException("context must not be null"); 
    … …  
    6161                double result = 0.0d; 
    6262 
    63                 List<Event<?>> contextCopy; 
     63                List<Event> contextCopy; 
    6464                if (context.size() >= trieOrder) { 
    65                         contextCopy = new LinkedList<Event<?>>(context.subList( 
     65                        contextCopy = new LinkedList<Event>(context.subList( 
    6666                                        context.size() - trieOrder + 1, context.size())); 
    6767                } else { 
    68                         contextCopy = new LinkedList<Event<?>>(context); 
     68                        contextCopy = new LinkedList<Event>(context); 
    6969                } 
    7070 
    71                 Collection<Event<?>> followers = trie.getFollowingSymbols(contextCopy); 
     71                Collection<Event> followers = trie.getFollowingSymbols(contextCopy); 
    7272 
    7373                if (followers.size() != 0 && followers.contains(symbol)) { 

  • trunk/quest-core-usageprofiles/src/main/java/de/ugoe/cs/quest/usageprofiles/FirstOrderMarkovModel.java

    r518 r547  
    6767         */ 
    6868        private Matrix getTransmissionMatrix() { 
    69                 List<Event<?>> knownSymbols = new ArrayList<Event<?>>( 
     69                List<Event> knownSymbols = new ArrayList<Event>( 
    7070                                trie.getKnownSymbols()); 
    7171                int numStates = knownSymbols.size(); 
    … …  
    7373 
    7474                for (int i = 0; i < numStates; i++) { 
    75                         Event<?> currentSymbol = knownSymbols.get(i); 
    76                         List<Event<?>> context = new ArrayList<Event<?>>(); 
     75                        Event currentSymbol = knownSymbols.get(i); 
     76                        List<Event> context = new ArrayList<Event>(); 
    7777                        context.add(currentSymbol); 
    7878                        for (int j = 0; j < numStates; j++) { 
    79                                 Event<?> follower = knownSymbols.get(j); 
     79                                Event follower = knownSymbols.get(j); 
    8080                                double prob = getProbability(context, follower); 
    8181                                transmissionMatrix.set(i, j, prob); 
    … …  
    9696        public double calcEntropy() { 
    9797                Matrix transmissionMatrix = getTransmissionMatrix(); 
    98                 List<Event<?>> knownSymbols = new ArrayList<Event<?>>( 
     98                List<Event> knownSymbols = new ArrayList<Event>( 
    9999                                trie.getKnownSymbols()); 
    100100                int numStates = knownSymbols.size(); 
    … …  
    173173                stringBuilder.append("digraph model {" + StringTools.ENDLINE); 
    174174 
    175                 List<Event<?>> knownSymbols = new ArrayList<Event<?>>( 
    176                                 trie.getKnownSymbols()); 
    177                 for (Event<?> symbol : knownSymbols) { 
     175                List<Event> knownSymbols = new ArrayList<Event>( 
     176                                trie.getKnownSymbols()); 
     177                for (Event symbol : knownSymbols) { 
    178178                        final String thisSaneId = symbol.getShortId().replace("\"", "\\\"") 
    179179                                        .replaceAll("[\r\n]", ""); 
    180180                        stringBuilder.append(" " + knownSymbols.indexOf(symbol) + " [label=\"" 
    181181                                        + thisSaneId + "\"];" + StringTools.ENDLINE); 
    182                         List<Event<?>> context = new ArrayList<Event<?>>(); 
     182                        List<Event> context = new ArrayList<Event>(); 
    183183                        context.add(symbol); 
    184                         Collection<Event<?>> followers = trie.getFollowingSymbols(context); 
    185                         for (Event<?> follower : followers) { 
     184                        Collection<Event> followers = trie.getFollowingSymbols(context); 
     185                        for (Event follower : followers) { 
    186186                                stringBuilder.append(" " + knownSymbols.indexOf(symbol) + " -> " 
    187187                                                + knownSymbols.indexOf(follower) + " "); 
    … …  
    206206                Graph<String, MarkovEdge> graph = new SparseMultigraph<String, MarkovEdge>(); 
    207207 
    208                 List<Event<?>> knownSymbols = new ArrayList<Event<?>>( 
    209                                 trie.getKnownSymbols()); 
    210  
    211                 for (Event<?> symbol : knownSymbols) { 
     208                List<Event> knownSymbols = new ArrayList<Event>( 
     209                                trie.getKnownSymbols()); 
     210 
     211                for (Event symbol : knownSymbols) { 
    212212                        String from = symbol.getShortId(); 
    213                         List<Event<?>> context = new ArrayList<Event<?>>(); 
     213                        List<Event> context = new ArrayList<Event>(); 
    214214                        context.add(symbol); 
    215215 
    216                         Collection<Event<?>> followers = trie.getFollowingSymbols(context); 
    217  
    218                         for (Event<?> follower : followers) { 
     216                        Collection<Event> followers = trie.getFollowingSymbols(context); 
     217 
     218                        for (Event follower : followers) { 
    219219                                String to = follower.getShortId(); 
    220220                                MarkovEdge prob = new MarkovEdge(getProbability(context, 

  • trunk/quest-core-usageprofiles/src/main/java/de/ugoe/cs/quest/usageprofiles/HighOrderMarkovModel.java

    r518 r547  
    5353         */ 
    5454        @Override 
    55         public double getProbability(List<? extends Event<?>> context, 
    56                         Event<?> symbol) { 
     55        public double getProbability(List<Event> context, 
     56                        Event symbol) { 
    5757                if (context == null) { 
    5858                        throw new InvalidParameterException("context must not be null"); 
    … …  
    6363                double result = 0.0d; 
    6464 
    65                 List<Event<?>> contextCopy; 
     65                List<Event> contextCopy; 
    6666                if (context.size() >= trieOrder) { 
    67                         contextCopy = new LinkedList<Event<?>>(context.subList( 
     67                        contextCopy = new LinkedList<Event>(context.subList( 
    6868                                        context.size() - trieOrder + 1, context.size())); 
    6969                } else { 
    70                         contextCopy = new LinkedList<Event<?>>(context); 
     70                        contextCopy = new LinkedList<Event>(context); 
    7171                } 
    7272 
    73                 Collection<Event<?>> followers = trie.getFollowingSymbols(contextCopy); 
     73                Collection<Event> followers = trie.getFollowingSymbols(contextCopy); 
    7474                int sumCountFollowers = 0; // N(s\sigma') 
    75                 for (Event<?> follower : followers) { 
     75                for (Event follower : followers) { 
    7676                        sumCountFollowers += trie.getCount(contextCopy, follower); 
    7777                } 

  • trunk/quest-core-usageprofiles/src/main/java/de/ugoe/cs/quest/usageprofiles/IStochasticProcess.java

    r518 r547  
    3434         *             thrown if context or symbol is null 
    3535         */ 
    36         double getProbability(List<? extends Event<?>> context, Event<?> symbol); 
     36        double getProbability(List<Event> context, Event symbol); 
    3737 
    3838        /** 
    … …  
    4848         *             thrown if sequence is null 
    4949         */ 
    50         double getProbability(List<? extends Event<?>> sequence); 
     50        double getProbability(List<Event> sequence); 
    5151 
    5252        /** 
    … …  
    5858         * @return randomly generated sequence 
    5959         */ 
    60         public List<? extends Event<?>> randomSequence(); 
     60        public List<Event> randomSequence(); 
    6161 
    6262        /** 
    … …  
    8181         *  
    8282         */ 
    83         public List<? extends Event<?>> randomSequence(int maxLength, 
     83        public List<Event> randomSequence(int maxLength, 
    8484                        boolean validEnd); 
    8585 
    … …  
    9898         *             thrown if length is less than or equal to 0 
    9999         */ 
    100         public Collection<List<? extends Event<?>>> generateSequences(int length); 
     100        public Collection<List<Event>> generateSequences(int length); 
    101101 
    102102        /** 
    … …  
    118118         *             thrown if length is less than or equal to 0 
    119119         */ 
    120         public Collection<List<? extends Event<?>>> generateSequences(int length, 
     120        public Collection<List<Event>> generateSequences(int length, 
    121121                        boolean fromStart); 
    122122 
    … …  
    135135         *             thrown if length is less than or equal to 0 
    136136         */ 
    137         public Collection<List<? extends Event<?>>> generateValidSequences( 
     137        public Collection<List<Event>> generateValidSequences( 
    138138                        int length); 
    139139 
    … …  
    190190         * @return events known by the process 
    191191         */ 
    192         public Collection<? extends Event<?>> getEvents(); 
     192        public Collection<Event> getEvents(); 
    193193 
    194194} 

  • trunk/quest-core-usageprofiles/src/main/java/de/ugoe/cs/quest/usageprofiles/ModelFlattener.java

    r518 r547  
    2727        private static final String EVENT_SEPARATOR = "-=-"; 
    2828 
    29         Trie<Event<?>> firstOrderTrie; 
     29        Trie<Event> firstOrderTrie; 
    3030 
    3131        /** 
    … …  
    4747                firstOrderModel.trieOrder = 2; 
    4848                if (markovOrder == 1) { 
    49                         firstOrderModel.trie = new Trie<Event<?>>(model.trie); 
     49                        firstOrderModel.trie = new Trie<Event>(model.trie); 
    5050                        firstOrderModel.trieOrder = 2; 
    5151                } else { 
    52                         firstOrderTrie = new Trie<Event<?>>(); 
    53                         TrieNode<Event<?>> rootNode = model.trie.find(null); 
     52                        firstOrderTrie = new Trie<Event>(); 
     53                        TrieNode<Event> rootNode = model.trie.find(null); 
    5454                        generateFirstOrderTrie(rootNode, new LinkedList<String>(), markovOrder); 
    5555                        firstOrderTrie.updateKnownSymbols(); 
    … …  
    9898         *            depth to go - NOT the current depth. 
    9999         */ 
    100         private void generateFirstOrderTrie(TrieNode<Event<?>> currentNode, 
     100        private void generateFirstOrderTrie(TrieNode<Event> currentNode, 
    101101                        List<String> parentIDs, int depth) { 
    102                 for (TrieNode<Event<?>> child : currentNode.getChildren()) { 
     102                for (TrieNode<Event> child : currentNode.getChildren()) { 
    103103                        String currentId = child.getSymbol().getStandardId(); 
    104104                        if (depth > 1) { 
    … …  
    113113                                } 
    114114                                firstOrderID.append(currentId); 
    115                                 TrieNode<Event<?>> firstOrderNode = firstOrderTrie 
     115                                TrieNode<Event> firstOrderNode = firstOrderTrie 
    116116                                                .getChildCreate(new Event<Object>(firstOrderID 
    117117                                                                .toString())); 
    118118                                firstOrderNode.setCount(child.getCount()); 
    119                                 for (TrieNode<Event<?>> transitionChild : child.getChildren()) { 
     119                                for (TrieNode<Event> transitionChild : child.getChildren()) { 
    120120                                        StringBuilder transitionID = new StringBuilder(); 
    121121                                        for (String parentID : parentIDs.subList(1, 
    … …  
    126126                                        transitionID.append(transitionChild.getSymbol() 
    127127                                                        .getStandardId()); 
    128                                         TrieNode<Event<?>> firstOrderTransitionChild = firstOrderNode 
     128                                        TrieNode<Event> firstOrderTransitionChild = firstOrderNode 
    129129                                                        .getChildCreate(new Event<Object>(transitionID 
    130130                                                                        .toString())); 

  • trunk/quest-core-usageprofiles/src/main/java/de/ugoe/cs/quest/usageprofiles/PredictionByPartialMatch.java

    r518 r547  
    149149         */ 
    150150        @Override 
    151         public double getProbability(List<? extends Event<?>> context, 
    152                         Event<?> symbol) { 
     151        public double getProbability(List<Event> context, 
     152                        Event symbol) { 
    153153                if (context == null) { 
    154154                        throw new InvalidParameterException("context must not be null"); 
    … …  
    161161                double resultShorterContex = 0.0d; 
    162162 
    163                 List<Event<?>> contextCopy; 
     163                List<Event> contextCopy; 
    164164                if (context.size() >= trieOrder) { 
    165                         contextCopy = new LinkedList<Event<?>>(context.subList( 
     165                        contextCopy = new LinkedList<Event>(context.subList( 
    166166                                        context.size() - trieOrder + 1, context.size())); 
    167167                } else { 
    168                         contextCopy = new LinkedList<Event<?>>(context); 
    169                 } 
    170  
    171                 Collection<Event<?>> followers = trie.getFollowingSymbols(contextCopy); // \Sigma' 
     168                        contextCopy = new LinkedList<Event>(context); 
     169                } 
     170 
     171                Collection<Event> followers = trie.getFollowingSymbols(contextCopy); // \Sigma' 
    172172                int sumCountFollowers = 0; // N(s\sigma') 
    173                 for (Event<?> follower : followers) { 
     173                for (Event follower : followers) { 
    174174                        sumCountFollowers += trie.getCount(contextCopy, follower); 
    175175                } 

  • trunk/quest-core-usageprofiles/src/main/java/de/ugoe/cs/quest/usageprofiles/TrieBasedModel.java

    r518 r547  
    4949         * </p> 
    5050         */ 
    51         protected Trie<Event<?>> trie = null; 
     51        protected Trie<Event> trie = null; 
    5252 
    5353        /** 
    … …  
    101101         *             thrown is sequences is null 
    102102         */ 
    103         public void train(Collection<List<? extends Event<?>>> sequences) { 
     103        public void train(Collection<List<Event>> sequences) { 
    104104                trie = null; 
    105105                update(sequences); 
    … …  
    119119         *             thrown is sequences is null 
    120120         */ 
    121         public void update(Collection<List<? extends Event<?>>> sequences) { 
     121        public void update(Collection<List<Event>> sequences) { 
    122122                if (sequences == null) { 
    123123                        throw new InvalidParameterException("sequences must not be null"); 
    124124                } 
    125125                if (trie == null) { 
    126                         trie = new Trie<Event<?>>(); 
    127                 } 
    128                 for (List<? extends Event<?>> sequence : sequences) { 
    129                         List<Event<?>> currentSequence = new LinkedList<Event<?>>(sequence); // defensive 
     126                        trie = new Trie<Event>(); 
     127                } 
     128                for (List<Event> sequence : sequences) { 
     129                        List<Event> currentSequence = new LinkedList<Event>(sequence); // defensive 
    130130                                                                                                                                                                        // copy 
    131131                        currentSequence.add(0, Event.STARTEVENT); 
    … …  
    142142         */ 
    143143        @Override 
    144         public List<? extends Event<?>> randomSequence() { 
     144        public List<Event> randomSequence() { 
    145145                return randomSequence(Integer.MAX_VALUE, true); 
    146146        } 
    … …  
    152152         */ 
    153153        @Override 
    154         public List<? extends Event<?>> randomSequence(int maxLength, 
     154        public List<Event> randomSequence(int maxLength, 
    155155                        boolean validEnd) { 
    156                 List<Event<?>> sequence = new LinkedList<Event<?>>(); 
     156                List<Event> sequence = new LinkedList<Event>(); 
    157157                if (trie != null) { 
    158158                        boolean endFound = false; 
    159159                        while (!endFound) { // outer loop for length checking 
    160                                 sequence = new LinkedList<Event<?>>(); 
    161                                 IncompleteMemory<Event<?>> context = new IncompleteMemory<Event<?>>( 
     160                                sequence = new LinkedList<Event>(); 
     161                                IncompleteMemory<Event> context = new IncompleteMemory<Event>( 
    162162                                                trieOrder - 1); 
    163163                                context.add(Event.STARTEVENT); 
    … …  
    166166                                        double randVal = r.nextDouble(); 
    167167                                        double probSum = 0.0; 
    168                                         List<Event<?>> currentContext = context.getLast(trieOrder); 
    169                                         for (Event<?> symbol : trie.getKnownSymbols()) { 
     168                                        List<Event> currentContext = context.getLast(trieOrder); 
     169                                        for (Event symbol : trie.getKnownSymbols()) { 
    170170                                                probSum += getProbability(currentContext, symbol); 
    171171                                                if (probSum >= randVal) { 
    … …  
    262262                String[] stateStrings = new String[getNumSymbols()]; 
    263263                int i = 0; 
    264                 for (Event<?> symbol : trie.getKnownSymbols()) { 
     264                for (Event symbol : trie.getKnownSymbols()) { 
    265265                        if (symbol.toString() == null) { 
    266266                                stateStrings[i] = "null"; 
    … …  
    279279         */ 
    280280        @Override 
    281         public Collection<? extends Event<?>> getEvents() { 
    282                 if (trie == null) { 
    283                         return new HashSet<Event<?>>(); 
     281        public Collection<Event> getEvents() { 
     282                if (trie == null) { 
     283                        return new HashSet<Event>(); 
    284284                } else { 
    285285                        return trie.getKnownSymbols(); 
    … …  
    294294         */ 
    295295        @Override 
    296         public Collection<List<? extends Event<?>>> generateSequences(int length) { 
     296        public Collection<List<Event>> generateSequences(int length) { 
    297297                return generateSequences(length, false); 
    298298        } 
    … …  
    306306         */ 
    307307        @Override 
    308         public Set<List<? extends Event<?>>> generateSequences(int length, 
     308        public Set<List<Event>> generateSequences(int length, 
    309309                        boolean fromStart) { 
    310                 Set<List<? extends Event<?>>> sequenceSet = new LinkedHashSet<List<? extends Event<?>>>(); 
     310                Set<List<Event>> sequenceSet = new LinkedHashSet<List<Event>>(); 
    311311                if (length < 1) { 
    312312                        throw new InvalidParameterException( 
    … …  
    315315                if (length == 1) { 
    316316                        if (fromStart) { 
    317                                 List<Event<?>> subSeq = new LinkedList<Event<?>>(); 
     317                                List<Event> subSeq = new LinkedList<Event>(); 
    318318                                subSeq.add(Event.STARTEVENT); 
    319319                                sequenceSet.add(subSeq); 
    320320                        } else { 
    321                                 for (Event<?> event : getEvents()) { 
    322                                         List<Event<?>> subSeq = new LinkedList<Event<?>>(); 
     321                                for (Event event : getEvents()) { 
     322                                        List<Event> subSeq = new LinkedList<Event>(); 
    323323                                        subSeq.add(event); 
    324324                                        sequenceSet.add(subSeq); 
    … …  
    327327                        return sequenceSet; 
    328328                } 
    329                 Collection<? extends Event<?>> events = getEvents(); 
    330                 Collection<List<? extends Event<?>>> seqsShorter = generateSequences( 
     329                Collection<Event> events = getEvents(); 
     330                Collection<List<Event>> seqsShorter = generateSequences( 
    331331                                length - 1, fromStart); 
    332                 for (Event<?> event : events) { 
    333                         for (List<? extends Event<?>> seqShorter : seqsShorter) { 
    334                                 Event<?> lastEvent = event; 
     332                for (Event event : events) { 
     333                        for (List<Event> seqShorter : seqsShorter) { 
     334                                Event lastEvent = event; 
    335335                                if (getProbability(seqShorter, lastEvent) > 0.0) { 
    336                                         List<Event<?>> subSeq = new ArrayList<Event<?>>(seqShorter); 
     336                                        List<Event> subSeq = new ArrayList<Event>(seqShorter); 
    337337                                        subSeq.add(lastEvent); 
    338338                                        sequenceSet.add(subSeq); 
    … …  
    351351         */ 
    352352        @Override 
    353         public Collection<List<? extends Event<?>>> generateValidSequences( 
     353        public Collection<List<Event>> generateValidSequences( 
    354354                        int length) { 
    355355                // check for min-length implicitly done by generateSequences 
    356                 Collection<List<? extends Event<?>>> allSequences = generateSequences( 
     356                Collection<List<Event>> allSequences = generateSequences( 
    357357                                length, true); 
    358                 Collection<List<? extends Event<?>>> validSequences = new LinkedHashSet<List<? extends Event<?>>>(); 
    359                 for (List<? extends Event<?>> sequence : allSequences) { 
     358                Collection<List<Event>> validSequences = new LinkedHashSet<List<Event>>(); 
     359                for (List<Event> sequence : allSequences) { 
    360360                        if (sequence.size() == length 
    361361                                        && Event.ENDEVENT.equals(sequence.get(sequence.size() - 1))) { 
    … …  
    374374         */ 
    375375        @Override 
    376         public double getProbability(List<? extends Event<?>> sequence) { 
     376        public double getProbability(List<Event> sequence) { 
    377377                if (sequence == null) { 
    378378                        throw new InvalidParameterException("sequence must not be null"); 
    379379                } 
    380380                double prob = 1.0; 
    381                 List<Event<?>> context = new LinkedList<Event<?>>(); 
    382                 for (Event<?> event : sequence) { 
     381                List<Event> context = new LinkedList<Event>(); 
     382                for (Event event : sequence) { 
    383383                        prob *= getProbability(context, event); 
    384384                        context.add(event); 

  • trunk/quest-runner/.classpath

    r533 r547  
    22<classpath> 
    33        <classpathentry kind="src" output="target/classes" path="src/main/java"> 
     4                <attributes> 
     5                        <attribute name="optional" value="true"/> 
     6                        <attribute name="maven.pomderived" value="true"/> 
     7                </attributes> 
     8        </classpathentry> 
     9        <classpathentry kind="src" output="target/test-classes" path="src/test/java"> 
    410                <attributes> 
    511                        <attribute name="optional" value="true"/> 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ReplayGenerator.java

    r488 r547  
    99 
    1010import de.ugoe.cs.quest.IReplayDecorator; 
     11import de.ugoe.cs.quest.eventcore.Event; 
    1112import de.ugoe.cs.quest.eventcore.IReplayable; 
    12 import de.ugoe.cs.quest.eventcore.ReplayableEvent; 
    1313import de.ugoe.cs.util.StringTools; 
    1414import de.ugoe.cs.util.console.Console; 
    … …  
    1919 * if {@link ReplayableEvent}s. 
    2020 * </p> 
     21 *  
     22 * TODO: Figure our how to handle {@link IReplayDecorator} 
     23 * TODO: Add appropriate checks if Events are replayable 
    2124 *  
    2225 * @author Steffen Herbold 
    … …  
    5255         */ 
    5356        public void createLogfileMultipleSessions( 
    54                         Collection<List<ReplayableEvent<?>>> sequences, String filename) { 
     57                        Collection<List<Event>> sequences, String filename) { 
    5558                OutputStreamWriter writer = openReplayFile(filename); 
    5659                if (writer != null) { 
    … …  
    6063                                        writer.write(decorator.getHeader()); 
    6164                                } 
    62                                 for (List<ReplayableEvent<?>> actions : sequences) { 
     65                                for (List<Event> actions : sequences) { 
    6366                                        writeSession(actions, writer); 
    6467                                } 
    … …  
    8487         *            name and path of the replay file 
    8588         */ 
    86         public void createLogfileSingleSession(List<ReplayableEvent<?>> actions, 
     89        public void createLogfileSingleSession(List<Event> actions, 
    8790                        String filename) { 
    8891                OutputStreamWriter writer = openReplayFile(filename); 
    … …  
    152155         *             thrown if there is a problem writing to writer 
    153156         */ 
    154         private void writeSession(List<ReplayableEvent<?>> actions, 
     157        private void writeSession(List<Event> actions, 
    155158                        OutputStreamWriter writer) throws IOException { 
    156159                if (decorator != null) { 
    157160                        writer.write(decorator.getSessionHeader(sessionId)); 
    158161                } 
    159                 for (ReplayableEvent<?> currentAction : actions) { 
     162                for (Event currentAction : actions) { 
    160163 
    161164                        List<? extends IReplayable> replayables = currentAction 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/AbstractTrainCommand.java

    r434 r547  
    8181                        return; 
    8282                } 
    83                 Collection<List<? extends Event<?>>> sequences = (Collection<List<? extends Event<?>>>) dataObject; 
     83                Collection<List<Event>> sequences = (Collection<List<Event>>) dataObject; 
    8484 
    8585                TrieBasedModel model = createModel(); 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDcalcCoverage.java

    r434 r547  
    4949 
    5050                IStochasticProcess process = null; 
    51                 Collection<List<? extends Event<?>>> observedSequences = null; 
    52                 Collection<List<? extends Event<?>>> sequences = null; 
     51                Collection<List<Event>> observedSequences = null; 
     52                Collection<List<Event>> sequences = null; 
    5353                Object dataObjectProcess = GlobalDataContainer.getInstance().getData( 
    5454                                modelname); 
    … …  
    7373                } 
    7474                process = (IStochasticProcess) dataObjectProcess; 
    75                 observedSequences = (Collection<List<? extends Event<?>>>) dataObjectObserved; 
     75                observedSequences = (Collection<List<Event>>) dataObjectObserved; 
    7676 
    7777                Console.print("seqName"); 
    … …  
    103103                                return; 
    104104                        } 
    105                         sequences = (Collection<List<? extends Event<?>>>) dataObjectSequences; 
     105                        sequences = (Collection<List<Event>>) dataObjectSequences; 
    106106                        Console.print(sequenceName); 
    107107                        for (int length = minLength; length <= maxLength; length++) { 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateFixedLengthSequences.java

    r524 r547  
    6868                DrawFromAllSequencesGenerator generator = new DrawFromAllSequencesGenerator( 
    6969                                numSequences, minLength, maxLength, validEnd, all); 
    70                 Collection<List<? extends Event<?>>> sequences = generator 
     70                Collection<List<Event>> sequences = generator 
    7171                                .generateTestSuite(model); 
    7272 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateGreedy.java

    r434 r547  
    7878 
    7979                // set up everything 
    80                 List<List<? extends Event<?>>> allSequences = new LinkedList<List<? extends Event<?>>>(); 
     80                List<List<Event>> allSequences = new LinkedList<List<Event>>(); 
    8181                for (int length = minLength; length <= maxLength; length++) { 
    8282                        if (validEnd) { 
    … …  
    8888                Console.traceln("" + allSequences.size() + " possible"); 
    8989 
    90                 Collection<List<? extends Event<?>>> allSubSeqs = model 
     90                Collection<List<Event>> allSubSeqs = model 
    9191                                .generateSequences(coverageDepth); 
    92                 Map<List<? extends Event<?>>, Double> weightMap = SequenceTools 
     92                Map<List<Event>, Double> weightMap = SequenceTools 
    9393                                .generateWeights(model, allSubSeqs); 
    94                 Set<List<? extends Event<?>>> coveredSubSeqs = new LinkedHashSet<List<? extends Event<?>>>(); 
     94                Set<List<Event>> coveredSubSeqs = new LinkedHashSet<List<Event>>(); 
    9595 
    96                 List<Set<List<? extends Event<?>>>> containedSubSeqs = new LinkedList<Set<List<? extends Event<?>>>>(); 
    97                 for (List<? extends Event<?>> sequence : allSequences) { 
    98                         List<List<? extends Event<?>>> wrapper = new LinkedList<List<? extends Event<?>>>(); 
     96                List<Set<List<Event>>> containedSubSeqs = new LinkedList<Set<List<Event>>>(); 
     97                for (List<Event> sequence : allSequences) { 
     98                        List<List<Event>> wrapper = new LinkedList<List<Event>>(); 
    9999                        wrapper.add(sequence); 
    100                         Set<List<? extends Event<?>>> currentSubSeqs = SequenceTools 
     100                        Set<List<Event>> currentSubSeqs = SequenceTools 
    101101                                        .containedSubSequences(wrapper, coverageDepth); 
    102102                        containedSubSeqs.add(currentSubSeqs); 
    103103                } 
    104104 
    105                 List<List<? extends Event<?>>> testSuite = new LinkedList<List<? extends Event<?>>>(); 
     105                List<List<Event>> testSuite = new LinkedList<List<Event>>(); 
    106106                double currentCoverage = 0.0d; 
    107107 
    … …  
    112112                        Double[] sequenceGain = new Double[allSequences.size()]; 
    113113                        int i = 0; 
    114                         for (Set<List<? extends Event<?>>> containedSubSeq : containedSubSeqs) { 
     114                        for (Set<List<Event>> containedSubSeq : containedSubSeqs) { 
    115115                                double gain = 0.0d; 
    116                                 Iterator<List<? extends Event<?>>> subSeqIter = containedSubSeq 
     116                                Iterator<List<Event>> subSeqIter = containedSubSeq 
    117117                                                .iterator(); 
    118118                                while (subSeqIter.hasNext()) { 
    119                                         List<? extends Event<?>> subSeq = subSeqIter.next(); 
     119                                        List<Event> subSeq = subSeqIter.next(); 
    120120                                        if (!coveredSubSeqs.contains(subSeq)) { 
    121121                                                gain += weightMap.get(subSeq); 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateHybrid.java

    r524 r547  
    7878                 
    7979                HybridGenerator generator = new HybridGenerator(numSequences, length, maxLengthAll, validEnd); 
    80                 Collection<List<? extends Event<?>>> sequences = generator.generateTestSuite(model); 
     80                Collection<List<Event>> sequences = generator.generateTestSuite(model); 
    8181                 
    8282                if (GlobalDataContainer.getInstance().addData(sequencesName, sequences)) { 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateRandomReplay.java

    r434 r547  
    88import de.ugoe.cs.quest.CommandHelpers; 
    99import de.ugoe.cs.quest.ReplayGenerator; 
    10 import de.ugoe.cs.quest.eventcore.ReplayableEvent; 
     10import de.ugoe.cs.quest.eventcore.Event; 
    1111import de.ugoe.cs.quest.ui.GlobalDataContainer; 
    1212import de.ugoe.cs.quest.usageprofiles.IStochasticProcess; 
    … …  
    6767                } 
    6868                model = (IStochasticProcess) dataObject; 
    69                 Collection<List<ReplayableEvent<?>>> sequences = new LinkedList<List<ReplayableEvent<?>>>(); 
     69                Collection<List<Event>> sequences = new LinkedList<List<Event>>(); 
    7070                try { 
    7171                        for (int i = 0; i < numSessions; i++) { 
    7272                                sequences 
    73                                                 .add((List<ReplayableEvent<?>>) model.randomSequence()); 
     73                                                .add((List<Event>) model.randomSequence()); 
    7474                        } 
    7575                } catch (ClassCastException e) { 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateRandomSequences.java

    r524 r547  
    6969                RandomWalkGenerator generator = new RandomWalkGenerator(numSessions, 
    7070                                minLength, maxLength, validEnd, maxIter); 
    71                 Collection<List<? extends Event<?>>> sequences = generator 
     71                Collection<List<Event>> sequences = generator 
    7272                                .generateTestSuite(model); 
    7373 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDgenerateReplayfile.java

    r434 r547  
    88import de.ugoe.cs.quest.ReplayGenerator; 
    99import de.ugoe.cs.quest.SequenceInstanceOf; 
    10 import de.ugoe.cs.quest.eventcore.ReplayableEvent; 
     10import de.ugoe.cs.quest.eventcore.Event; 
    1111import de.ugoe.cs.quest.ui.GlobalDataContainer; 
    1212import de.ugoe.cs.util.console.Command; 
    … …  
    5050                } 
    5151 
    52                 Collection<List<ReplayableEvent<?>>> sequences = null; 
     52                Collection<List<Event>> sequences = null; 
    5353                Object dataObject = GlobalDataContainer.getInstance().getData( 
    5454                                sequencesName); 
    … …  
    6363                } 
    6464 
    65                 sequences = (Collection<List<ReplayableEvent<?>>>) dataObject; 
     65                sequences = (Collection<List<Event>>) dataObject; 
    6666                ReplayGenerator generator = new ReplayGenerator(); 
    6767                generator.createLogfileMultipleSessions(sequences, filename); 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDsequenceStatistics.java

    r434 r547  
    4141                } 
    4242 
    43                 Collection<List<Event<?>>> sequences = null; 
     43                Collection<List<Event>> sequences = null; 
    4444                Object dataObject = GlobalDataContainer.getInstance().getData( 
    4545                                sequencesName); 
    … …  
    5454                } 
    5555 
    56                 sequences = (Collection<List<Event<?>>>) dataObject; 
     56                sequences = (Collection<List<Event>>) dataObject; 
    5757                Console.println("Number of Sequences: " + sequences.size()); 
    5858                SortedMap<Integer, Integer> lengthMap = new TreeMap<Integer, Integer>(); 
    59                 for (List<Event<?>> sequence : sequences) { 
     59                for (List<Event> sequence : sequences) { 
    6060                        Integer currentSize = sequence.size(); 
    6161                        if (lengthMap.containsKey(currentSize)) { 

  • trunk/quest-ui-core/src/main/java/de/ugoe/cs/quest/ui/commands/CMDupdateModel.java

    r434 r547  
    5252                        return; 
    5353                } 
    54                 Collection<List<? extends Event<?>>> sequences = (Collection<List<? extends Event<?>>>) dataObject; 
     54                Collection<List<Event>> sequences = (Collection<List<Event>>) dataObject; 
    5555 
    5656                dataObject = GlobalDataContainer.getInstance().getData(modelname); 
Note: See TracChangeset for help on using the changeset viewer.