Module de.learnlib.filter.statistic

Package de.learnlib.filter.statistic.sul

Class CounterSUL<I,O>

java.lang.Object

de.learnlib.filter.statistic.sul.CounterSUL<I,O>

All Implemented Interfaces:

StatisticCollector, StatisticSUL<I,O>, SUL<I,O>

Direct Known Subclasses:

CounterObservableSUL, CounterStateLocalInputSUL

public class CounterSUL<I,O>
extends Object
implements StatisticSUL<I,O>

Field Summary

Fields

Modifier and Type	Field	Description
protected Counter	resetCounter
protected Counter	symbolCounter

Constructor Summary

Constructors

Modifier	Constructor	Description
	CounterSUL(SUL<I,O> sul)
protected	CounterSUL(SUL<I,O> sul, Counter resetCounter, Counter symbolCounter)

Method Summary

Modifier and Type	Method	Description
boolean	canFork()	Returns whether this SUL is capable of forking.
SUL<I,O>	fork()	Forks this SUL, if possible.
Counter	getResetCounter()
StatisticData	getStatisticalData()	Returns this statistical data gathered by this collector.
Counter	getSymbolCounter()
void	post()	shut down SUL.
void	pre()	setup SUL.
O	step(I in)	make one step on the SUL.

Methods inherited from class java.lang.Object

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

Field Detail

resetCounter

protected final Counter resetCounter

symbolCounter

protected final Counter symbolCounter

Constructor Detail

CounterSUL

public CounterSUL(SUL<I,O> sul)

CounterSUL

protected CounterSUL(SUL<I,O> sul,
                     Counter resetCounter,
                     Counter symbolCounter)

Method Detail

pre

public void pre()

Description copied from interface: SUL

setup SUL.

Specified by:

pre in interface SUL<I,O>

post

public void post()

Description copied from interface: SUL

shut down SUL.

Specified by:

post in interface SUL<I,O>

step

public O step(I in)

Description copied from interface: SUL

make one step on the SUL.

Specified by:

step in interface SUL<I,O>

Parameters:

in - input to the SUL

Returns:

output of SUL

canFork

public boolean canFork()

Description copied from interface: SUL

Returns whether this SUL is capable of forking.

Specified by:

canFork in interface SUL<I,O>

Returns:

true if this SUL can be forked, false otherwise

See Also:

SUL.fork()

fork

public SUL<I,O> fork()

Description copied from interface: SUL

Forks this SUL, if possible. The fork of a SUL is a copy which behaves exactly the same as this SUL. This method should always return a reseted SUL, regardless of whether this call is made between a call to SUL.pre() and SUL.post().

If SUL.canFork() returns true, this method must return a non-null object, which should behave exactly like this SUL (in particular, it must be forkable as well). Otherwise, a UnsupportedOperationException must be thrown.

Implementation note: if resetting a SUL changes the internal state of this object in a non-trivial way (e.g., incrementing a counter to ensure independent sessions), care must be taken that forks of this SUL manipulate the same internal state.

Specified by:

fork in interface SUL<I,O>

Returns:

a fork of this SUL.

getStatisticalData

public StatisticData getStatisticalData()

Description copied from interface: StatisticCollector

Returns this statistical data gathered by this collector.

Specified by:

getStatisticalData in interface StatisticCollector

Returns:

the statistical data gathered by this collector

getResetCounter

public Counter getResetCounter()

getSymbolCounter

public Counter getSymbolCounter()