L'édition syntaxique

L'édition syntaxique est un sujet d'étude qui a déjà été largement exploré et dont les techniques de mise en œuvre sont passées au milieu « industriel » – Mentor [MMV 85], CPS [ReT 85], ALOE [MeN 81], ... On montre ici comment elle s'introduit dans le « monde des textes », et quelles propriétés particulières on offre dans ce cadre.

Il s'agit d'un exemple assez complet d'utilisation de la Syntaxe Complétée, qui illustre les fonctionnalités propres à l'outil proposé. Elles sont le fait de l'utilisation d'une représentation « textuelle » des opérateurs du langage de programmation utilisé sous l'éditeur :

• on peut mettre à profit le comportement dynamique des « textes » pour assurer sur le programme en cours d'édition des contrôles non textuels – contrôle de type, ... ;
• l'homogénéité des représentation de la grammaire du langage utilisé et de l'arbre syntaxique du programme construit permet l'introduction de nouveaux "opérateurs", soit pour prendre en compte une information de contexte, soit pour définir un certain schéma d'instructions du langage ;
• la distance relative entre la grammaire du langage et le programme permet d'utiliser divers schémas de décompilation, et en particulier un schéma de décompilation qui fournisse non plus du texte source mais le résultat de l'interprétation du programme.

En conclusion, on suggère une amélioration du formalisme d'expression des « textes » qui permettrait de traduire les spécificités d'un langage comme des propriétés d'Objets qui définiraient ce langage.

1. Définition d'un langage

1.1. La grammaire du langage

1.2. La syntaxe abstraite et les schémas de décompilation

1.3. La représentation textuelle

1.4. La concentration des variables

1.5. La concentration des propriétés

1.6. La paramétrisation des propriétés

1.7. Le poids sémantique des propriétés

2. Information de contexte

2.1. La décompilation contextuelle

2.2. Les opérateurs contextuel

3. Exécution

3.1. L'exécution

3.2. Le prototypage

4. Définition de propriétés