Éditeur XML

Objectif

Aider l'utilisateur à éditer ses sources XML dans TXM puis aider à piloter tout l'écosystème XML : passage TXT ↔ XML, conformité, validation, scripts de vérification de contraintes propres à certains formats (XML-Transcriber - marques de synchronisation…) ou à des encodages courants (numérotation exhaustive ou continue d'éléments - comme les propriétés de mots ou les numéros de page ou les adresses de facsimilés, patterns d'encodages…), scripts d'assistance à l'ajout d'encodages (sauts de page, numérotation automatique…), XSLT, etc. Peut-être aider à manipuler le XML-TXM un jour.

Méthode

Utiliser un plugin XML existant.

Question importante :

Faut-il intégrer directement ce plugin XML ou alors le proposer parmi les extensions de TXM ?

Réponse

À terme, l'éditeur XML devra être intégré nativement dans TXM à côté de l'éditeur de TXT.

Ils devront se conformer au protocole natif d'Eclipse d'association d'éditeurs aux extensions de fichiers :

  • choix de l'éditeur à l'ouverture par la commande 'Fichier > Ouvrir' :
    • TXT, .properties → éditeur de TXT
    • XML, XSD, XSL → éditeur de XML
  • choix du type de document à éditer (XML ou TXT) par la commande 'Fichier > Nouveau document'

Solution

État de l'art

Il existe plusieurs éditeurs XML :

  • XML editor (Natif Eclipse RCP)
  • XMLEspresso (Market Eclipse)
  • Rinzo XML Editor (Market Eclipse)

Tous ces éditeurs s'appuient sur le système de Workspace et de Project d'Eclipse pour ouvrir leurs éditeurs respectifs. On pourra :

  • Soit ajouter une nouvelle commande pour ouvrir un fichier XML = créer une extension qui installe un plugin XML et ajoute une nouvelle entrée dans le menu Fichier
  • Soit modifier l'actuelle commande “Ouvrir…” de TXM pour ouvrir le bon éditeur de fichier (TXT ou XML ou WEB) (Il faut aussi prévoir un moyen de choisir l'association extension-editeur)
  • Soit utiliser le système de Workspace et de Project d'Eclipse pour la gestion des fichiers = remplacer la vue actuelle “Fichier” et changer le “default workspace location”

Tableau de comparaison :

Plugin Name	XML	XMLd	DTD	CSS	COMPLETION
XML editor	X	X	X	O	X
XMLEspresso	X	X	X	X	O
Rinzo XML	X	X	O	O	O

Remarques sur le tableau :

  • XMLd ?
  • ajouter XSL ?
  • ajouter :
    • coloration syntaxique (XML, XSL…)
    • validation DTD, XSD
    • validation RNG
    • assistant de complétion de balise/attribut
    • assistant de suggestion contextuelle de balise/attribut
    • assistant de pattern à insérer
    • validation temps réel/continue
    • gestion de catalogue

Features supplémentaires d'un éditeur XML pour l'apprentissage d'XML/TEI relevée par le wiki de la TEI

Voir http://wiki.tei-c.org/index.php/Editor_for_teaching_TEI_-_features :

  • multi-plateforme
  • facile à utiliser
  • transformation XSLT 2
  • gratuit
  • requêtes XPath (>= 2.0)
  • gestion de projet Oxygen (configuration of validation, transformation and templating; or an equivalent system)
  • màj du schéma TEI intégré à chaque mise à jour

Features idéaux supplémentaires :

  • open-source
  • documentation intégrée
  • bibliothèque de templates
  • coloration syntaxique XQuery

Solution courante : plugin XML editor

Nous avons choisi cet éditeur.

Il a commencé à être diffusé comme extension https://groupes.renater.fr/wiki/txm-users/public/extensions_beta#xmleditor.

Documentation

Utilisateur

Développeur

Recette

Protocole de test

Alpha

public/specs_editeur_xml.txt · Dernière modification: 2016/07/27 17:19 par slh@ens-lyon.fr