Gestionnaire de preferences.
Ce gestionnaire contient les valeurs de configuration importees
d'un fichier. Une option se distinge par son nom et sa valeur.
Le format du fichier doit etre:
==============================
# ceci est un commentaire
nbMax : 500
nomDuFichierY : 'fichier.y' # un autre commentaire
==============================
|
Methods
|
|
ajouterOption
importer
init
listeOptions
mettreAJour
optionDefinie
valeurDe
|
|
|
ajouterOption
|
ajouterOption (
self,
option,
valeur,
)
Ajoute une option au gestionnaire.
Actuelement ceci est un alias de mettreAJour()
- option (String)
- l'option a ajouter
- valeur
- sa valeur
depuis - 1.0 auteur - Julien Burdy
|
|
|
importer
|
importer ( self, nomFichier )
Importe les preferences depuis le fichier.
La suppression des valeurs superflue est automatique (tab, espaces,...)
- nomFichier (String)
- Le nom du fichier d'importation
depuis - 1.0 auteur - Julien Burdy
|
|
|
init
|
init ( self, nomFichier='' )
Creation du gestionnaire (Singleton).
- nomFichier (String)
- Le nom du fichier de config
- retourne (GestionnairePreferences)
- le gestionnaire
depuis - 1.0 auteur - Julien Burdy
|
|
|
listeOptions
|
listeOptions ( self )
Retourne la liste des options presente dans le gestionnaire.
- returne (List)
- La liste des options
depuis - 1.0 auteur - Julien Burdy
|
|
|
mettreAJour
|
mettreAJour (
self,
option,
nouvelValeur,
)
Mise a jour de la valeur d'une option.
Creation de l'option si elle n'existe pas.
- option (String)
- l'option a mettre a jour
- nouvelValeur
- la valeur a mettre a jour
depuis - 1.0 auteur - Julien Burdy
|
|
|
optionDefinie
|
optionDefinie ( self, option )
Revois si une option est definie ou non.
- option (String)
- l'option en question
- returne
- 0 si elle ne l'est pas
depuis - 1.0 auteur - Julien Burdy
|
|
|
valeurDe
|
valeurDe ( self, option )
Revois la valeur d'une option.
- option (String)
- l'option dont on veut la valeur
- returne
- la valeur (exception si elle n'existe pas)
depuis - 1.0 auteur - Julien Burdy
|
|