POO-L3 H. Fauconnier1 Chapitre IV 1. classe Object, clonage 2. interfaces 3. classes internes et imbriquées.

Présentation au sujet: "POO-L3 H. Fauconnier1 Chapitre IV 1. classe Object, clonage 2. interfaces 3. classes internes et imbriquées."— Transcription de la présentation:

1 POO-L3 H. Fauconnier1 Chapitre IV 1. classe Object, clonage 2. interfaces 3. classes internes et imbriquées

2 POO-L3 H. Fauconnier2 Classes imbriquées (nested classes) Classes membres statiques membres statiques d'une autre classe Classes membres ou classes internes (inner classes) membres d'une classe englobante Classes locales classes définies dans un bloc de code Classes anonymes classes locales sans nom

3 POO-L3 H. Fauconnier3 Classe imbriquée statique membre statique d'une autre classe classe ou interface mot clé static similaire aux champs ou méthodes statiques: n'est pas associée à une instance et accès uniquement aux champs statiques

4 POO-L3 H. Fauconnier4 Exemple class PileChainee{ public static interface Chainable{ public Chainable getSuivant(); public void setSuivant(Chainable noeud); } Chainable tete; public void empiler(Chainable n){ n.setSuivant(tete); tete=n; } public Object depiler(){ Chainable tmp; if (!estVide()){ tmp=tete; tete=tete.getSuivant(); return tmp; } else return null; } public boolean estVide(){ return tete==null; }

5 POO-L3 H. Fauconnier5 exemple (suite) class EntierChainable implements PileChainee.Chainable{ int i; public EntierChainable(int i){this.i=i;} PileChainee.Chainable next; public PileChainee.Chainable getSuivant(){ return next; } public void setSuivant(PileChainee.Chainable n){ next=n; } public int val(){return i;} }

6 POO-L3 H. Fauconnier6 et le mainmain public static void main(String[] args) { PileChainee p; EntierChainable n; p=new PileChainee(); for(int i=0; i<12;i++){ n=new EntierChainable(i); p.empiler(n); } while (!p.estVide()){ System.out.println( ((EntierChainable)p.depiler()).val()); }

7 POO-L3 H. Fauconnier7 Remarques Noter l'usage du nom hiérarchique avec '.' On peut utiliser un import: import PileChainee.Chainable; import PileChainee; (Exercice: réécrire le programme précédent sans utiliser de classes membres statiques)

8 POO-L3 H. Fauconnier8 Classes membres membre non statique d'une classe englobante peut accéder aux champs et méthodes de l'instance une classe interne ne peut pas avoir de membres statiques un objet d'une classe interne est une partie d'un objet de la classe englobante

9 POO-L3 H. Fauconnier9 Exemple class CompteBanquaire{ private long numero; private long balance; private Action der; public class Action{ private String act; private long montant; Action(String act, long montant){ this.act=act; this.montant= montant; } public String toString(){ return numero"+":"+act+" "+montant; }

10 POO-L3 H. Fauconnier10 Suite //… public void depot(long montant){ balance += montant; der=new Action("depot",montant); } public void retrait(long montant){ balance -= montant; der=new Action("retrait",montant); } }

11 POO-L3 H. Fauconnier11 Remarques numero dans toString this: der=this.new Action(…); CompteBancaire.this.number

12 POO-L3 H. Fauconnier12 Classe interne et héritage class Externe{ class Interne{} } class ExterneEtendue extends Externe{ class InterneEtendue extends Interne{} Interne r=new InterneEtendue(); } class Autre extends Externe.Interne{ Autre(Externe r){ r.super(); } (un objet Interne (ou d'une de ses extensions) n'a de sens qu'à l'intérieur d'un objet Externe)

13 POO-L3 H. Fauconnier13 Quelques petits problèmes class X{ int i; class H extends Y{ void incremente(){i++;} } Si i est une donnée membre de Y… c'est ce i qui est incrémenté X.this.i et this.i lèvent cette ambiguïté.

14 POO-L3 H. Fauconnier14 Suite class H{ void print(){} void print(int i){} class I{ void print(){}; void show(){ print(); H.this.print(); // print(1); tous les print sont occultés }

15 POO-L3 H. Fauconnier15 Classes locales classes définies à l'intérieur d'un bloc de code, analogue à des variables locales: une classe interne locale n'est pas membre de la classe et donc pas d'accès, usage: créer des instances qui peuvent être passées en paramètres usage: créer des objets d'une extension d'une classe qui n'a de sens que localement (en particulier dans les interfaces graphiques)

16 POO-L3 H. Fauconnier16 Exemple classes Collections (ou Containers): classes correspondant à des structures de données. exemples: List, Set, Queue, Map. L'interface Iterator permet de parcourir tous les éléments composant une structure de données.

17 POO-L3 H. Fauconnier17 Iterator public interface Iterator { boolean hasNext(); E next() throws NoSuchElementException; void remove()throws UnsupportedOperationException, IllegalStateException; }

18 POO-L3 H. Fauconnier18 Exemple: MaCollectionMaCollection class MaCollection implements Iterator { Object[] data; MaCollection(int i){ data=new Object[i]; } MaCollection(Object... l){ data=new Object[l.length]; for(int i=0;i<l.length;i++) data[i]=l[i]; } private int pos=0; public boolean hasNext(){ return (pos <data.length); } public Object next() throws NoSuchElementException{ if (pos >= data.length) throw new NoSuchElementException(); return data[pos++]; } public void remove(){ throw new UnsupportedOperationException(); }

19 POO-L3 H. Fauconnier19 Et une iteration:iteration public class Main { public static void afficher(Iterator it){ while(it.hasNext()){ System.out.println(it.next()); } public static void main(String[] args) { MaCollection m=new MaCollection(1,2,3,5,6,7); afficher(m); }

20 POO-L3 H. Fauconnier20 Classe locale Au lieu de créer d'implémenter Iterator on pourrait aussi créer une méthode qui retourne un iterateur.

21 POO-L3 H. Fauconnier21 Exemple parcourirparcourir public static Iterator parcourir(final Object[] data){ class Iter implements Iterator { private int pos=0; public boolean hasNext(){ return (pos <data.length); } public Object next() throws NoSuchElementException{ if (pos >= data.length) throw new NoSuchElementException(); return data[pos++]; } public void remove(){ throw new UnsupportedOperationException(); } return new Iter(); }

22 POO-L3 H. Fauconnier22 et l'appel Integer[] tab=new Integer[12]; //… afficher(parcourir(tab));

23 POO-L3 H. Fauconnier23 Remarques parcourir() retourne un itérateur pour le tableau passé en paramètre. l'itérateur implémente Iterator mais dans une classe locale à la méthode parcourir la méthode parcourir retourne un objet de cette classe. data[] est déclaré final: même si tous les objets locaux sont dans la portée de la classe locale, la classe locale ne peut accéder aux variables locales que si elles sont déclarées final.

24 POO-L3 H. Fauconnier24 Anonymat… mais était-il utile de donner un nom à cette classe qui ne sert qu'à créer un objet Iter?

25 POO-L3 H. Fauconnier25 Classe anonymeanonyme public static Iterator parcourir1( final Object[] data){ return new Iterator (){ private int pos=0; public boolean hasNext(){ return (pos <data.length); } public Object next() throws NoSuchElementException{ if (pos >= data.length) throw new NoSuchElementException(); return data[pos++]; } public void remove(){ throw new UnsupportedOperationException(); } }; }

26 POO-L3 H. Fauconnier26 Exemple interface graphique: jButton1.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent evt){ jButton1ActionPerformed(evt); } });

27 POO-L3 H. Fauconnier27 Principe… ActionListener est une interface qui contient une seule méthode void actionPerformed(ActionEvent e)ActionEvent cette méthode définit le comportement voulu si on presse le bouton Il faut que le Button jButton1 associe l'événement correspondant au fait que le bouton est pressé l'ActionListener voulu: addActionListener

28 POO-L3 H. Fauconnier28 Dans l'exemple 1. jButton1ActionPerformed est la méthode qui doit être acivée 2. Création d'un objet de type ActionListener: 1. (Re)définition de ActionPerformed dans l'interface ActionListener: appel de jButton1ActionPerformed 2. classe anonyme pour ActionListener 3. operateur new 3. ajout de cet ActionListener comme écouteur des événements de ce bouton jButton1.addActionListener

29 Chapitre V Exceptions

30 POO-L3 H. Fauconnier30 V) Exceptions 1. Principes généraux 2. Déclarations de throws 3. try, catch et finally 4. Transfert d'information: chainage, pile 5. Assertions

31 POO-L3 H. Fauconnier31 Exceptions et assertions principe: traitement des "erreurs" quand une exception est lancée: rupture de l'exécution séquentielle "dépiler" les méthodes et les blocs jusqu'à un traite exception adapté erreur: rupture du contrat: précondition violée

32 POO-L3 H. Fauconnier32 Exceptions checked ou unchecked checked: cas exceptionnel, mais dont l'occurrence est prévue et peut être traitée (exemple: valeur en dehors des conditions de la précondition, indice hors d'un tableau…) Une méthode qui peut lancer une checked exception doit le déclarer unchecked: il n'y a rien à faire, (exemple une erreur interne de la JVM) Une méthode qui peut lancer une unchecked exception ne doit pas le déclarer

33 POO-L3 H. Fauconnier33 Exceptions Une exception est un objet d'une classe dérivée de Thowable (en fait en général de Exception) Le mécanisme est le même que pour tout objets: on peut définir des sous-classes des constructeurs redéfinir des méthodes ajouter des méthodes

34 POO-L3 H. Fauconnier34 Exceptions et traite-exceptions Un traite exception déclare dans son entête un paramètre Le type du paramètre détermine si le traite-exception correspond à l'exception même mécanisme que pour les méthodes et l'héritage

35 POO-L3 H. Fauconnier35 Throw Certaines exceptions et errors sont lancé par la JVM L'utilisateur peut définir ses propres exceptions et les lancer lui-même: throw expression; l'expression doit s'évaluer comme une valeur ou une variable qui peut être affectée à Throwable

36 POO-L3 H. Fauconnier36 Environnement Par définition une exception va transférer le contrôle vers un autre contexte le contexte dans lequel l'exception est traitée est différent du contexte dans lequel elle est lancée l'exception elle-même peut permettre de passer de l'information par son instanciation l'état de la pile au moment de l'exception est aussi transmis public StackTraceElement[] getStackTrace() et public void printStackTrace()StackTraceElement

37 POO-L3 H. Fauconnier37 Hiérarchie: java.lang.Throwable (implements java.io.Serializable)ThrowableSerializable java.lang.ErrorError java.lang.AssertionErrorAssertionError java.lang.LinkageErrorLinkageError java.lang.ThreadDeathThreadDeath java.lang.VirtualMachineErrorVirtualMachineError exemple:java.lang.StackOverflowErrorStackOverflowError java.lang.ExceptionException java.lang.ClassNotFoundExceptionClassNotFoundException java.lang.CloneNotSupportedExceptionCloneNotSupportedException java.lang.IllegalAccessExceptionIllegalAccessException java.lang.InstantiationExceptionInstantiationException java.lang.InterruptedExceptionInterruptedException java.lang.NoSuchFieldExceptionNoSuchFieldException java.lang.NoSuchMethodExceptionNoSuchMethodException java.lang.RuntimeExceptionRuntimeException exemple: java.lang.IndexOutOfBoundsExceptionIndexOutOfBoundsException

38 POO-L3 H. Fauconnier38 Hiérarchie Throwable: la super classe des erreurs et des exceptions Error : unchecked Exception :checked

39 POO-L3 H. Fauconnier39 Exemple public class MonException extends Exception{ public final String nom; public MonException(String st) { super("le nombre "+st+" ne figure pas"); nom=st; }

40 POO-L3 H. Fauconnier40 Exemple (suite) class Essai{ static String[] tab={"zéro","un","deux","trois","quatre"}; static int chercher(String st ) throws MonException{ for(int i=0;i<tab.length;i++) if (tab[i].equals(st))return i; throw new MonException(st); } public static void main(String st[]){ try{ chercher("zwei"); }catch(Exception e){ System.out.println(e); } }

41 POO-L3 H. Fauconnier41 Résultat Donnera: exceptions.MonException: le nombre zwei ne figure pas e.printStackTrace(); dans le try bloc donnera: exceptions.MonException: le nombre zwei ne figure pas at exceptions.Essai.chercher(MonException.java:29) at exceptions.Essai.main(MonException.java:34)

42 POO-L3 H. Fauconnier42 Throws principe: toute méthode qui peut générer directement ou indirectement une (checked) exception doit le déclarer par une clause "throws" dans l'entête de la méthode. (les initialiseurs statiques ne peuvent donc pas générer d'exceptions) La vérification a lieu à la compilation

43 POO-L3 H. Fauconnier43 Clause throws Une méthode qui appelle une méthode qui peut lancer une exception peut attraper (catch) cette exception dans un try bloc englobant la méthode qui peut lancer cette exception attraper cette exception et la transformer en une exception déclarée dans la clause throws de la méthode déclarer cette exception dans la clause throws de sa déclaration

44 POO-L3 H. Fauconnier44 Clause throws et héritage Si une classe dérivée redéfinit (ou implémente) une méthode la clause throws de la méthode redéfinie doit être compatible avec celle d'origine compatible = les exceptions de la clause throws sont dérivées de celles de la méthode d'origine pourquoi?

45 POO-L3 H. Fauconnier45 try, catch, finally On attrape les exceptions dans des try-bloc: try{ instructions }catch(exception-type1 id1){ instructions } catch(exception-type2 id2){... }finally{ instructions }

46 POO-L3 H. Fauconnier46 Principe: le corps du try est exécuté jusqu'à ce qu'il termine ou qu'une exception est lancée Si une exception est lancée les clauses "catch" sont examinées dans l'ordre la première dont le type peut correspondre à l'exception est choisie et son code exécuté si aucun catch ne peut correspondre l'exception est propagée si une clause finally figure son code est ensuite exécuté (toujours)

47 POO-L3 H. Fauconnier47 Exemple class A extends Exception{ } class B extends A{ } class essai{ public static void main(String[] st){ try{ throw new B(); }catch (A a){ System.out.println(a); // }catch (B b){ // System.out.println(b); }finally{ System.out.println("finally.."); }

48 POO-L3 H. Fauconnier48 finally public boolean rechercher(String fichier, String mot) throws StreamException{ Stream input=null; try{ input=new Stream(fichier); while(!input.eof()) if(input.next().equals(mot)) return true; return false; }finally{ if (input != null) input.close(); }

49 POO-L3 H. Fauconnier49 Chaînage d'exceptions Une exception peut être causée par une autre. il peut être utile dans ce cas de transmettre la cause de l'exception méthode: public Throwable initCause(Throwable cause)Throwable

50 POO-L3 H. Fauconnier50 Transmission d'information en définissant une extension de la classe et en définissant des constructeurs par défaut on a les constructeurs public Throwable() public Throwable(String message)String public Throwable(String message, Throwable cause)String Throwable

51 POO-L3 H. Fauconnier51 Transmission d'information On peut récupérer ces informations: public String getMessage()String public Throwable getCause()Throwable On peut obtenir l'état de la pile: public void printStackTrace() public StackTraceElement[] getStackTrace()StackTraceElement

52 POO-L3 H. Fauconnier52 Exemple class X extends Exception{ public X(){} public X(String details){ super(details); } public X(Throwable e){ super(e); } public X(String details, Throwable e){ super(details,e); }

53 POO-L3 H. Fauconnier53 Suite try{ throw new A(); }catch (A a){ try { throw new X(a); } catch (X ex) { ex.printStackTrace(); } ----- X: A at essai.main(Finally.java:61) Caused by: A at essai.main(Finally.java:58)

54 POO-L3 H. Fauconnier54 Remarque à la place de: throw new X(a); on pourrait mettre throw (X) new X().initCause(a); (pourquoi le cast (X) est nécessaire?)

55 POO-L3 H. Fauconnier55 Assertions Une autre façon de garantir le contrat est de définir des assertions qui vérifient les invariants (ou les préconditions) Si l'assertion n'est pas vérifiée une AssertionError est lancée (une option de compilation permet de vérifier ou non les assertions)

56 POO-L3 H. Fauconnier56 Assertions Syntaxe: assert expr [: detail]; expr est une expression boolean detail est optionnel et sera passé au constructeur de AssertionError (une string ou un Throwable ) Exemple: assert i!=0 : "i ="+i+" i devrait être non nul";

57 POO-L3 H. Fauconnier57 Assertions par défaut les assertions ne sont pas évaluées pour les évaluer: -enableassertions:nom_du_package -disableassertions:nom_du_package avec en argument le ou les paquetages concernés.