1 / 25

Plugin B pour JEdit

Matthias Meusburger Antoine Acquaviva. Plugin B pour JEdit. Projet encadré par M.Tatibouët. 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

ganesa
Download Presentation

Plugin B pour JEdit

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Matthias Meusburger Antoine Acquaviva Plugin B pour JEdit 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. 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 Introduction

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

  5. 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 Présentation du sujet – JEdit et les plugins JEdit

  6. 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 Présentation du sujet – JEdit et les plugins Les plugins

  7. 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 Présentation du sujet – Le langage B Le langage B

  8. 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 Présentation du sujet – Problématique et objectifs Problématique

  9. 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 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 Présentation du sujet – Problématique et objectifs Objectifs

  10. 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 Présentation du sujet – Problématique et objectifs Synthèse des objectifs

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

  12. 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 Etude préalable – L’aide de JEdit L’aide de JEdit

  13. 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 Etude préalable – Rapport du projet JBEdit Le rapport du projet JBEdit

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

  15. 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 Développement du plugin – Les ressources Structure du plugin

  16. 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 Développement du plugin – Les ressources Intégration du plugin

  17. 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. Développement du plugin – L’aide à l’édition L’aide à l’édition

  18. 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 Développement du plugin – L’aide à la compilation L’aide à la compilation

  19. 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 Développement du plugin – L’aide à la compilation Les alternatives de compilation

  20. 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 Développement du plugin - Paramétrage Paramétrage du Plugin

  21. 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 Développement du plugin Fonctionnalités proposées

  22. 4.1. Limites 4.2. Évolutions possibles 4. Limites et évolutions possibles

  23. 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 Limites et évolutions possibles - Limites Limites de l’application

  24. 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 Limites et évolutions possibles - Évolutions Evolutions possibles

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

More Related