001    // License: GPL. For details, see LICENSE file.
002    package org.openstreetmap.josm.io;
003    
004    import static org.openstreetmap.josm.tools.I18n.tr;
005    
006    import java.io.File;
007    import java.io.FileInputStream;
008    import java.io.IOException;
009    
010    import org.openstreetmap.josm.actions.ExtensionFileFilter;
011    import org.openstreetmap.josm.gui.progress.ProgressMonitor;
012    
013    public class OsmGzipImporter extends OsmImporter {
014    
015        public static final ExtensionFileFilter FILE_FILTER = new ExtensionFileFilter(
016                "osm.gz", "osm.gz", tr("OSM Server Files gzip compressed") + " (*.osm.gz)");
017        
018        public OsmGzipImporter() {
019            super(FILE_FILTER);
020        }
021    
022        @Override
023        public void importData(File file, ProgressMonitor progressMonitor) throws IOException, IllegalDataException {
024            importData(getGZipInputStream(new FileInputStream(file)), file);
025        }
026    }