De ce qui précède, on peut retirer que, partant d'une certaine vision des textes définis, on pourra s'assurer que tel texte est bien celui qui sera effectivement utilisé si une définition de ce texte est visible.
Par exemple :
def x3
def v = "V3"
= (use u) (use v)
on sait que : (use v) sera évalué en : "V3".
Les autres utilisations, c'est-à-dire les utilisations de textes dont aucune définition n'est visible, seront les paramètres du texte. Ils seront soit définis "plus haut", soit définis "à côté" (ici : le texte u est un paramètre).
Par exemple :
def x2
def u = "U2"
def v = "V2"
def x3
def v = "V3"
= (use u) (use v)
on sait que le texte x3 n'est pas paramétré "du point de vue de x2", puisque le texte u, qui est l'unique paramètre du texte x3, est défini localement au texte x2.
Premier exemple de texte paramétré
On définit le texte paramétré tab – le paramètre est index.
uti1 définit le texte paramètre index.
def tab = "RG[" (use index) "]"
def uti1
def index = "I"
= (use tab)
Evaluation de uti1 dans l'environnement global :
Evaluation de la représentation de uti1, l'environnement de uti1 ayant été placé dans le contexte d'évaluation :
Evaluation de la représentation de tab : la définition de index de uti1 est bien visible :
Ce comportement est bien celui d'un paramètre formel (l'utilisation dans la représentation de tab d'un texte index) avec passage d'un paramètre effectif (le texte index défini localement au texte uti1).
Deuxième exemple de texte paramétré
On définit le même texte paramétré tab.
uti2 utilise tab en définissant localement le paramètre index.
def tab = "RG[" (use index) "]"
def uti2
= (use tab
(def index = "I"))
Evaluation de uti2 :
Evaluation de la représentation de uti2 :
On place l'environnement local d'utilisation (ici : la définition de index) et on évalue l'utilisation de tab :
Evaluation de la représentation de tab :
Ici encore index joue bien le rôle d'un paramètre.