public class DefaultGutters extends java.lang.Object implements GutterProvider
InspectorMonitor
.
Additional gutters can be provided by implenting GutterProvider
and providing them to InspectorFactory.createInspectorMonitor(java.util.Set)
Constructor and Description |
---|
DefaultGutters(DefaultGutterDataProvider dataCreator) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>> |
create(java.net.URL url) |
public DefaultGutters(DefaultGutterDataProvider dataCreator)
public java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>> create(java.net.URL url)
create
in interface GutterProvider
Copyright © 2009-2019 Aarhus University