Home l B News l B Method l R&D Activities l Formal Proof l Publications l Conferences
B, the different languages
l Open Source Projects l B Tools l Documents l Tools Forum  l Links l Contact  


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.  

ClearSy System Engineering - Parc de la Duranne - 320 av. Archimède - Les Pléïades III Bat A
13857 AIX EN PROVENCE CEDEX 3
Tel : 04 42 37 12 70 - Fax : 04 42 37 12 71 -
contact@clearsy.com - SITE MAP