public final class ProfileManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DEFAULT_PROFILE_NAME
Nombre del perfil por defecto del sistema.
|
Modifier and Type | Method and Description |
---|---|
static boolean |
existProfileName(java.lang.String profileName)
Consulta si existe un perfil definido con un determinado nombre.
|
static java.lang.String |
getAccessibilityOptionValue(java.lang.String option,
java.lang.String name)
Recupera el valor de una opción de accesibilidad.
|
static java.util.Properties |
getConfiguration(java.lang.String name)
Recupera la configuración correspondiente a un perfil.
|
static java.util.Properties |
getDefaultConfiguration()
Recupera la configuración del perfil por defecto de la aplicación.
|
static java.util.Properties |
getDefaultConfigurationModified()
Recupera la configuración del perfil por defecto tal como la haya configurado
el usuario.
|
static java.lang.String |
getDinamicPreference(java.lang.String key)
Recupera una preferencia.
|
static java.lang.String |
getFreeProfileId()
Devuelve un identificador de perfil que no este siendo utilizado.
|
static java.lang.String |
getLastProfileName()
Recupera el nombre del último perfil cargado por la herramienta.
|
static java.lang.String |
getProfileIdByName(java.lang.String profileName)
Recupera el nombre de un perfil a partir de su identificador.
|
static java.lang.String |
getProfileName(java.lang.String id)
recupera el nombre de perfil asociado a un ID.
|
static java.lang.String[] |
getProfilesNames()
Recupera el listado de nombres de perfiles registrados en la aplicación.
|
static void |
removeConfiguration(java.lang.String id)
Elimina un perfil previamente creado.
|
static void |
saveConfiguration(java.lang.String id,
java.lang.String name,
java.util.Properties config)
Almacena la configuración de la herramienta para el perfil indicado
mediante su identificador.
|
static void |
savePreferenceOnDefaultProfile(java.util.Properties config,
java.lang.String key,
java.lang.String value)
Guardas las preferencias en el perfil actual.
|
static void |
savePreferencesOnDefaultProfile(java.util.Properties config)
Almacena en el perfil por defecto la configuración indicada.
|
static void |
setDinamicPreference(java.lang.String key,
java.lang.String value)
Guarda una preferencia.
|
static void |
setLastProfileName(java.lang.String name)
Establece cuál fue el nombre del último perfil cargado por la herramienta.
|
public static final java.lang.String DEFAULT_PROFILE_NAME
public static java.lang.String getFreeProfileId()
null
.public static boolean existProfileName(java.lang.String profileName)
profileName
- Nombre del perfil que se está buscando.true
si existe un perfil con ese nombre, false
en
caso contrario.public static java.lang.String getProfileIdByName(java.lang.String profileName)
null
.profileName
- Nombre del perfil.public static void saveConfiguration(java.lang.String id, java.lang.String name, java.util.Properties config)
id
- Identificador con el que almacenar la configuración.name
- Nombre asignado al perfil.config
- Configuración que se desea almacenar.java.lang.IllegalArgumentException
- Cuando se indique un nombre de fichero no válido.public static void setDinamicPreference(java.lang.String key, java.lang.String value)
key
- Clave de la preferencia a asignar.value
- Valor a asignar a la preferencia o nulo para borrarla.java.lang.IllegalArgumentException
- Cuando se indica una clave nula.public static java.lang.String getDinamicPreference(java.lang.String key)
key
- Clave de la preferencia a asignar.null
si no está definida.java.lang.IllegalArgumentException
- Cuando se indica una clave nula.public static void removeConfiguration(java.lang.String id)
id
- Identificador del perfil que se desea eliminar.public static java.util.Properties getConfiguration(java.lang.String name)
name
- Nombre del perfil.public static java.util.Properties getDefaultConfiguration()
public static java.util.Properties getDefaultConfigurationModified()
public static java.lang.String getProfileName(java.lang.String id)
id
- identificador del perfilnull
si no existe un perfil con ese identificador.public static java.lang.String[] getProfilesNames()
public static void setLastProfileName(java.lang.String name)
name
- Nombre de perfil.public static java.lang.String getLastProfileName()
null
.public static java.lang.String getAccessibilityOptionValue(java.lang.String option, java.lang.String name)
option
- Nombre de la opción de accesibilidad.name
- Nombre del perfil.public static void savePreferencesOnDefaultProfile(java.util.Properties config)
config
- Configuración a almacenar.public static void savePreferenceOnDefaultProfile(java.util.Properties config, java.lang.String key, java.lang.String value)
config
- Configuración que contiene el par valor-clave de configuración.key
- Clave de configuración.value
- Valor por defecto de la clave de configuración.