B Tools - BEditor

BEditor Presentation

This plug-in (Version 1.0.2 of November 22, 2007) adds a basic editor to Eclipse that recognizes the B Language. It includes the following functionalities:

Syntaxic coloration
Automatic completion (reserved words in the language)

Installing BEditor

The installation of BEditor uses Eclipse’s "Update Site" functionality. To install it:

In the Help/Software Updates menu, enable the "Find and Install" functionality;
Select "Search for a new feature to install";
Click on the "New Remote Site" button;
In the dialog window that appears, enter:

"BEditor Update Site’’ in the "Name" field;
http://www.bmethod.com/update_site/beditor in the "URL" field

Click on the "Finish" button to install the BEditor plug-in.
Restart Eclipse.

To ensure the plug-in is installed correctly, once again click on "Help", then on "About Eclipse platform". Then click on the "Plug-in Details" button. If you see the BEditor plug-in (see the image below), then it has been installed correctly.

Using BEditor

BEditor starts up automatically when files are opened that have a ".mch" or ".ref" extension (you will recognise it thanks to the icon);

To use the automatic completion when the cursor is at the beginning of a word, type "CTRL-Space" to display the reserved words that correspond to this initial portion of a word.

Version History

Version 1.0.2

Corrects issues related to conflicts with other editors.