Outils pour utilisateurs

Outils du site


Action disabled: source
public:specs_pilotage_editeur_scripts

Pilotage d'un éditeur de texte par macro

Objectif

Piloter les outils d'édition de TXM par des macros, en particulier l'éditeur de texte.

Exemple de cas d'usage :

  • une macro fait un traitement par lot sur des sources (typiquement une conversion de format ou un chercher/remplacer avec reprise)
  • de temps en temps la macro s'arrête par une exception parce qu'un cas n'a pas été prévu dans les sources (par exemple on n'a pas prévu qu'un token puisse contenir un espace)
  • la macro peut aider à diagnostiquer le problème à l'aide de logs déclenchés en mode debug (quel fichier, quelle ligne, etc.)
  • l'idée est d'accélérer la boucle diagnostic/correction en ouvrant directement un éditeur de texte sur le fichier en cours de traitement à la ligne courante et au token courant pour accélérer le travail de réglage des sources par édition manuelle. Dans ce cas de figure, après la correction on ferme l'éditeur puis on relance la macro pour relancer le traitement par lot
  • un problème se trouvant dans plusieurs fichiers, diagnosticable à l'aide de la macro SearchInDirectory, peut plutôt être traité avec l'aide de la macro SearchReplaceInDirectory. Il s'agit donc ici plutôt de travailler sur le lien entre des outils de diagnostic lors de traitements de préparation et des outils d'édition assistée de sources.

Méthode

Utiliser les méthodes de la classe OpenFile puis piloter l'éditeur par ses méthodes.

Exemple :

monitor.syncExec(new Runnable() {
	public void run() {
		OpenFile.openfile(file)
	}
})

Puis :

  • méthode aller à la ligne X
  • méthode chercher le mot Y
  • etc.

État de la plateforme

Avancement dans l'élaboration de la solution

Solution

État de l'art

Prototypes

Version finale

Documentation

Utilisateur

Développeur

Recette

Protocole de test

Alpha

Beta

État courant

Qui Quand Quoi

public/specs_pilotage_editeur_scripts.txt · Dernière modification: 2016/05/06 17:21 par slh@ens-lyon.fr