[ 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

5. La concentration des propriétés

Figure 5 : la concentration des propriétés

On observe qu'une variable a en fait une sémantique plus riche que la seule représentation : sont utilisation est toujours étroitement liée à son type sur lequel elle a été définie. Plus généralement certains concepts du programme seront définis par un regroupement de propriétés ; on utilisera alors l'environnement de définition pour lier ces propriétés, la référence à un environnement pour y accéder.

Par exemple, on définit ici :

(def var-x
   ((def nom () ("x"))
    (def typ () ("integer"))
    (def init () ("0"))))

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

La variable var-x est définie par ses trois propriétés : son nom (nom), son type (typ) et sa valeur d'initialisation (init). Le texte VAR utilise la propriété nom de l'objet var-x.

Figure 5 : la concentration des propriétés [ afficher >><< masquer ]

(def var-x
   ((def nom () ("x"))
    (def typ () ("integer"))
    (def init () ("0"))))

(def var-y
   ((def nom () ("y"))
    (def typ () ("real"))
    (def init () ("1.0"))))

(def PGME
 ((def PGME-DECLA
   ((def DECLA*
     (lst-env
      ((def DECLA
        ((def NOM () ((nom((var-x)))))
         (def TYP () ((typ((var-x))))))
        ((decla))))
       (def DECLA
        ((def NOM () ((nom((var-y)))))
         (def TYP () ((typ((var-y))))))
        ((decla)))))))
   ((pgme-decla)))
  (def PGME-INSTR
   ((def INSTR*
     (lst-env
      ((def INSTR
        ((def VAR () ((nom((var-x)))))
         (def EXP () ((init((var-x))))))
        ((affect))))
       (def INSTR
        ((def VAR () ((nom((var-y)))))
         (def EXP () ((init((var-x))))))
        ((affect))))
       (def INSTR
        ((def EXP-COND
          ((def EXP1 () ((nom((var-x)))))
           (def EXP2 () ((nom((var-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((var-x)))))
                (def EXP () ((nom((var-y))))))
              ((affect))))
              (def INSTR
               ((def EXP () ("'Erreur'")))
              ((affiche)))))))
          ((else-clause))))
        ((cond))))
       (def INSTR
        ((def EXP () ("'fin'")))
        ((affiche)))))))
   ((pgme-instr))))
 ((pgme)))