de.learnlib.filter.statistic

Class Counter

java.lang.Object

de.learnlib.filter.statistic.AbstractStatisticData

de.learnlib.filter.statistic.Counter

All Implemented Interfaces:

StatisticData

@ParametersAreNonnullByDefault
public class Counter
extends AbstractStatisticData

simple counter.

Author:

falkhowar

Constructor Summary

Constructors

Constructor and Description
Counter(String name, String unit)

Method Summary

Modifier and Type	Method and Description
long	getCount()
String	getDetails()
String	getSummary()
void	increment()
void	increment(long inc)
String	toString()

Methods inherited from class de.learnlib.filter.statistic.AbstractStatisticData

getName, getUnit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Counter

public Counter(String name,
               String unit)

Method Detail

increment

public void increment(long inc)

increment

public void increment()

getCount

public long getCount()

toString

@Nonnull
public String toString()

Overrides:

toString in class Object

getSummary

@Nonnull
public String getSummary()

Specified by:

getSummary in interface StatisticData

Specified by:

getSummary in class AbstractStatisticData

getDetails

@Nonnull
public String getDetails()

Specified by:

getDetails in interface StatisticData

Specified by:

getDetails in class AbstractStatisticData