Package dk.brics.tajs.monitoring.inspector.datacollection.monitors

Misc.

See: Description

Class Summary

Class	Description
ContextRegistrationMonitor
EventHandlerRegistrationMonitor
InspectorMonitor	Main monitor of the inspector implementation: starts an InspectorServer at the end of the scan phase.
LazyPropagationMonitor
LazyPropagationMonitor.LazyPropagationData
NodeTransferTimeMonitor
NonLazyTypeCollectorMonitoring
ObjectCollectionMonitor
PropagationMonitor
PropagationMonitor.PropagationData
PropagationMonitor.PropagationNumbers
StateCollectorMonitor	A monitor that collects all the post-transfer states in the analysis.
VisitationMonitoring
VisitationMonitoring.Info

Package dk.brics.tajs.monitoring.inspector.datacollection.monitors Description

Misc. monitors collecting data for InspectorMonitor while the analysis is running and at the fixpoint.