public interface FilterOptions
Map<URI,Set<Integer>>
getLineFilters()
List<Pattern>
getNameFilters()
List<String>
getTagFilters()
List<Pattern> getNameFilters()
List<String> getTagFilters()
Map<URI,Set<Integer>> getLineFilters()
Copyright © 2019. All rights reserved.