Changeset 171 for trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java

Timestamp:

09/09/11 06:23:36 (13 years ago)

Author:

sherbold

Message:

• code documentation and formatting

File:

• trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java (modified) (6 diffs)

trunk/EventBenchConsole/src/de/ugoe/cs/eventbench/commands/CMDcalcCoverage.java

@@ -13 +13 @@
 import de.ugoe.cs.util.console.Console;
 
+/**
+ * <p>
+ * Command to calculate the coverage of a test suite.
+ * </p>
+ * 
+ * @author Steffen Herbold
+ * @version 1.0
+ */
 public class CMDcalcCoverage implements Command {
 
+        /*
+         * (non-Javadoc)
+         * 
+         * @see de.ugoe.cs.util.console.Command#run(java.util.List)
+         */
         @SuppressWarnings("unchecked")
         @Override
         public void run(List<Object> parameters) {
-                String modelname;               
+                String modelname;
                 String[] sequenceNames;
                 int minLength;
@@ -28 +41 @@
                         minLength = Integer.parseInt((String) parameters.get(2));
                         maxLength = Integer.parseInt((String) parameters.get(3));
-                        if( parameters.size()==5 ) {
+                        if (parameters.size() == 5) {
                                 observedName = (String) parameters.get(1);
                         }
-                }
-                catch (Exception e) {
+                } catch (Exception e) {
                         throw new InvalidParameterException();
                 }
-                
-                IStochasticProcess process = null; 
+
+                IStochasticProcess process = null;
                 Collection<List<? extends Event<?>>> observedSequences = null;
                 Collection<List<? extends Event<?>>> sequences = null;
-                Object dataObjectProcess = GlobalDataContainer.getInstance().getData(modelname);
-                Object dataObjectObserved = GlobalDataContainer.getInstance().getData(observedName);
-                if( dataObjectProcess==null ) {
+                Object dataObjectProcess = GlobalDataContainer.getInstance().getData(
+                                modelname);
+                Object dataObjectObserved = GlobalDataContainer.getInstance().getData(
+                                observedName);
+                if (dataObjectProcess == null) {
                         Console.printerrln("Model " + modelname + " not found in storage.");
                         return;
                 }
-                if( !(dataObjectProcess instanceof IStochasticProcess) ) {
-                        Console.printerrln("Object " + modelname + " not of type IStochasticProcess!");
+                if (!(dataObjectProcess instanceof IStochasticProcess)) {
+                        Console.printerrln("Object " + modelname
+                                        + " not of type IStochasticProcess!");
                         return;
                 }
-                if( dataObjectObserved==null ) {
+                if (dataObjectObserved == null) {
                         Console.printerrln("Observed sequences not found in storage.");
                         return;
                 }
-                if( !(dataObjectObserved instanceof Collection<?>) ) {
+                if (!(dataObjectObserved instanceof Collection<?>)) {
                         // weak instance check!
                         Console.printerrln("Object " + observedName + " not a Collection!");
@@ -60 +75 @@
                 process = (IStochasticProcess) dataObjectProcess;
                 observedSequences = (Collection<List<? extends Event<?>>>) dataObjectObserved;
-                
-                
+
                 Console.print("seqName");
-                for( int length=minLength ; length<=maxLength ; length++) {
+                for (int length = minLength; length <= maxLength; length++) {
                         Console.print(";numObs_" + length);
                         Console.print(";numCov_" + length);
@@ -78 +92 @@
                 }
                 Console.println("");
-                for( String sequenceName : sequenceNames ) {
-                        Object dataObjectSequences = GlobalDataContainer.getInstance().getData(sequenceName);
-                        if( dataObjectSequences==null ) {
-                                Console.println("Sequences " + sequenceName + " not found in storage.");
-                        }
-                        else if( !(dataObjectSequences instanceof Collection<?>) ) {
-                                // cannot really perform type check at runtime! this is an approximative substitute
-                                Console.printerrln("Object " + sequenceName + "not of type Collection<?>!");
+                for (String sequenceName : sequenceNames) {
+                        Object dataObjectSequences = GlobalDataContainer.getInstance()
+                                        .getData(sequenceName);
+                        if (dataObjectSequences == null) {
+                                Console.println("Sequences " + sequenceName
+                                                + " not found in storage.");
+                        } else if (!(dataObjectSequences instanceof Collection<?>)) {
+                                // cannot really perform type check at runtime! this is an
+                                // approximative substitute
+                                Console.printerrln("Object " + sequenceName
+                                                + "not of type Collection<?>!");
                                 return;
                         }
                         sequences = (Collection<List<? extends Event<?>>>) dataObjectSequences;
                         Console.print(sequenceName);
-                        for( int length=minLength ; length<=maxLength ; length++) {
-                                CoverageCalculatorProcess covCalcProc = new CoverageCalculatorProcess(process, sequences, length);
-                                CoverageCalculatorObserved covCalcObs = new CoverageCalculatorObserved(observedSequences, sequences, length);
+                        for (int length = minLength; length <= maxLength; length++) {
+                                CoverageCalculatorProcess covCalcProc = new CoverageCalculatorProcess(
+                                                process, sequences, length);
+                                CoverageCalculatorObserved covCalcObs = new CoverageCalculatorObserved(
+                                                observedSequences, sequences, length);
                                 Console.print(";" + covCalcObs.getNumObserved());
                                 Console.print(";" + covCalcObs.getNumCovered());
@@ -101 +120 @@
                                 Console.print(";" + covCalcProc.getCoveragePossibleWeight());
                                 Console.print(";" + covCalcObs.getCoverageObserved());
-                                Console.print(";" + covCalcObs.getCoverageObservedWeigth(process));
+                                Console.print(";"
+                                                + covCalcObs.getCoverageObservedWeigth(process));
                                 Console.print(";" + covCalcObs.getNewPercentage());
                                 Console.print(";" + covCalcObs.getCoveragePossibleNew(process));
-                                Console.print(";" + covCalcObs.getCoveragePossibleNewWeight(process));
+                                Console.print(";"
+                                                + covCalcObs.getCoveragePossibleNewWeight(process));
                         }
                         Console.println("");
@@ -110 +131 @@
         }
 
+        /*
+         * (non-Javadoc)
+         * 
+         * @see de.ugoe.cs.util.console.Command#help()
+         */
         @Override
         public void help() {