public class StatisticManagerCLI
extends java.lang.Object
Constructor and Description |
---|
StatisticManagerCLI(Requirement rootReq,
CoverageStorage cs) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<java.lang.String,java.lang.Integer> |
getArrayData(Requirement rootReq,
CoverageStorage cs) |
public StatisticManagerCLI(Requirement rootReq, CoverageStorage cs)
public java.util.Map<java.lang.String,java.lang.Integer> getArrayData(Requirement rootReq, CoverageStorage cs)