Deuxième étape : les nouveaux cas

On a défini :

• des structures de données communes : fic (fichier) et tab (tableau) ;
• des contextes particuliers : ctx1 et ctx2 ;
• des modèles de décompilation : Lire, Ecrire et Rechercher.

Il s'agit maintenant de réutiliser ces modèles dans deux nouvelles situations [3] et [4]. Les procédures Lire_Objet et Ecrire_Objet étant suffisamment simples, on peut réutiliser les schémas Lire et Ecrire dans les cas [3] et [4]. On passe donc tout de suite au cas de la procédure Rechercher_Objet, modélisée par le texte Rechercher.

1. Le troisième contexte

2. Le quatrième contexte

3. Remarque

3. Remarque

La technique de définition des valeurs par défaut des paramètres semble assez facilement automatisable : la seule contrainte est de définir un environnement d'accueil pour le texte qu'on utilise (ici Rechercher vis-à-vis de schema), pour y placer ces valeurs par défaut. Dans l'exemple, on a adopté la solution "riche" qui était de définir un environnement d'accueil spécialement dédié au texte Rechercher. La solution "économique" serait de définir un module Bas-Niveau, dans lequel les paramètres par défaut seraient mis en commun entre toutes les propriétés du module :

(def Bas-Niveau
   ((def Lire ...)
    (def Ecrire ...)
    ...
    (def Rechercher ...)
    ...paramètres locaux du module Bas-Niveau...))

L'instanciation par défaut serait alors relative au module, et non plus à telle propriété donnée du module.