1. La structure d'Arbre : les éditeurs syntaxiques
On entend ici par éditeurs syntaxiques des éditeurs syntaxiques paramétrés par la grammaire du langage. On les regarde comme des outils travaillant sur des Arbres de Types :
Arbre : clairement il s'agit des arbres syntaxiques (abstraits).
Type : les modèles d'arbres sont les opérateurs du langage.
Un éditeur paramétré par la grammaire permet à l'utilisateur de définir ses propres types. Mais comme il a été dit auparavant (cf. Chapitre 2.1, « Présentation de la Syntaxe Concrète »), on utilise, en phase d'édition, une instance de l'éditeur syntaxique paramétré : l'utilisateur ne peut pas dynamiquement modifier les types, c'est-à-dire les opérateurs du langage, ni en créer ou en supprimer.
On en cite un certain nombre, et il y en a beaucoup d'autres :
- ALOE [MeN 81] [FeM 80], un élément du projet GANDALF – qui s'intéresse à l'environnement, dont ALOE est l'éditeur.
- Cépage [MeN 87], déjà cité à propos du choix d'élision adopté (cf. Chapitre 4.3, « Compléter la syntaxe »).
- SDF [HeK 86] [Hen 87], du projet GIPE.
- SUPPORT [Zel 84].
- Mentor [KLM 86] [DHK 80] [MMV 85], un des pionniers en la matière, avec deux extensions :
- CPS (« Cornell Program Synthesizer », [ReT 85] [TRH 81]), qui développe un environnement par l'utilisation de grammaires attribuées ([HoT 86] pour une vue plus formelle sur le sujet) ; un projet voisin est actuellement en cours de développement au CRIN, à Nancy, GEODE [CrD 87].
- PSG [BaS 86], un des derniers venus, il bénéficie des efforts antérieurs :
- l'éditeur est hybride, c'est-à-dire qu'il fonctionne structurellement (par l'affinage des structures syntaxiques, les "templates") ou textuellement (comme un éditeur classique) ;
- les contrôles sémantiques sont finement réalisés (par exemple, l'outil peut réaliser un contrôle de type structurel sur des types non déclarés) ;
- une édition sensible au contexte (« context-sensitive ») : les options qu'on peut sélectionner tiennent compte d'une information de contexte, par exemple le type des expressions.
On place un peu à l'écart l'éditeur PECAN [Rei 84] : c'est aussi un éditeur syntaxique, mais qui permet par rapport aux autres un affinage simultané selon plusieurs schémas de décompilation de l'arbre syntaxique – dont un schéma qui affiche les déclarations de variables et un autre qui affiche le graphe de contrôle du programme.