dk.brics.tajs.monitoring.inspector.gutters

Class DefaultGutters

java.lang.Object

dk.brics.tajs.monitoring.inspector.gutters.DefaultGutters

All Implemented Interfaces:

GutterProvider

public class DefaultGutters
extends java.lang.Object
implements GutterProvider

The default gutters provided by the InspectorMonitor. Additional gutters can be provided by implenting GutterProvider and providing them to InspectorFactory.createInspectorMonitor(java.util.Set)

Constructor Summary

Constructors

Constructor and Description
DefaultGutters(DefaultGutterDataProvider dataCreator)

Method Summary

Modifier and Type	Method and Description
java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>>	create(java.net.URL url)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DefaultGutters

public DefaultGutters(DefaultGutterDataProvider dataCreator)

Method Detail

create

public java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>> create(java.net.URL url)

Specified by:

create in interface GutterProvider