org.protege.editor.owl.ui.usage.UsagePreferences Maven / Gradle / Ivy
package org.protege.editor.owl.ui.usage;
import org.protege.editor.core.prefs.Preferences;
import org.protege.editor.core.prefs.PreferencesManager;
import java.util.HashSet;
import java.util.Set;
/**
* Author: drummond
* http://www.cs.man.ac.uk/~drummond/
* The University Of Manchester
* Bio Health Informatics Group
* Date: May 6, 2008
*/
public class UsagePreferences {
private static UsagePreferences instance;
public static UsagePreferences getInstance(){
if (instance == null){
instance = new UsagePreferences();
}
return instance;
}
private Preferences getPreferences() {
return PreferencesManager.getInstance().getApplicationPreferences(getClass());
}
public boolean isFilterActive(UsageFilter filter){
return getPreferences().getBoolean(filter.getKey(), false);
}
public void setFilterActive(UsageFilter filter, boolean active){
getPreferences().putBoolean(filter.getKey(), active);
}
public Set getActiveFilters() {
Set activeFilters = new HashSet<>();
for (UsageFilter filter : UsageFilter.values()){
if (isFilterActive(filter)){
activeFilters.add(filter);
}
}
return activeFilters;
}
}