de.learnlib.statistics

Class Counter

java.lang.Object

de.learnlib.statistics.StatisticData

de.learnlib.statistics.Counter

public class Counter
extends StatisticData

simple counter.

Author:

falkhowar

Constructor Summary

Constructors

Constructor and Description
Counter(String name, String unit)

Method Summary

Methods

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

Methods inherited from class de.learnlib.statistics.StatisticData

getName, getUnit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, 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

public String getSummary()

Specified by:

getSummary in class StatisticData

getDetails

public String getDetails()

Specified by:

getDetails in class StatisticData