GzipFilter.java
- /* Copyright 2002-2018 CS Systèmes d'Information
- * Licensed to CS Systèmes d'Information (CS) under one or more
- * contributor license agreements. See the NOTICE file distributed with
- * this work for additional information regarding copyright ownership.
- * CS licenses this file to You under the Apache License, Version 2.0
- * (the "License"); you may not use this file except in compliance with
- * the License. You may obtain a copy of the License at
- *
- * http://www.apache.org/licenses/LICENSE-2.0
- *
- * Unless required by applicable law or agreed to in writing, software
- * distributed under the License is distributed on an "AS IS" BASIS,
- * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- * See the License for the specific language governing permissions and
- * limitations under the License.
- */
- package org.orekit.data;
- import java.util.zip.GZIPInputStream;
- /** Filter for gzip compressed data.
- * @author Luc Maisonobe
- * @since 9.2
- */
- public class GzipFilter implements DataFilter {
- /** Suffix for gzip compressed files. */
- private static final String SUFFIX = ".gz";
- /** {@inheritDoc} */
- @Override
- public NamedData filter(final NamedData original) {
- final String oName = original.getName();
- final NamedData.StreamOpener oOpener = original.getStreamOpener();
- if (oName.endsWith(SUFFIX)) {
- final String fName = oName.substring(0, oName.length() - SUFFIX.length());
- final NamedData.StreamOpener fOpener = () -> new GZIPInputStream(oOpener.openStream());
- return new NamedData(fName, fOpener);
- } else {
- return original;
- }
- }
- }