public class CoverageTool
extends java.lang.Object
| Constructor and Description |
|---|
CoverageTool() |
| Modifier and Type | Method and Description |
|---|---|
static RequestFilter[] |
notCovered(RequestFilter[] neededFilters,
LocalSeismogramImpl[] existingFilters) |
static RequestFilter[] |
notCovered(RequestFilter[] filters,
MicroSecondTimeRange[] timeRanges) |
static RequestFilter[] |
notCovered(RequestFilter[] neededFilters,
RequestFilter[] existingFilters) |
static RequestFilter[] |
notCoveredIgnoreGaps(RequestFilter[] filters,
MicroSecondTimeRange[] timeRanges) |
public static RequestFilter[] notCovered(RequestFilter[] neededFilters, LocalSeismogramImpl[] existingFilters)
public static RequestFilter[] notCovered(RequestFilter[] neededFilters, RequestFilter[] existingFilters)
public static RequestFilter[] notCovered(RequestFilter[] filters, MicroSecondTimeRange[] timeRanges)
public static RequestFilter[] notCoveredIgnoreGaps(RequestFilter[] filters, MicroSecondTimeRange[] timeRanges)