package de.ugoe.cs.eventbench.commands;
import java.security.InvalidParameterException;
import java.util.Collection;
import java.util.List;
import de.ugoe.cs.eventbench.CommandHelpers;
import de.ugoe.cs.eventbench.SequenceInstanceOf;
import de.ugoe.cs.eventbench.coverage.CoverageCalculatorObserved;
import de.ugoe.cs.eventbench.coverage.CoverageCalculatorProcess;
import de.ugoe.cs.eventbench.data.Event;
import de.ugoe.cs.eventbench.data.GlobalDataContainer;
import de.ugoe.cs.eventbench.models.IStochasticProcess;
import de.ugoe.cs.util.console.Command;
import de.ugoe.cs.util.console.Console;
/**
*
* Command to calculate the coverage of a test suite.
*
*
* @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