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)