de.learnlib.statistics

Class Counter

java.lang.Object

de.learnlib.statistics.StatisticData

de.learnlib.statistics.Counter

@ParametersAreNonnullByDefault
public class Counter
extends StatisticData

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.statistics.StatisticData

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()

getSummary

@Nonnull
public String getSummary()

Specified by:

getSummary in class StatisticData

getDetails

@Nonnull
public String getDetails()

Specified by:

getDetails in class StatisticData

toString

@Nonnull
public String toString()

Overrides:

toString in class Object