TP1 - Département Informatique

Université d’Angers
Faculté des Sciences
Module : Démonstration Automatique
Département Informatique
L3 mention Informatique, Année 04/05
Jean-Michel Richer
TP n◦ 1
Eclipse
La plate-forme Eclipse est un outil de développement open source s’appuyant sur le langage
Java. Eclipse doit sa puissance à son interface graphique de haut niveau (SWT) ainsi qu’à son
extensibilité par l’intermédiaire de l’ajout de plugins.
L’environnement de développement Java qui inclut toutes les fonctionnalités requises par les
outils de développements actuels permet de concevoir rapidement et simplement des applications
de grande taille.
Exercice 1 - Téléchargement et Installation
• se rendre sur le site www.eclipse.org et télécharger Eclipse (section downloads).
• installer Eclipse
Exercice 2 - Premier projet
–
–
–
–
–
afficher la perspective Java (Window, Open perscpective)
affiche la vue Package Explorer (Window, Show view)
créer un projet PremierProjet (File, New, Project)
à l’intérieur de ce projet créer un package base
à l’intérieur du package base créer une classe Element qui représente un maillon d’une
liste doublement chaı̂née faisant référence à un Object :
public class Element {
protected Element prec, suiv;
protected Object donnee;
public Element(Object obj) {
prec=suiv=this;
donnee=obj;
}
public Object getObject() {
return donnee;
}
public Element donnePrec() { return
public Element donneSuiv() { return
public void fixePrec( Element e ) {
public void fixeSuiv( Element e ) {
}
– créer un nouveau package container
1
prec; }
suiv; }
prec = e; }
suiv = e; }
– à l’intérieur de ce package créer une classe Liste doublement chaı̂née circulaire qui
possède un constructeur et une méthode void ajout(Object obj) qui ajoute un nouvel objet en fin de liste. Redéfinir également la méthode toString qui permettra d’afficher
la liste.
import base.Element;
public class Liste {
protected int taille;
protected Element premier;
public Liste() {
taille=0;
premier=null;
}
public void ajout(Object obj) {
Element e=new Element(obj);
if (taille==0) {
premier=e;
} else {
e.fixePrec(premier.donnePrec());
premier.donnePrec().fixeSuiv(e);
e.fixeSuiv(premier);
premier.fixePrec(e);
}
++taille;
}
public String toString() { ... }
}
– au niveau de PremierProjet créer une classe Main qui contient la méthode public static void main
qui crée une liste, ajoute un entier, une chaı̂ne et un réel, puis affiche la liste.
– dans la classe Element modifier la méthode fixePrec en la renommant par setPrev,
qu’observez vous? Que faut-il faire pour corriger les erreurs qui apparaissent?
– Sélectionner la méthode fixePrec et utiliser Refactor, Rename pour la renommer en
setPrev
– modifier le nom de la classe Element en Maillon
– déplacer la classe Maillon au niveau du package container
– exporter votre package
– supprimer le package
– réimporter le package
2