La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

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

Présentations similaires


Présentation au sujet: "1 Matthias Meusburger Antoine Acquaviva Plugin B pour JEdit Projet encadré par M.Tatibouët."— Transcription de la présentation:

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

2 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. Laide de JEdit 2.2. Le rapport du projet JBEdit 3. Développement du plugin 3.1. Structure du plugin 3.2. Laide à lédition 3.3. Laide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles 4.1. Limites 4.2. Évolutions possibles

3 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 4 1. Présentation du sujet 1.1. JEdit et les plugins 1.2. Le langage B 1.3. Problématique et objectifs

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

6 6 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 dun logiciel Standardisés Pérennes Présentation du sujet – JEdit et les plugins

7 7 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 lindustrie Le langage B est utilisé par la méthode B Présentation du sujet – Le langage B

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

9 9 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 Intégrer loutil de compilation B du LIFC sous forme de plugin pour JEdit Proposer des fonctions daide à lédition et à la compilation Réaliser une interface souple et conviviale Présentation du sujet – Problématique et objectifs

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

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

12 12 Laide de JEdit 1. Présentation du sujet 2. Etude préalable 2.1. Laide 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 laide Etude préalable – Laide de JEdit

13 13 Le rapport du projet JBEdit 1. Présentation du sujet 2. Etude préalable 2.1. Laide 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

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

15 15 Structure du plugin 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. Laide à lédition 3.3. Laide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles Le plugin est sous forme darchive 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

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

17 17 Laide à lédition 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Les ressources 3.2. Laide à lédition 3.3. Laide à 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 lutilisateur à choisir le symbole adéquat et lui proposer son équivalent ASCII. Développement du plugin – Laide à lédition

18 18 Laide à la compilation 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. Laide à lédition 3.3. Laide à la compilation 3.4. Paramétrage du plugin 4. Limites et évolutions possibles Une barre doutil permet de déclencher la compilation dun 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 – Laide à la compilation

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

20 20 Paramétrage du Plugin 1. Présentation du sujet 2. Etude préalable 3. Développement du plugin 3.1. Structure 3.2. Laide à lédition 3.3. Laide à 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 dune session à lautre Choix des répertoires sources et sorties Choix dun éventuel TypeChecker externe Développement du plugin - Paramétrage

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

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

23 23 Limites de lapplication 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 lerreur peu précise Nécessité de réintégrer le TypeChecker au plugin Limites et évolutions possibles - Limites

24 24 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é dintégrer dautres outils B Limites et évolutions possibles - Évolutions

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


Télécharger ppt "1 Matthias Meusburger Antoine Acquaviva Plugin B pour JEdit Projet encadré par M.Tatibouët."

Présentations similaires


Annonces Google