Changeset 292 for trunk/EventBenchCore/src/de/ugoe

Timestamp:

12/12/11 11:04:17 (13 years ago)

Author:

sherbold

Message:

• added method setSequences to de.ugoe.cs.eventbench.coverage.CoverageCalculator?

File:

• trunk/EventBenchCore/src/de/ugoe/cs/eventbench/coverage/CoverageCalculatorProcess.java (modified) (5 diffs)

trunk/EventBenchCore/src/de/ugoe/cs/eventbench/coverage/CoverageCalculatorProcess.java

@@ -33 +33 @@
          * </p>
          */
-        private final Collection<List<? extends Event<?>>> sequences;
+        private Collection<List<? extends Event<?>>> sequences;
 
         /**
@@ -68 +68 @@
         /**
          * <p>
-         * Constructor. Creates a new CoverageCalculatorProcess for a given stochastic
-         * process and generated sequences.
+         * Constructor. Creates a new CoverageCalculatorProcess for a given
+         * stochastic process and generated sequences.
          * </p>
          * 
@@ -162 +162 @@
                 return weight;
         }
-        
+
         /**
          * <p>
          * Returns the number of covered subsequences of length k.
          * </p>
+         * 
          * @return number of covered subsequences
          */
@@ -176 +177 @@
                 return containedSubSeqs.size();
         }
-        
-        /**
-         * <p>
-         * Returns the number of possible subsequences of length k according to the stochastic process.
+
+        /**
+         * <p>
+         * Returns the number of possible subsequences of length k according to the
+         * stochastic process.
          * </p>
          * 
@@ -191 +193 @@
         }
 
+        /**
+         * <p>
+         * Sets a new collection of sequences for which the coverage is analyzed.
+         * </p>
+         * 
+         * @param newSequences
+         *            new collection of sequences
+         */
+        public void setSequences(Collection<List<? extends Event<?>>> newSequences) {
+                this.sequences = newSequences;
+                containedSubSeqs = null;
+        }
+
 }