org.eth.cyril.telemetry

Class RuleCountDataGatherer

java.lang.Object

org.eth.cyril.telemetry.RuleCountDataGatherer

All Implemented Interfaces:

DataGatherer

public class RuleCountDataGatherer
extends java.lang.Object
implements DataGatherer

Data gatherer which gathers information on the number of ordering constraints, string formats, blacklist rules and abstraction rules that are present in the system. The gatherer gathers the data everytime the graph on screen is laid out.

Constructor Summary

Constructors

Constructor and Description
RuleCountDataGatherer()

Method Summary

Modifier and Type	Method and Description
void	activate() Activates the gathering of data.
void	deactivate() Deactivates the gathering of data.
java.util.List<Data>	getGatheredData() Gets the gathered data.

Methods inherited from class java.lang.Object

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

Constructor Detail

RuleCountDataGatherer

public RuleCountDataGatherer()

Method Detail

activate

public void activate()

Description copied from interface: DataGatherer

Activates the gathering of data.

Specified by:

activate in interface DataGatherer

deactivate

public void deactivate()

Description copied from interface: DataGatherer

Deactivates the gathering of data. There may still be data left in the gatherer, which may be written one last time with the DataGatherer#getJsonData() method. However, no new data will be gathered.

Specified by:

deactivate in interface DataGatherer

getGatheredData

public java.util.List<Data> getGatheredData()

Description copied from interface: DataGatherer

Gets the gathered data. Afterwards, the data gatherer should delete its own local cache of the data, as the data is now handles elsewhere.

Specified by:

getGatheredData in interface DataGatherer

Returns:

A list of the gathered data.