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.