public class DefaultFilters extends Object
DirectoryScanner
, assuming
case-sensitiveness.
TODO: this class needs to be revisited, when Gwt's Ant is upgraded.
Currently, we do not go to ant if (a) the filterList is empty, or (b) the
filterList has "common" patterns. Exception: When path ends in '/', we defer
to ant.
TODO: This code could be made more general and cleaner by removing the
dependency on Ant completely. All ant patterns could be compiled into
reg-exps. That could also make the code faster. Plus, at several places,
Ant's documentation seems to be incomplete. Instead, perhaps, we should
specify our own rules for writing patterns.Modifier and Type | Class and Description |
---|---|
static class |
DefaultFilters.FilterFileType
Constants to represent the type of files that will be filtered.
|
Constructor and Description |
---|
DefaultFilters() |
Modifier and Type | Method and Description |
---|---|
ResourceFilter |
customClassFilesFilter(String[] includeList,
String[] excludeList,
String[] skipList,
boolean defaultExcludes,
boolean caseSensitive) |
ResourceFilter |
customJavaFilter(String[] includeList,
String[] excludeList,
String[] skipList,
boolean defaultExcludes,
boolean caseSensitive) |
ResourceFilter |
customResourceFilter(String[] includeList,
String[] excludeList,
String[] skipList,
boolean defaultExcludes,
boolean caseSensitive) |
public ResourceFilter customClassFilesFilter(String[] includeList, String[] excludeList, String[] skipList, boolean defaultExcludes, boolean caseSensitive)
public ResourceFilter customJavaFilter(String[] includeList, String[] excludeList, String[] skipList, boolean defaultExcludes, boolean caseSensitive)
public ResourceFilter customResourceFilter(String[] includeList, String[] excludeList, String[] skipList, boolean defaultExcludes, boolean caseSensitive)
Copyright © 2018. All rights reserved.