Accueil | Actualités B | La Méthode B | Travaux R&D | Preuve Formelle | Publications | Conférences | B, les différents langages | Projets Open Source | Outils B | Documents | Liens | Contact  


Outil B - BEditor

Présentation de BEditor

Ce plug-in (Version: 1.0.2 du 22/11/2007) ajoute à Eclipse un éditeur basique reconnaissant le langage B. Il inclue les fonctionnalités suivantes :

  • Coloration syntaxique
  • Complétion automatique (mots réservés du langage)

Comment installer BEditor ?

L'installation de Beditor utilise la fonctionnalité "Update Site" d'Eclipse. Pour ce faire, il faut :

  • Activer, sans le menu Help / Software Updates, la fonctionnalité "Find and install";
  • Sélectionner "Search for a new feature to install"
  • Cliquer sur le bouton "New Remote Site";
  • Dans la fenêtre de dialogue qui est apparue, saisir :
    • "Beditor Update Site" dans le champ "Name" ;
    • http://www.bmethod.com/update_site/beditor dans le champ "URL"
    • Cliquer sur le bouton "Finish" pour installer le plug-in Beditor.
    • Redémarrez Eclipse

Pour vérifier que le plug-in est correctement installé, cliquez sur le menu "Help" puis sur "About Eclipse platform". Cliquez ensuite sur le bouton "Plug-in Details". Si vous voyez le plug-in Beditor (voir image ci-dessous), c'est que celui-ci est correctement installé.

Comment utiliser BEditor ?

L'éditeur B se lance automatiquement à l'ouverture des fichiers portants l'extension ".mch" ou ".ref" (la vue est reconnaissable par l'icône );

Pour utiliser la complétion automatique lorsque le curseur est sur un début de mot, tapez "CTRL- Espace" pour afficher les mots réservés correspondant à ce début de mot.

Historique des Versions

  • Version 1.0.2
    • Corrige un problème de conflit avec les autres éditeurs.