jpicedt.ui.util
Class CommandLineBuilder

java.lang.Object
  jpicedt.ui.util.CommandLineBuilder

public class CommandLineBuilder
extends Object

La classe CommandLineBuilder sert à former une ligne de commande à partir d'une ligne contenant des macros de la forme {f} ou {p}.

Le constructeur sert uniquement à effectuer quelques vérifications préliminaires. Lorsque une macro comme {d} ne peut pas être développée — c'est à dire qu'il n'y a pas de dessin courant, alors elle n'est pas développée et reste sous la forme {d}.

Voici le résultat des différentes {clef}, à supposer que que le dessin soit sauvegardé dans un fichier dont le chemin complet est /a/b/c0.d.e et pour lequel le fichier temporaire est /tmp/jpicedt123.tex:

clef	résultat	description
b	c0.d.e	Nom de base du dessin
x	c0.d	Nom de base du dessin sans extension
n	c	Nom de base du dessin sans aucune extension
r	c0	Radical du nom de base du dessin
d	/a/b	Répertoire du dessin
f	jpicedt123	Nom de base du fichier temporaire
i		Répertoire des scripts de lancement de commandes externes
j		Répertoire d'installation de jPicEdt
p	/tmp	Répertoire du fichier temporaire
u		Répertoire des macros & fragments utilisateur
[	{	accolade ouvrante
]	}	accolade fermante

Since:

jPicEdt 1.6

Version:

$Id: CommandLineBuilder.java,v 1.5 2013/10/07 19:16:12 vincentb1 Exp $

Author:

Vincent Belaïche

Constructor Summary

CommandLineBuilder()

Method Summary

String	buildCommandLine(String command) Construit la ligne de commande réelle en replaçant les occurences des macros ({f}, {p},…) dans l'argument command par leur valeur en cours.
static String	getDrawingBaseName() getDrawingBaseName renvoie le nom de base du fichier où est stocké le dessin de la planche à dessin courante, ou null si le dessin n'est pas dans un fichier.
static String	getDrawingBaseNameNoExt() Supprime toute les extensions du nom de base renvoyé par getDrawingBaseName, et renvoie ce qui reste après suppression.
static String	getDrawingBaseNameRadix() Supprime toute les extensions au sens propre du nom de base renvoyé par getDrawingBaseName, et renvoie ce qui reste après suppression.
static String	getDrawingBaseNameSansExt() Supprime la dernière extension du nom de base renvoyé par getDrawingBaseName, et renvoie ce qui en reste après suppression.
static String	getDrawingDir(String defaultDir)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CommandLineBuilder

public CommandLineBuilder()

Method Detail

buildCommandLine

public String buildCommandLine(String command)

Construit la ligne de commande réelle en replaçant les occurences des macros ({f}, {p},…) dans l'argument command par leur valeur en cours.

Parameters:

command - ligne de commande avec potentiellement des macros de la forme {f} ou {p}, ainsi que spécifié dans la panneau de préférence utilisateur, sous l'onglet commande.

Returns:

La ligne de commande réelle

Since:

PicEdt 1.2

getDrawingDir

public static String getDrawingDir(String defaultDir)

Parameters:

defaultDir - valeur à renvoyer quand il n'y a pas de dessin actif. Si égal à null alors la fonction renvoie le répertoire courant utilisateur en telle circonstance.

Returns:

le répertoire du dessin actif. S'il n'y a pas de dessin actif (ou que c'est un "Sans nom", alors renvoie defaultDir si ≠ null, ou le répertoire courant utilisateur sinon.

Since:

jPicEdt 1.6

getDrawingBaseName

public static String getDrawingBaseName()

getDrawingBaseName renvoie le nom de base du fichier où est stocké le dessin de la planche à dessin courante, ou null si le dessin n'est pas dans un fichier. Par exemple si le chemin complet du fichier est /mon/dossier/mondessin.tex, alors la valeur renvoyée sera mondessin.tex

Returns:

le String nom de base du fichier dessin.

Since:

jPicEdt 1.6

getDrawingBaseNameSansExt

public static String getDrawingBaseNameSansExt()

Supprime la dernière extension du nom de base renvoyé par getDrawingBaseName, et renvoie ce qui en reste après suppression.

Quelques exemples:

Nom de base	valeur renvoyée
toto.jpe.tex	toto.jpe
toto0.tex	toto0
toto1	toto1

Returns:

Le nom de base sans extension

Since:

jPicEdt 1.6

See Also:

getDrawingBaseName()

getDrawingBaseNameRadix

public static String getDrawingBaseNameRadix()

Supprime toute les extensions au sens propre du nom de base renvoyé par getDrawingBaseName, et renvoie ce qui reste après suppression. La partie renvoyé constitue donc le radical du nom de base.

Quelques exemples:

Nom de base	valeur renvoyée
toto.jpe.tex	toto
toto18.jpe.tex	toto18
toto0.tex	toto0
toto1	toto1

Returns:

Le nom de base sans aucune extension

Since:

jPicEdt 1.6

See Also:

getDrawingBaseName()

getDrawingBaseNameNoExt

public static String getDrawingBaseNameNoExt()

Supprime toute les extensions du nom de base renvoyé par getDrawingBaseName, et renvoie ce qui reste après suppression. Les extensions peuvent être consituées d'extensions au sens propre, ou d'un numéro décimal en fin de radical du nom de base

En d'autres termes, cela consiste à supprimer tout numéro décimal en fin du radical tel que renvoyé pas getDrawingBaseNameRadix et à renvoyer ce qui reste après suppression.

Quelques exemples:

Nom de base	valeur renvoyée
toto.jpe.tex	toto
toto18.jpe.tex	toto
toto0.tex	toto
toto1	toto

Returns:

Le nom de base sans aucune extension

Since:

jPicEdt 1.6

See Also:

getDrawingBaseName(), getDrawingBaseNameRadix()