Complément de l'éditeur à références concentrées, il permet de déduire, à partir de prémisses, des conditions à remplir, soit impérativement, soit sous forme de recommandations.
Par exemple, l'utilisation d'une variable x suggère la déclaration de cette variable dans la zone de visibilité. Plus simplement peut-être, partant des déclarations :
TYPE pile : RECORD
contenu : ARRAY[1..100] OF real;
index : integer;
END RECORD;
on déduit que l'utilisation d'un objet :
P...
sera :
P | : de type pile, | ||
P.contenu | : de type anonyme « tableau de 100 réels », | ||
P.contenu( | ) | : de type réel, la case à remplir étant de type entier. | |
Ainsi la frappe de "P" fait suggérer à l'éditeur la suite du texte :
<rien> | ||
.contenu | ||
.contenu( | ) | |
dont il peut vérifier ensuite si elle correspond bien au type attendu.
On définit alors un éditeur sémantique, qui vérifie la cohérence entre les objets utilisés et ceux qui sont déclarés dans la zone de visibilité du moment.
A un autre niveau l'éditeur peut suggérer des schémas de transformations à moindre coût. Par exemple :
(les références à « condition » et « instructions » sont conservées lors de la transformation). On notera que dans ce schéma on ne garantit pas la préservation de la sémantique du programme : l'éditeur suggère une transformation dans un « voisinage sémantique » mais il laisse à l'utilisateur le soin d'en apprécier les conséquences.