public interface FilterOptions
| Modifier and Type | Method and Description |
|---|---|
int |
getLimitCount() |
Map<URI,Set<Integer>> |
getLineFilters() |
List<Pattern> |
getNameFilters() |
List<String> |
getTagFilters() |
Copyright © 2019. All rights reserved.