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:

- 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 thecursor 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.
|