Plugin B pour JEdit Matthias Meusburger Antoine Acquaviva

Présentation au sujet: "Plugin B pour JEdit Matthias Meusburger Antoine Acquaviva"— Transcription de la présentation:

1 Plugin B pour JEdit Matthias Meusburger Antoine Acquaviva
Projet encadré par M.Tatibouët

2 Plan de soutenance 1. Présentation du sujet 1.1. JEdit et les plugins
1.2. Le langage B 1.3. Problématique et objectifs 2. Étude préalable 2.1. L’aide de JEdit 2.2. Le rapport du projet JBEdit 3. Développement du plugin 3.1. Structure du plugin 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles 4.1. Limites 4.2. Évolutions possibles

3 Introduction Motivations de choix :
langage Java logiciel libre Plugin B pour JEdit : un intitulé riches de notions détaillées dans la présentation du projet

4 1. Présentation du sujet 1.1. JEdit et les plugins 1.2. Le langage B
1.3. Problématique et objectifs

5 JEdit Éditeur de texte Logiciel libre Multi-plateformes Modulaire
Présentation du sujet – JEdit et les plugins JEdit 1. Présentation du sujet 1.1. JEdit et les plugins 1.2. Le langage B 1.3. Problématique et objectifs 2. Etude préalable 3. Développement du plugin 4. Limites et évolutions possibles Éditeur de texte Logiciel libre Multi-plateformes Modulaire

6 Les plugins Destinés à étendre les fonctionnalités d’un logiciel
Présentation du sujet – JEdit et les plugins Les plugins 1. Présentation du sujet 1.1. JEdit et les plugins 1.2. Le langage B 1.3. Problématique et objectifs 2. Etude préalable 3. Développement du plugin 4. Limites et évolutions possibles Destinés à étendre les fonctionnalités d’un logiciel Standardisés Pérennes

7 Le langage B Développé par Ken Thompson en 1970
Présentation du sujet – Le langage B Le langage B 1. Présentation du sujet 1.1. JEdit et les plugins 1.2. Le langage B 1.3. Problématique et objectifs 2. Etude préalable 3. Développement du plugin 4. Limites et évolutions possibles Développé par Ken Thompson en 1970 Utilisé notamment dans l’industrie Le langage B est utilisé par la méthode B

8 Problématique Les outils B existants sont commerciaux
Présentation du sujet – Problématique et objectifs Problématique 1. Présentation du sujet 1.1. JEdit et les plugins 1.2. Le langage B 1.3. Problématique et objectifs 2. Etude préalable 3. Développement du plugin 4. Limites et évolutions possibles Les outils B existants sont commerciaux Outils développés par le LIFC Nécessité de disposer d’un environnement graphique

9 Présentation du sujet – Problématique et objectifs
1.1. JEdit et les plugins 1.2. Le langage B 1.3. Problématique et objectifs 2. Etude préalable 3. Développement du plugin 4. Limites et évolutions possibles Intégrer l’outil de compilation B du LIFC sous forme de plugin pour JEdit Proposer des fonctions d’aide à l’édition et à la compilation Réaliser une interface souple et conviviale

10 Synthèse des objectifs
Présentation du sujet – Problématique et objectifs Synthèse des objectifs 1. Présentation du sujet 1.1. JEdit et les plugins 1.2. Le langage B 1.3. Problématique et objectifs 2. Etude préalable 3. Développement du plugin 4. Limites et évolutions possibles

11 2. Étude préalable 2.1. L’aide de JEdit
2.2. Le rapport du projet JBEdit

12 L’aide de JEdit Partie traitant des plugins
Etude préalable – L’aide de JEdit L’aide de JEdit 1. Présentation du sujet 2. Etude préalable 2.1. L’aide de JEdit 2.2. Le rapport du projet JBEdit 3. Développement du plugin 4. Limites et évolutions possibles Partie traitant des plugins Exemple détaillé du QuickNotepad Difficultés pour exploiter et synthétiser les informations contenues dans l’aide

13 Le rapport du projet JBEdit
Etude préalable – Rapport du projet JBEdit Le rapport du projet JBEdit 1. Présentation du sujet 2. Etude préalable 2.1. L’aide de JEdit 2.2. Le rapport du projet JBEdit 3. Développement du plugin 4. Limites et évolutions possibles Des objectifs similaires Une approche radicalement différente Avantages du plugin par rapport à une transformation de JEdit en JBEdit Exploitation limitée du rapport

14 3. Développement du plugin
3.1. Structure du plugin 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin

15 Structure du plugin Le plugin est sous forme d’archive JAR contenant :
Développement du plugin – Les ressources Structure du plugin 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles Le plugin est sous forme d’archive JAR contenant : Les fichiers sources Le fichier propriétés La classe Bplugin Les fichiers XML Actions.xml Dockables.xml

16 Intégration du plugin Développement du plugin – Les ressources
1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles

17 L’aide à l’édition La fenêtre des symboles
Développement du plugin – L’aide à l’édition L’aide à l’édition 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Les ressources 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles La fenêtre des symboles Le B utilise de nombreux symboles mathématiques Nécessité de créer une aide pour aider l’utilisateur à choisir le symbole adéquat et lui proposer son équivalent ASCII.

18 L’aide à la compilation
Développement du plugin – L’aide à la compilation L’aide à la compilation 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles Une barre d’outil permet de déclencher la compilation d’un seul clic Les résultats de la compilation sont affichés dans une fenêtre En cas d’échec, le fichier incriminé est ouvert dans JEdit

19 Les alternatives de compilation
Développement du plugin – L’aide à la compilation Les alternatives de compilation 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles

20 Paramétrage du Plugin Centralisé dans les options de JEdit
Développement du plugin - Paramétrage Paramétrage du Plugin 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles Centralisé dans les options de JEdit Les paramètres sont conservés d’une session à l’autre Choix des répertoires sources et sorties Choix d’un éventuel TypeChecker externe

21 Fonctionnalités proposées
Développement du plugin Fonctionnalités proposées 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. L’aide à l’édition 3.3. L’aide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles

22 4. Limites et évolutions possibles

23 Limites de l’application
Limites et évolutions possibles - Limites Limites de l’application 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 4. Limites et évolutions possibles 4.1. Limites 4.2. Evolutions possibles Recherche de l’erreur peu précise Nécessité de réintégrer le TypeChecker au plugin

24 Evolutions possibles Possibilité d’intégrer d’autres outils B
Limites et évolutions possibles - Évolutions Evolutions possibles 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 4. Limites et évolutions possibles 4.1. Limites 4.2. Évolutions possibles Possibilité d’intégrer d’autres outils B

25 Conclusion Plugin opérationnel et évolutif Bilan personnel positif
Langage Java Fonctionnement d’un plugin Gestion du projet Langage B