Plugin B pour JEdit

Le plugin B pour JEdit fournit une interface graphique conviviale pour le développement de projets B.
Il permet de compiler des sources B au sein de JEdit, et d'afficher les résultats de compilation.
Il offre également une aide à la programmation, avec notamment une aide sur les symboles utilisés dans le langage B.
Le plugin existe en deux versions : une "normale", et l'autre intégrant B2HTML, une application permettant la création d'une documentation HTML d'un projet B.

JEdit 4.0 et Java 1.4 sont requis pour faire fonctionner le plugin.

Crédits :
Le plugin B a été développé par Antoine Acquaviva et moi-même.

Ce plugin utilise le TypeChecker développé par le LIFC.
Certaines parties de ce plugin sont basées sur le travail de Christelle Balon et Stéphane Mouchet pour le projet JBEdit.
L'application B2HTML utilise ReadXML et B Object Library, développés par Bruno Tatibouët.

La version du plugin B disponible sur cette page est celle rendue à l'issue de notre projet. Cependant, le plugin B a continué à être développé au sein du LIFC et sert de support à la plate-forme JBTools, qui est disponible sous license GPL sur le site de Bruno Tatibouët.

 

Téléchargement :

Plugin B :	sources ou fichier JAR
Plugin B plus B2HTML :	sources ou fichier JAR

• Le fichier JAR est directement utilisable par JEdit, il suffit de le placer dans le répertoire "jars" du répertoire d'installation de JEdit.
• Les sources sont à extraire dans le répertoire jars. Un répertoire B sera alors créé. Les instructions de compilations sont disponibles dans le fichier "INSTALL.txt"

Vous pouvez consulter :

Rapport de projet :
Transparents de soutenance :

Documentation de l'application au format HTML (anglais) : Plugin B ou Plugin B plus B2HTML

Légende :

Documents Microsoft Word
Documents PDF (lisibles avec Acrobat Reader)
Documents Microsoft Powerpoint

Retour