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

Collects data for InspectorMonitor while the analysis is running and at the fixpoint.

See: Description

Class Summary

Class	Description
InspectorData	Simple Java bean with lots of different data to be used by the TAJSInspectorAPI
InspectorDataProvider	Utility class for constructing InspectorData
InspectorFactory	Utility class for instantiating InspectorMonitor properly.
SourceLine	Represents a line of source code.

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

Collects data for InspectorMonitor while the analysis is running and at the fixpoint.