public class REFilenameFilter extends Object implements FilenameFilter
Modifier and Type | Field and Description |
---|---|
private String |
regularExp |
Constructor and Description |
---|
REFilenameFilter(String regularExp) |
(C) INRIA, UPMF & friends, 2008-2015