org.orekit.data

Class GzipFilter

java.lang.Object

org.orekit.data.GzipFilter

All Implemented Interfaces:

DataFilter

public class GzipFilter
extends Object
implements DataFilter

用于gzip压缩数据的过滤器。

Since:

9.2

Author:

Luc Maisonobe

Constructor Summary

Constructors

Constructor and Description
GzipFilter() 空构造函数。

Method Summary

Modifier and Type	Method and Description
DataSource	filter(DataSource original) 过滤数据源。

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GzipFilter

public GzipFilter()

空构造函数。

这个构造函数并非必需，但它可以防止在JDK 18及更高版本中出现不必要的javadoc警告。

自版本:

12.0

Method Detail

filter

public DataSource filter(DataSource original)

过滤数据源。

过滤通常基于后缀。例如，一个gzip压缩文件的原始名称形式为base.ext.gz，而相应的未压缩文件将具有过滤后的名称base.ext。

一个过滤器绝对不能自行打开DataSource，无论它返回原始实例还是过滤后的实例。原因是上层将决定打开（或不打开）返回的值，而且一个DataSource只能打开一次；这是由DataSource提供的延迟打开的核心原则。

请注意，由于数据提供程序管理器将尝试将所有过滤器堆叠在一起，只要它们的此方法的实现返回与original参数不同的值。这意味着过滤器必须执行一些检查，以查看是否必须应用它们。例如，如果需要对所有数据应用一次解密过滤器，则过滤器应该检查名称中是否存在后缀，并仅在后缀存在时创建一个新的过滤后的DataSource实例，从过滤后的实例中删除后缀。如果未这样做，而只是创建一个带有一个解密层的过滤实例而不更改名称，将导致构建无限解密过滤器堆栈，直到发生堆栈溢出或内存耗尽异常。

由以下接口指定:

filter 在接口 DataFilter

参数:

original - 原始数据源

返回:

过滤后的数据源，如果此过滤器不适用于此数据源，则返回original