argutia
Class Argutia.Builder

java.lang.Object
  extended by argutia.Argutia.Builder
Enclosing class:
Argutia
@Immutable
public static class Argutia.Builder
extends Object

Classe regroupant les différents paramètres nécessaires à la création de l'interface graphique. Elle permet d'en simplifier l'initialisation et la réinitialisation lors de changements dans les préférences de l'onglet Configuration.

Author:
Geoffroy AUBRY
Nested Class Summary
static class Argutia.Builder.Type
          Énumération des différents types d'initialisation de l'interface graphique.
 
Field Summary
private int baseFontSize
          Taille de base du texte.
private Dimension dimension
          Taille de la fenêtre principale.
private Locale locale
          Locale de l'interface graphique.
private File openedFile
          Fichier ouvert avant réinitialisation et donc à réouvrir.
private Representations representations
          Orthographe initiale des différentes unités syntaxiques configurables.
private int tabToSelect
          Indice de l'onglet à sélectionner.
private Argutia.Builder.Type type
          Type de création de l'interface.
 
Constructor Summary
Argutia.Builder()
          Constructeur dédié au premier démarrage de l'application.
Argutia.Builder(Argutia.Builder.Type type, File openedFile)
          Constructeur commun aux réinitialisations de type Argutia.Builder.Type.USER_CONFIG et Argutia.Builder.Type.RESET.
Argutia.Builder(int baseFontSize, Locale locale, File openedFile)
          Constructeur dédié à une réinitialisation de type Argutia.Builder.Type.MANUAL.
 
Method Summary
 int getBaseFontSize()
          Retourne la taille du texte de base.
 Dimension getDimension()
          Retourne la taille que doit avoir la fenêtre principale.
 Locale getLocale()
          Retourne la locale.
 File getOpenedFile()
          Retourne le Fichier à réouvrir.
 Representations getRepresentations()
          Retourne l'orthographe initiale des différentes unités syntaxiques configurables sous forme d'une Representations.
 int getTabToSelect()
          Retourne l'ndice de l'onglet à sélectionner.
 Argutia.Builder.Type getType()
          Retourne le type d'initialisation à effectuer.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Field Detail

baseFontSize

private final int baseFontSize
Taille de base du texte.

See Also:
getBaseFontSize()

dimension

private final Dimension dimension
Taille de la fenêtre principale.

See Also:
getDimension()

locale

private final Locale locale
Locale de l'interface graphique.

See Also:
getLocale()

openedFile

private final File openedFile
Fichier ouvert avant réinitialisation et donc à réouvrir.

See Also:
getOpenedFile()

representations

private final Representations representations
Orthographe initiale des différentes unités syntaxiques configurables.

See Also:
Representations, getRepresentations()

tabToSelect

private final int tabToSelect
Indice de l'onglet à sélectionner.

See Also:
getTabToSelect()

type

private final Argutia.Builder.Type type
Type de création de l'interface.

See Also:
getType()
Constructor Detail

Argutia.Builder

public Argutia.Builder()
Constructeur dédié au premier démarrage de l'application.

See Also:
Argutia.Builder.Type.FIRST

Argutia.Builder

public Argutia.Builder(int baseFontSize,
                       Locale locale,
                       File openedFile)
Constructeur dédié à une réinitialisation de type Argutia.Builder.Type.MANUAL.

See Also:
baseFontSize, locale, openedFile
Parameters:
baseFontSize - taille de base du texte.
locale - Locale de l'interface graphique.
openedFile - fichier ouvert avant réinitialisation et donc à réouvrir.

Argutia.Builder

public Argutia.Builder(Argutia.Builder.Type type,
                       File openedFile)
                throws IllegalArgumentException
Constructeur commun aux réinitialisations de type Argutia.Builder.Type.USER_CONFIG et Argutia.Builder.Type.RESET.

See Also:
openedFile
Parameters:
type - type de la construction. À choisir entre Argutia.Builder.Type.USER_CONFIG et Argutia.Builder.Type.RESET.
openedFile - fichier ouvert avant réinitialisation et donc à réouvrir.
Throws:
IllegalArgumentException - si le type de la construction n'est ni Argutia.Builder.Type.USER_CONFIG, ni Argutia.Builder.Type.RESET.
Method Detail

getBaseFontSize

public int getBaseFontSize()
Retourne la taille du texte de base.

See Also:
baseFontSize
Returns:
la taille du texte de base.

getDimension

public Dimension getDimension()
Retourne la taille que doit avoir la fenêtre principale.

See Also:
dimension
Returns:
la taille que doit avoir la fenêtre principale.

getLocale

public Locale getLocale()
Retourne la locale.

See Also:
locale
Returns:
la locale.

getOpenedFile

public File getOpenedFile()
Retourne le Fichier à réouvrir.

See Also:
openedFile
Returns:
le Fichier à réouvrir.

getRepresentations

public Representations getRepresentations()
Retourne l'orthographe initiale des différentes unités syntaxiques configurables sous forme d'une Representations.

See Also:
representations
Returns:
l'orthographe initiale des différentes unités syntaxiques configurables sous forme d'une Representations.

getTabToSelect

public int getTabToSelect()
Retourne l'ndice de l'onglet à sélectionner.

See Also:
tabToSelect
Returns:
l'ndice de l'onglet à sélectionner.

getType

public Argutia.Builder.Type getType()
Retourne le type d'initialisation à effectuer.

See Also:
type
Returns:
le type d'initialisation à effectuer.
Argutia JavaDoc
23 décembre 2007