Classes locales classes définies à l'intérieur d'un bloc de code,

Présentation au sujet: "Classes locales classes définies à l'intérieur d'un bloc de code,"— Transcription de la présentation:

1 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) POO-L3 H. Fauconnier

2 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. POO-L3 H. Fauconnier

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

4 Exemple: MaCollection
class MaCollection implements Iterator<Object>{ 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(); POO-L3 H. Fauconnier

5 Et une 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); POO-L3 H. Fauconnier

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

7 Exemple parcourir public static Iterator<Object> parcourir(final Object[] data){ class Iter implements Iterator<Object>{ 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(); POO-L3 H. Fauconnier

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

9 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. POO-L3 H. Fauconnier

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

11 Classe anonyme public static Iterator<Object> parcourir1( final Object[] data){ return new Iterator<Object>(){ 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(); }; POO-L3 H. Fauconnier

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

13 Principe… ActionListener est une interface qui contient une seule méthode void actionPerformed(ActionEvent e) 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 POO-L3 H. Fauconnier

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

15 Chapitre V Exceptions

16 V) Exceptions Principes généraux Déclarations de throws
try, catch et finally Transfert d'information: chainage, pile Assertions POO-L3 H. Fauconnier

17 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 POO-L3 H. Fauconnier

18 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 POO-L3 H. Fauconnier

19 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 POO-L3 H. Fauconnier

20 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 POO-L3 H. Fauconnier

21 throw Certaines exceptions et errors sont lancées 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 POO-L3 H. Fauconnier

22 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() POO-L3 H. Fauconnier

23 Hiérarchie: java.lang.Throwable (implements java.io.Serializable)
java.lang.Error java.lang.AssertionError java.lang.LinkageError java.lang.ThreadDeath java.lang.VirtualMachineError exemple:java.lang.StackOverflowError java.lang.Exception java.lang.ClassNotFoundException java.lang.CloneNotSupportedException java.lang.IllegalAccessException java.lang.InstantiationException java.lang.InterruptedException java.lang.NoSuchFieldException java.lang.NoSuchMethodException java.lang.RuntimeException exemple: java.lang.IndexOutOfBoundsException POO-L3 H. Fauconnier

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

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

26 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); POO-L3 H. Fauconnier

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

28 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 POO-L3 H. Fauconnier

29 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 pouvant 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 POO-L3 H. Fauconnier

30 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? POO-L3 H. Fauconnier

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

32 Principe: le corps du try est exécuté jusqu'à ce qu'il termine ou qu'une exception soit 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 exécuté (toujours) après l'éventuel "catch" POO-L3 H. Fauconnier

33 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.."); POO-L3 H. Fauconnier

34 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(); } POO-L3 H. Fauconnier

35 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) POO-L3 H. Fauconnier

36 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) public Throwable(String message, Throwable cause) POO-L3 H. Fauconnier

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

38 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); POO-L3 H. Fauconnier

39 Suite try{ X: A at essai.main(Finally.java:61) Caused by: A
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) POO-L3 H. Fauconnier

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

41 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) POO-L3 H. Fauconnier

42 Assertions Syntaxe: Exemple: 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"; POO-L3 H. Fauconnier

43 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. POO-L3 H. Fauconnier

44 Enumeration, tableaux, conversion de types, noms
Chapitre VI Enumeration, tableaux, conversion de types, noms

45 Types énumérés Exemple: enum Couleur {PIQUE, CŒUR, CARREAU, TREFLE,}
définit des constantes énumérées (champs static de la classe) on peut définir des méthodes dans un enum des méthodes public static E[] values() retourne les constantes dans l'ordre de leur énumeration public static E valueOf(String nom) la constante associé au nom un type enum étend implicitement java.lang.Enum (aucune classe ne peut étendre cette classe) POO-L3 H. Fauconnier

46 Tableaux collection ordonnée d'éléments, les tableaux sont des Object
les composants peuvent être de types primitifs, des références à des objets (y compris des références à des tableaux), POO-L3 H. Fauconnier

47 Tableaux int [] tab= new int t[3]; indices commencent à 0
déclaration d'un tableau d'int initialisé à un tableau de 3 int indices commencent à 0 contrôle de dépassement ArrayIndexOutOfBoundException length donne la taille du tableau POO-L3 H. Fauconnier

48 Tableaux un tableau final: la référence ne peut être changée (mais le tableau référencé peut l'être) tableaux de tableaux: exemple: public static int[][] duplique(int[][] mat){ int[][] res= new int[mat.length][]; for(int i=0;i<mat.length;i++){ res[i]=new int[mat[i].length]; for (int j=0;j<mat[i].length;j++) res[i][j]=mat[i][j]; } return res; POO-L3 H. Fauconnier

49 Tableaux exemple: public static void affiche(int [][] tab){
for(int[] d:tab){ System.out.println(); for(int v:d) System.out.print(v+" "); } POO-L3 H. Fauconnier

50 Initialisations static int[][] pascal={ {1}, {1,1}, {1,2,1},
{1,3,3,1}, }; String[] nombre= {"un", "deux", "trois", "quatre"}; POO-L3 H. Fauconnier

51 Exemple for(int i=1;i<p.length;i++){ p[i]=new int[i+1]; p[i][0]=1;
for(int j=1; j<i;j++){ p[i][j]=p[i-1][j-1]+p[i-1][j]; } p[i][i]=1; POO-L3 H. Fauconnier

52 Tableau et héritage Y[] yA=new Y[3]; X[] xA=yA; //ok xA[0]=new Y();
xA[1]=new X(); //non xA[1]=new Z(); //non Object X X[] int[] Y Z Y[] Z[] POO-L3 H. Fauconnier

53 Noms il ya 6 espaces de noms package type champ variables locale
etiquettes POO-L3 H. Fauconnier

54 Noms!? package divers; class divers{ divers divers(divers divers){
for(;;){ if (divers.divers(divers)==divers) break divers; } return divers; POO-L3 H. Fauconnier

55 Trouver la bonne méthode
Il faut pouvoir déterminer une seule méthode à partir d'une invocation avec des paramètres problèmes: héritage et surcharge (en plus des problèmes liés à la généricité) principe trouver la méthode "la plus spécifique" POO-L3 H. Fauconnier

56 Règles déterminer dans quelle classe chercher la méthode (uniquement par le nom) trouver les méthodes dans la classe qui peuvent s'appliquer sans "boxing" sans nombre variable d'arguments avec boxing avec un nombre variable d'arguments si une méthode a des types de paramètres qui peuvent être affectés à une autre des méthodes de l'ensemble -> la supprimer s'il ne reste qu'une méthode c'est elle (sinon ambiguïté sauf s'il s'agit de méthodes abstraites POO-L3 H. Fauconnier

57 Exemple f(Aref, AD2ref);//a f(ADD1ref, Aref);//b
void f(A a,AD2 ad2)//un void f(AD1 ad1,A a)//deux void f(ADD1 add1, AD2 s)//trois void f(A … a)//quatre f(Aref, AD2ref);//a f(ADD1ref, Aref);//b f(AD1ref, ADD2ref);//c f(AD1ref, AD2ref);//d f(AD2ref, AD1ref);//e A AD1 AD2 ADD1 ADD2 POO-L3 H. Fauconnier

58 Exemple (suite) (a) correspond exactement à (un)
(b) correspond à (deux) (c) peut correspondre aux trois premiers mais (un) est moins spécifique que (trois) idem entre (un) et (trois) d'où résultat (trois) (d) (un) et (deux) ne peuvent s'éliminer (e) uniquement (quatre) POO-L3 H. Fauconnier