Première étape : le modèle générique

Dans cette première étape, on ne retient que les deux premiers types de structures de données : [1] et [2]. Reconnaissant, malgré la distance entre ces deux types, qu'on va devoir écrire deux fois le même "genre" de modules, on peut souhaiter paramétrer un module générique unique puis instancier chaque cas avec ses particularités.

1. Les structures de données

2. Les contextes d'utilisation

3. Les traitements simples

4. Les traitements complexes

2. Les contextes d'utilisation

Puisqu'on a deux types de structures, on a deux contextes d'utilisation du schéma-type comm.

Premier cas :

(def ctx1
   ((def NOM () ("1"))
    (def RANG
       ((def RGPHY () ("H"))
        (def CONV-RGLOG () ("RG1({RGLOG})"))
        (def NUM-LOG () ("1"))
        (ref fic ((comm)))))
    (def OBJ
       ((def val () ("X1"))
        (def aux () ("Y1"))))))

Deuxième cas :

(def ctx2
   ((def NOM () ("2"))
    (def RANG
       ((def CONV-RGLOG () ("TX2({RGLOG})"))
        (ref tab ((comm)))))
    (def OBJ
       ((def val () ("X2"))
        (def aux () ("Y2"))))))

Le contexte ctx1 présente trois champs :

Du fait de l'instanciation partielle des paramètres de fic, depuis ctx1 on "voit" les propriétés :

On peut noter par exemple que l'instanciation de CONV-RGLOG introduit un nouveau paramètre RGLOG, et que la "non-instanciation" du paramètre VAL fait qu'on conserve ce paramètre.

De la même façon, ctx2 présente les propriétés :