public class DelimitedDateFilter extends DateFilter
endDate, startDate
Constructor and Description |
---|
DelimitedDateFilter() |
Modifier and Type | Method and Description |
---|---|
boolean |
match(String filename) |
void |
setPattern(String pattern) |
void |
unsetAll() |
compareLogDate, getEndDateString, getStartDateString, setEndDate, setStartDate
public void setPattern(String pattern) throws IllegalArgumentException
setPattern
in class DateFilter
IllegalArgumentException
public boolean match(String filename) throws ReportManagerException, ParseException
match
in class DateFilter
ReportManagerException
ParseException
public void unsetAll()
unsetAll
in class DateFilter
Copyright © 2010–2016 Planetary Data System. All rights reserved.