Skip navigation links

Package dk.brics.tajs.monitoring.inspector

TAJS Inspector.

See: Description

Package dk.brics.tajs.monitoring.inspector Description

TAJS Inspector.

InspectorFactory creates the various data collecting monitors and passes them to an InspectorMonitor that starts an InspectorServer after the analysis is completed.

TAJSInspectorAPI implements the API that provides data for the InspectorServer, based on information stored in InspectorData by the data collection monitors.

Skip navigation links

Copyright © 2009-2019 Aarhus University