Précédent : Accélérateurs clavier Remonter : Composants élémentaires d'environnements interactifs Suivant : Formateur incrémental graphique

Développement d'un outil de débogage pour PPML

Participants : Yves Bertot, Laurence Rideau

Mots-clés : environnement de programmation, interface graphique, mise au point de programme, interface homme-machine

Dans Centaur, l'affichage des programmes est calculé par une machine d'affichage utilisant des règles d'affichages PPML (Pretty-Printer Meta-Language). Le choix de la règle à appliquer est basé sur du pattern matching : si plusieurs règles sont applicables, c'est la première qui est utilisée. En pratique, il devient difficile de savoir quelles règles sont utilisées pour une expression donnée.

Nous avons développé un outil permettant de montrer interactivement la ou les règle(s) utilisée(s) pour l'affichage d'un sous-arbre donné. Cet outil de débogage de spécifications PPML peut aussi être utilisé pour aider l'utilisateur final à décrire ses propres règles d'affichage : pour un sous arbre donné, le système lui montre la règle utilisée, il peut la copier, l'éditer pour la rendre spécifique à son application puis l'utiliser dans son contexte de travail.