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(Collection<Counter> counters)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
getDetails()
String
getName()
String
getSummary()
String
getUnit()
-
-
-
Constructor Detail
-
CounterCollection
public CounterCollection(Collection<Counter> counters)
-
-
Method Detail
-
getName
public String getName()
- Specified by:
getName
in interfaceStatisticData
-
getUnit
public String getUnit()
- Specified by:
getUnit
in interfaceStatisticData
-
getSummary
public String getSummary()
- Specified by:
getSummary
in interfaceStatisticData
-
getDetails
public String getDetails()
- Specified by:
getDetails
in interfaceStatisticData
-
-