Changeset 107 for trunk/EventBenchCore/src/de

Timestamp:

07/05/11 15:24:58 (13 years ago)

Author:

sherbold

Message:

• added checks for the correctness of constructor parameter values

File:

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

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

@@ -1 +1 @@
 package de.ugoe.cs.eventbench.coverage;
 
+import java.security.InvalidParameterException;
 import java.util.Collection;
 import java.util.LinkedHashMap;
@@ -75 +76 @@
          * 
          * @param process
-         *            stochastic process used for coverage calculations; if it is
-         *            zero, not all calculations are possible
+         *            stochastic process used for coverage calculations; must not be null
          * @param sequences
          *            sequences for which the coverage is calculated; must not be
-         *            null.
+         *            null
          * @param length
          *            length of the subsequences for which the coverage is analyzed;
@@ -86 +86 @@
         public CoverageCalculator(IStochasticProcess process,
                         Collection<List<? extends Event<?>>> sequences, int length) {
-                // TODO check parameters
+                if( process==null ) {
+                        throw new InvalidParameterException("process must not be null");
+                }
+                if( sequences==null ) {
+                        throw new InvalidParameterException("sequences must not be null");
+                }
+                if( length<=0 ) {
+                        throw new InvalidParameterException("length must be >0; actual value: " + length);
+                }
                 this.process = process;
                 this.sequences = sequences;