Précédent : Composants élémentaires d'environnements interactifs Remonter : Composants élémentaires d'environnements interactifs Suivant : Spécifications de transformations de programmes

Edition syntaxique guidée par menus

Participante : Valérie Pascual

Mots-clés : édition structurée, interface homme-machine, transformation de programme

L'édition syntaxique guidée par des menus utilise des menus proposant des schémas d'arbres à insérer ou des transformations à effectuer sur les programmes. Ce mécanisme est un composant standard de Centaur qui permet de fournir des aides aux utilisateurs débutants et des outils évolués aux utilisateurs experts. Ces outils sont couramment utilisés pour l'édition de fichiers Lisp sous Centaur et dans l'environnement CtCoq. Le langage utilisé pour spécifier ces menus, TransForm, est un langage de règles de réécriture simple.

Diverses améliorations de ce composant ont été réalisées, le rendant plus efficace lors de l'affichage de menus hiérarchiques de taille importante. Jusqu'à présent, la structure des menus était calquée sur la syntaxe abstraite du langage. Des expériences ont été faites pour structurer les menus en définissant de nouveaux ensembles d'opérateurs et donc sans s'appuyer sur les phyla du langage. Cela permet en particulier de limiter les modifications du menu liés aux modifications de l'expression courante. Le problème qui se pose maintenant est celui de définir de « bons » menus pour un langage donné.