[ afficher >><< masquer ]
SAMPI - Editeur structuré
1. Le Problème et la Proposition
2. Le Langage Primitif de Représentation Textuelle
2.1. Présentation de la Syntaxe Concrète
2.2. Notations
2.3. Exemple de structuration des données
2.4. Exemple de structuration des traitements
2.5. Exemple de structurations connexes
3. Le Langage Complété pour la Structuration des Textes
3.1. Présentation de la Syntaxe Complétée
3.2. Etude quantitative de l'évolution des programmes
3.3. L'édition syntaxique
3.3.1. Définition d'un langage
3.3.11.1. La grammaire du langage
3.3.11.2. La syntaxe abstraite et les schémas de décompilation
3.3.11.3. La représentation textuelle
3.3.11.4. La concentration des variables
3.3.11.5. La concentration des propriétés
3.3.11.6. La paramétrisation des propriétés
3.3.11.7. Le poids sémantique des propriétés
3.3.2. Information de contexte
3.3.3. Exécution
3.3.4. Définition de propriétés
3.4. étude de cas : le langage LTR3 et l'atelier ENTREPRISE
4. L'Enrichissement du Langage par de Nouveaux Concepts
4.1. Présentation de la Syntaxe Abstraite
4.2. Les difficultés
4.3. Compléter la Syntaxe
5. La Formalisation des Solutions Techniques
5.1. L'évaluation fonctionnelle
5.2. La structuration par les objets
5.3. Modèle sémantique comparé de l'évaluateur
5.4. Comparaison critique
5.5. Construction de la Syntaxe Abstraite
6. Les Comparaisons avec d'autres Approches
7. Les Perspectives
8. Les Editeurs
8.0. brisé sur la barrière de la complexité (une fois de plus)
8.1. L'éditeur ligne : Manuel de l'utilisateur
8.2. L'éditeur page : Guide de l'utilisateur
9. Les Aspects d'Implantation
9.1. Contexte d'évaluation
9.2. La Syntaxe Abstraite : Manuel du concepteur
9.3. L'éditeur page : Guide de l'implanteur
Références
Rubrique Perl-Javascript

Définition d'un langage

On illustre la démarche par un exemple.

1. La grammaire du langage

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

3. La représentation textuelle

4. La concentration des variables

5. La concentration des propriétés

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

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

4. La concentration des variables

Figure 4 : la concentration des variables

Dans l'exemple on reconnaît plusieurs occurrences d'identificateurs sémantiquement liés : d'une part "x" et d'autre part "y". Dans ces deux cas il s'agit bien d'un même concept – une variable – qu'on utilise plusieurs fois : une fois pour la déclaration, les autres fois comme utilisation d'une variable déclarée. Comme il s'agit ici de la valeur de terminaux instanciables du langage, il n'y a pas de liens particuliers entre ces diverses occurrences de "x" ou de "y".

On définit alors deux nouveaux "opérateurs", d'arité nulle, nom-x et nom-y, qu'on place également dans l'environnement global. Le tampon d'édition PGME utilise alors ces définitions au lieu de donner explicitement leur représentation (qui est respectivement "x" et "y").

Par exemple :

(def nom-x () ("x"))

(def INSTR
   ((def VAR () ((nom-x)))
    (def EXP () ((nom-y))))
   ((affect)))

Le texte VAR n'est plus défini comme « la chaîne de caractères "x" » mais comme « l'utilisateur de l'opérateur nom-x » : on a bien concentré dans la définition de ces nouveaux textes les occurrences d'utilisation de ces identificateurs.

Figure 4 : la concentration des variables [ afficher >><< masquer ]

(def nom-x () ("x"))

(def nom-y () ("y"))

(def PGME
 ((def PGME-DECLA
   ((def DECLA*
     (lst-env
      ((def DECLA
        ((def NOM () ((nom-x)))
         (def TYP () ("integer")))
        ((decla))))
       (def DECLA
        ((def NOM () ((nom-y)))
         (def TYP () ("real")))
        ((decla)))))))
   ((pgme-decla)))
  (def PGME-INSTR
   ((def INSTR*
     (lst-env
      ((def INSTR
        ((def VAR () ((nom-x)))
         (def EXP () ("0")))
        ((affect))))
       (def INSTR
        ((def VAR () ((nom-y)))
         (def EXP () ("1.0")))
        ((affect))))
       (def INSTR
        ((def EXP-COND
          ((def EXP1 () ((nom-x)))
           (def EXP2 () ((nom-y))))
          ((exp-egal)))
         (def THEN-CLAUSE
          ((def INSTR*
            (lst-env
             ((def INSTR
               ((def EXP () ("'Ok'")))
              ((affiche)))))))
          ((then-clause)))
         (def ELSE-CLAUSE
          ((def INSTR*
            (lst-env
             ((def INSTR
               ((def VAR () ((nom-x)))
                (def EXP () ((nom-y))))
              ((affect))))
              (def INSTR
               ((def EXP () ("'Erreur'")))
              ((affiche)))))))
          ((else-clause))))
        ((cond))))
       (def INSTR
        ((def EXP () ("'fin'")))
        ((affiche)))))))
   ((pgme-instr))))
 ((pgme)))