public static class FilePreferences.Factory
extends java.lang.Object
implements java.util.prefs.PreferencesFactory
The file defaults to [user.home]/[ProgramTitle].prefs, but may be overridden with the system property ur_rna.Utilities.prefs.FilePreferences.Factory
Modifier and Type | Field and Description |
---|---|
private static java.util.logging.Logger |
log |
private static java.io.File |
preferencesFile |
(package private) FilePreferences |
rootPreferences |
Constructor and Description |
---|
Factory() |
Modifier and Type | Method and Description |
---|---|
static java.io.File |
getPreferencesFile() |
static void |
register()
Sets the system property
java.util.prefs.PreferencesFactory to the FilePreferences.Factory
class so that the Preferences class will use it for the global singleton PreferencesFactory. |
static void |
register(java.io.File preferencesFile) |
static void |
setPreferencesFile(java.io.File systemPropertyFile) |
static void |
setPreferencesFile(java.lang.String systemPropertyFile) |
java.util.prefs.Preferences |
systemRoot() |
java.util.prefs.Preferences |
userRoot() |
private static final java.util.logging.Logger log
private static java.io.File preferencesFile
FilePreferences rootPreferences
public static java.io.File getPreferencesFile()
public static void register()
java.util.prefs.PreferencesFactory
to the FilePreferences.Factory
class so that the Preferences
class will use it for the global singleton PreferencesFactory.
This affects calls such as Preferences.userRoot()
and Preferences.userNodeForPackage(Class)
etc.public static void register(java.io.File preferencesFile)
public static void setPreferencesFile(java.io.File systemPropertyFile)
public static void setPreferencesFile(java.lang.String systemPropertyFile)
public java.util.prefs.Preferences systemRoot()
systemRoot
in interface java.util.prefs.PreferencesFactory
public java.util.prefs.Preferences userRoot()
userRoot
in interface java.util.prefs.PreferencesFactory