public interface FilterSettingsManager
Modifier and Type | Method and Description |
---|---|
FilterSettings |
createDefaultFilterSettingsPrototype() |
FilterSettings |
createFilterSettingsPrototype() |
void |
getFilterSettings(String key,
Consumer<FilterSettings> filterSettingsConsumer) |
default FilterSettings |
getVariablesFilterSettings(String name) |
void |
loadSavedFilters(Consumer<List<SavedFilter>> savedFiltersConsumer) |
void |
removeSavedFilterFromPreferences(String key) |
void |
resetDefaultSavedFilters(Consumer<List<SavedFilter>> savedFiltersConsumer) |
void |
saveFilterIntoPreferences(FilterSettings filterSettings,
Consumer<Boolean> callback) |
void loadSavedFilters(Consumer<List<SavedFilter>> savedFiltersConsumer)
FilterSettings createDefaultFilterSettingsPrototype()
FilterSettings createFilterSettingsPrototype()
void saveFilterIntoPreferences(FilterSettings filterSettings, Consumer<Boolean> callback)
void removeSavedFilterFromPreferences(String key)
void getFilterSettings(String key, Consumer<FilterSettings> filterSettingsConsumer)
void resetDefaultSavedFilters(Consumer<List<SavedFilter>> savedFiltersConsumer)
default FilterSettings getVariablesFilterSettings(String name)
Copyright © 2001–2018 JBoss by Red Hat. All rights reserved.