Package dk.brics.tajs.monitoring.inspector.gutters

Implementations of Gutters for the InspectorAPI

See: Description

Interface Summary

Interface	Description
GutterProvider

Class Summary

Class	Description
DefaultGutterData	Simple Java-bean with lots of different data to be used by the DefaultGutters
DefaultGutterDataProvider	Utility class for constructing DefaultGutterData
DefaultGutters	The default gutters provided by the InspectorMonitor.
SuspiciousnessLevel	A measure of how suspicious an abstract value is.
SuspiciousnessLevel.NumericComparator
SuspiciousnessLevel.SuspiciousnessIndicator

Enum Summary

Enum	Description
SuspiciousnessLevel.SuspiciousnessCategory

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

Implementations of Gutters for the InspectorAPI