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 :
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 :
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
