La recherche d'un texte référencé étant une fois encore réalisée dans un contexte construit dynamiquement, on peut laisser certaines références indéterminées, qui jouent alors le rôle de paramètres formels de l'environnement de définition du texte.
Par exemple :
def declVAR
(ref defVAR)
def decla = "VAR " (use nom) ":" (use type) ";"
def util = (use nom)
def txt
def defVAR
def nom = "A"
def type = "integer"
def varA
(ref declVAR)
= ...
declVAR est paramétré par le texte defVAR, duquel on attend qu'il définisse les textes nom et type. Il offre deux "propriétés" (il définit deux textes) :
- decla : déclaration de la variable,
- util : utilisation de la variable.
txt définit :
- le texte defVAR pour instancier le paramètre formel declVAR,
- le texte varA, qui par référence au texte declVAR définit une variable de nom : "A" de type : "integer".
Le texte txt dans sa représentation utilisera alors le texte varA au travers des propriétés définies dans declVAR :
(use decla (ref varA))
(use util (ref varA))