001// License: GPL. For details, see LICENSE file. 002package org.openstreetmap.josm.io; 003 004import org.openstreetmap.josm.data.osm.DataSet; 005import org.openstreetmap.josm.gui.progress.ProgressMonitor; 006 007@FunctionalInterface 008public interface OsmServerReadPostprocessor { 009 010 void postprocessDataSet(DataSet ds, ProgressMonitor progress); 011}