public class DynamicDateFilter extends DateFilter
endDate, startDate
Constructor and Description |
---|
DynamicDateFilter() |
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)
setPattern
in class DateFilter
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.