public class DefaultGutterDataProvider
extends java.lang.Object
DefaultGutterData
Modifier and Type | Field and Description |
---|---|
EventHandlerRegistrationMonitor |
eventHandlerRegistrationMonitor |
Constructor and Description |
---|
DefaultGutterDataProvider(EventHandlerRegistrationMonitor eventHandlerRegistrationMonitor,
PropagationMonitor propagationMonitor,
ContextRegistrationMonitor contextRegistrationMonitor,
ObjectCollectionMonitor allocationCollectingMonitor,
NodeTransferTimeMonitor timeMonitor,
java.util.function.Supplier<java.util.Set<Message>> messageMonitor,
VisitationMonitoring visitationMonitoringIAnalysis,
TypeCollector typeCollector,
LazyPropagationMonitor lazyPropagationMonitor,
StateCollectorMonitor stateCollectorMonitor) |
Modifier and Type | Method and Description |
---|---|
DefaultGutterData |
create() |
public final EventHandlerRegistrationMonitor eventHandlerRegistrationMonitor
public DefaultGutterDataProvider(EventHandlerRegistrationMonitor eventHandlerRegistrationMonitor, PropagationMonitor propagationMonitor, ContextRegistrationMonitor contextRegistrationMonitor, ObjectCollectionMonitor allocationCollectingMonitor, NodeTransferTimeMonitor timeMonitor, java.util.function.Supplier<java.util.Set<Message>> messageMonitor, VisitationMonitoring visitationMonitoringIAnalysis, TypeCollector typeCollector, LazyPropagationMonitor lazyPropagationMonitor, StateCollectorMonitor stateCollectorMonitor)
public DefaultGutterData create()
Copyright © 2009-2019 Aarhus University