static Preferences getPreferences() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); }
private static Preferences getPrefs() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY_, LogPreferences.class); }
private static Preferences getPrefs() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(ELK_PREFS_KEY, ElkPreferences.class); }
static Preferences getPreferences() { PreferencesManager prefMan = PreferencesManager.getInstance(); return prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); }
public static void setHiddenAnnotationURIs(Set<URI> uris) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); List<String> list = new ArrayList<>(); for (URI uri : uris) { list.add(uri.toString()); } prefs.putStringList(HIDDEN_URIS_KEY, list); } }
public static List<DriverInfo> getDrivers() { List<DriverInfo> drivers = new ArrayList<>(); Preferences prefs = PreferencesManager.getInstance().getPreferencesForSet(PREFERENCES_SET, DRIVER_PREFERENCES_KEY); Iterator<String> driverStrings = prefs.getStringList(DRIVER_PREFERENCES_KEY, new ArrayList<>()).iterator(); while (driverStrings.hasNext()) { drivers.add(new DriverInfo(driverStrings.next(), driverStrings.next(), new File(driverStrings.next()))); } return drivers; }
public static Set<URI> getHiddenAnnotationURIs() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); Set<URI> uris = new HashSet<>(); for (String s : prefs.getStringList(HIDDEN_URIS_KEY, new ArrayList<>())) { uris.add(URI.create(s)); } return uris; }
public static Set<URI> getHiddenAnnotationURIs() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); Set<URI> uris = new HashSet<URI>(); for (String s : prefs.getStringList(HIDDEN_URIS_KEY, new ArrayList<String>())) { uris.add(URI.create(s)); } return uris; }
public static Set<URI> getHiddenAnnotationURIs() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); Set<URI> uris = new HashSet<>(); for (String s : prefs.getStringList(HIDDEN_URIS_KEY, new ArrayList<>())) { uris.add(URI.create(s)); } return uris; }
public static void setHiddenAnnotationURIs(Set<URI> uris) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); List<String> list = new ArrayList<String>(); for (URI uri : uris) { list.add(uri.toString()); } prefs.putStringList(HIDDEN_URIS_KEY, list); } }
public static void setHiddenAnnotationURIs(Set<URI> uris) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); List<String> list = new ArrayList<>(); for (URI uri : uris) { list.add(uri.toString()); } prefs.putStringList(HIDDEN_URIS_KEY, list); } }
public static Set<URI> getHiddenAnnotationURIs() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, HIDDEN_URIS_KEY); Set<URI> uris = new HashSet<URI>(); for (String s : prefs.getStringList(HIDDEN_URIS_KEY, new ArrayList<String>())) { uris.add(URI.create(s)); } return uris; }
public String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }
public void setDefaultPluginId(String id) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); prefs.putString(DEFAULT_EXPLANATION_ID, id); }
public String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }
public void setDefaultPluginId(String id) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); prefs.putString(DEFAULT_EXPLANATION_ID, id); }
public void setDefaultPluginId(String id) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); prefs.putString(DEFAULT_EXPLANATION_ID, id); }
public void setDefaultPluginId(String id) { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); prefs.putString(DEFAULT_EXPLANATION_ID, id); }
public String getDefaultPluginId() { PreferencesManager prefMan = PreferencesManager.getInstance(); Preferences prefs = prefMan.getPreferencesForSet(PREFERENCES_SET_KEY, ReasonerPreferences.class); return prefs.getString(DEFAULT_EXPLANATION_ID, null); }
private void setDrivers(List<DriverInfo> drivers) { Preferences prefs = PreferencesManager.getInstance().getPreferencesForSet(PREFERENCES_SET, DRIVER_PREFERENCES_KEY); List<String> prefsStringList = new ArrayList<>(); for (DriverInfo driver : drivers) { prefsStringList.add(driver.getDescription()); prefsStringList.add(driver.getClassName()); prefsStringList.add(driver.getDriverLocation().getPath()); } prefs.clear(); prefs.putStringList(DRIVER_PREFERENCES_KEY, prefsStringList); }