public interface GutterProvider
java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>>
create(java.net.URL url)
java.util.Set<dk.brics.inspector.api.model.lines.Gutter<?>> create(java.net.URL url)
Copyright © 2009-2019 Aarhus University