Package dk.brics.tajs.monitoring.inspector.api

Implementations of the InspectorAPI.

See: Description

Class Summary

Class	Description
SynchronizedMonitoringStoppingAPI	Synchronized decorator that disables the monitoring system before invoking the decoratee method.
TAJSInspectorAPI	The main TAJS implementation of InspectorAPI.

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

Implementations of the InspectorAPI.