engine/io.github.moonlightsuite.moonlight/SpatialTemporalMonitorDefinition

SpatialTemporalMonitorDefinition

public class SpatialTemporalMonitorDefinition

Instances of this class are used to represent a definition for a temporal monitor. Each definition has a name and a set of parameters that are used to build the temporal monitor.

Constructors

Link copied to clipboard
public void SpatialTemporalMonitorDefinition(String name, RecordHandler arguments, RecordHandler signalRecordHandler, RecordHandler edgeRecordHandler, SpatialTemporalMonitorProducer producer)
Create a new definition.

Properties

Link copied to clipboard
public final RecordHandler arguments
Monitor arguments.
Link copied to clipboard
public final RecordHandler edgeRecordHandler
Record handler describing monitored signal.
Link copied to clipboard
public final String name
Monitor name.
Link copied to clipboard
public final SpatialTemporalMonitorProducer producer
Producer used to build the temporal monitor.
Link copied to clipboard
public final RecordHandler signalRecordHandler
Record handler describing monitored signal.

Functions

Link copied to clipboard
public RecordHandler getArguments()
Return the monitor arguments.
Link copied to clipboard
Link copied to clipboard
public String getInfo()
Link copied to clipboard
public SpatialTemporalMonitor<MoonLightRecord, MoonLightRecord, S> getMonitor<S>(SignalDomain<S> domain, MoonLightRecord arguments)
Create a new temporal monitor built by using the given arguments and based on the given signal domain.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
public String getName()
Return the monitor name.
Link copied to clipboard
public SpatialTemporalMonitorProducer getProducer()
Return the producer used to build the monitor.
Link copied to clipboard