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}