Package de.learnlib.filter.statistic
Class CounterCollection
- java.lang.Object
-
- de.learnlib.filter.statistic.CounterCollection
-
- All Implemented Interfaces:
StatisticData
public class CounterCollection extends Object implements StatisticData
A collection of counters.
-
-
Constructor Summary
Constructors Constructor Description CounterCollection(Counter... counters)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description StringgetDetails()StringgetName()StringgetSummary()StringgetUnit()
-
-
-
Constructor Detail
-
CounterCollection
public CounterCollection(Counter... counters)
-
-
Method Detail
-
getName
public String getName()
- Specified by:
getNamein interfaceStatisticData
-
getUnit
public String getUnit()
- Specified by:
getUnitin interfaceStatisticData
-
getSummary
public String getSummary()
- Specified by:
getSummaryin interfaceStatisticData
-
getDetails
public String getDetails()
- Specified by:
getDetailsin interfaceStatisticData
-
-