Bibliographie. Java Modeling Language. Java. Java. Java. Documents références sur JML : Compilation : Langage de programmation orientée Objet

Save this PDF as:
 WORD  PNG  TXT  JPG

Dimension: px
Commencer à balayer dès la page:

Download "Bibliographie. Java Modeling Language. Java. Java. Java. Documents références sur JML : Compilation : Langage de programmation orientée Objet"

Transcription

1 Bibliographie Documents références sur JML : Java Modeling Language Benoit Darties ESIREM ITR4 Java Java Langage de programmation orientée Objet Développé par Sun Projet OAK (1991), Java (1995) Java 1.5 (2004) Langage interprété JMV : Java Virtual Machine Multi-plateforme : Windows, Linux, MacOsX, etc... Niveau d'abstraction Code / Architecture machine Compilation : javac Program.java Produit un fichier Program.class : bytecode Execution : java Fichier Interprétation du Bytecode par la JVM Java concepts de la programmation Objet : encapsulation de données: public, private, protected notions d'objets : Introduction à JML classe : «moule» à objet instance de classes : objets créés avec ce moule héritage : Class A extends B { polymorphisme

2 Qu'est ce que JML? Outils JML JML : Java Modeling Language Langage de modélisation formelle Associé au langage de programmation Java Inspiré par Eiffel : conception par contrat Auteur de départ : Gary T. Leavens, 1999 Exprime des propriétés sur les classes Java Supporté par différents outils : JML Runtime Assertion Checker JMLUnit, ESC/java2 Site de référence : Le compilateur jmlc Compile un fichier java en prenant en compte les annotations JML qu'il contient pour les transformer en vérifications à l'exécution (runtimes checks) Compilateur java amélioré produit un fichier Bytecode qui pourrait etre directement interprété par java s'il n'y avait pas de références vers les packages JML Le compilateur jmlrac Runtime Assertion Checker Ajoute les packages necessaires et appelle java Invariants, Préconditions, Postconditions Invariant : propriété toujours vraie quel que soit l'état du système Précondition : propriété vraie avant l'invocation d'une méthode Postcondition : propriété vraie après la terminaison d'une méthode Conception par contrat Logique d'hoare : pré/-postconditions des programmes Design by Contract : introduit dans langage Eiffel Contrat entre le système qui invoque une méthode, et la méthode qui est invoquée : L'environnement appelant s'engage à remplir les préconditions d'une méthode lors de l'invocation de celle-ci La méthode s'engage à établir les postconditions lorsqu'elle est invoquée La méthode et l'environnement s'engagent également à maintenir l'invariant de classe Un premier exemple Calcul d'une racine carrée : fonction sqrt( ) Un premier exemple Calcul d'une racine carrée : fonction sqrt( ) /** double x réel positif double racine carrée de x */ Public static double sqrt(double x) { /** double x réel positif double racine carrée de x */ Public static double sqrt(double x) { Définition des instructions JML : entre les balises et

3 Un premier exemple Calcul d'une racine carrée : fonction sqrt( ) Un premier exemple Calcul d'une racine carrée : fonction sqrt( ) /** double x réel positif double racine carrée de x requires x >= 0.0; Définition d'une précondition : mot clé 'requires' Public static double sqrt(double x) { /** double x réel positif double racine carrée de x */ Définition d'une postcondition requires x >= ensures x == \result *\result; mot clé 'ensures' Public static double sqrt(double x) { Un premier exemple requires x >= 0.0; Précondition assurant que le paramètre x est bien un réél positif ensures x == \result * \result; Postcondition assurant que le résultat \result est bien la racine carrée de x (à epsilon près) \result : identifie le résultat d'une méthode Annotations JML Une spécification JML s'exprime par un programme Java annoté : annotations JML écrites dans le code Java Placées dans des blocs de commentaires Java spécifiques : Une seule ligne commence par Un bloc est délimité par Cohérence avec syntaxe Java : un programme annoté continue de fonctionner normalement (compilation + exécution) Clauses de spécification Spécifications de types Modélisation composée de clauses (prédicats) Décrivent la classe ou les méthodes Spécification de types : parties statiques du modèle initially predicatuml invariant predicatuml constraint predicatuml : parties dynamiques requires predicatuml diverges predicatuml assignable predicatuml ensures predicatuml signals predicatuml Propriétés portant sur les attributs de la classe Contrainte initiales : clause initially Doit être établie à la création de l'objet Invariant de classe : clause invariant propriété portant sur les attributs de classe qui doivent être vrais dans tous les états «visibles» du système (= état après exécution d'une méthode) Contrainte historique : clause constraint propriété entre un état visible et l'état visible précédent qui doit etre vraie dans tous les états du système

4 Spécifications de méthodes Propriétés relatives aux comportements autorisés des méthodes préconditions : clause requires condition a remplir par le système et les paramètres pour que la méthode puisse etre appelée Divergence : clause diverges condition sous laquelle la méthode ne peut pas se terminer, i.e. boucles infinies, etc.. Champs modifiés : clause assignable liste des attributs modifiés à l'exécution de méthode Postcondition normale : clause ensures condition que la méthode s'engage à établir lorsqu'elle termine normalement Expression des prédicats JML Les prédicats JML sont exprimés à l'aide : des attributs (variables) et paramètres des méthodes de la classe java annotée d'appel à des méthodes pures des opérateurs du langage Java opérateurs arithmétiques opérateurs booléens des opérateurs spécifiques à JML «nouveaux» opérateurs arithmétiques «nouveaux» opérateurs booléens opérateurs avant / après opérateurs de typage Objet Méthodes pures Opérateurs arithmétiques Méthode pure : méthode qui ne modifie aucun attribut peut être utilisée dans les prédicats JML Les méthodes de consultation des classes de l'api Java sont considérées comme pures déclarer une méthode comme étant pure : class C { int val; public pure */ int getval() { return val; Opérateurs binaires Symbole Fonction Champ d'application + addition entiers ou réels - soustraction entiers ou réels * multiplication entiers ou réels / division réelle réels / division entière entiers % reste de la division entière entiers Opérations généralisées de JML \sum, \product, \min, \max, \num.of Opérateurs booléens opérateurs logiques opérateurs relationnels Symbole Fonction Symbole Fonction & ET logique > supérieur OU logique >= supérieur ou égal ^ OU exclusif < inférieur! négation logique <= inférieur ou égal ==> implication == égal <==> équivalence!= différent quantification universelle Symbole ( \forall Type v; predicat1(v); predicat2(v)) Fonction v, (v Type predicat1(v) predicat2(v) ) quantification existentielle Symbole ( \exists Type v; predicat1(v); predicat2(v) ) Fonction v, (v Type predicat1(v) predicat2(v) ) Opérateurs avant / après Certaines clauses font référence à l'état avant et l'état après l'exécution d'une méthode \result fait référence au résultat de la méthode \old(x) permet de faire référence à la valeur de x à l'état d'avant exécution de la méthode x fait référence à la valeur de x après exécution de la méthode \not.modified(x) est un booléen indiquant si x n'a pas été modifié lors de l'exécution de la méthode

5 Opérateurs de typage Objet Opérateurs de typage Objet \type(maclasse) retourne le type décrit par la spécification de la classe MaClasse \typeof(monobj) retourne le type de l'objet monobj Visibilité des spécifications < : permet de savoir si un type est un sous-type d'un autre (héritage) \typeof(monobj) < : \type(maclasse) est vrai si le type de l'objet monobj est un sous-type de la classe MaClasse. Dit autrement : monobj est une instance d'une sous-classe de Maclasse. Portée des spécifications Portée des spécifications Les prédicats d'une méthode font partie de son interface, donc de sa documentation méthodes privées : ont droit aux prédicats comme les méthodes publiques par contre, on n'a pas envie de publier les prédicats à l'extérieur à de la classe (dans Javadoc par ex) Spécifications : visibilité comme en Java public, private, protected, ou limitée au package par défaut : visibilité de la spécification = visibilité de la méthode / du type associé au prédicat Attention : une spécification de doit pas autoriser plus d'accès que le source Java Ex : impossible de mentionner un attribut Java privé dans une spécification publique Mais : elle décrit comment l'état de l'objet évolue l'état de l'objet est représenté par ses attributs pour respecter le principe d'encapsulation, les attributs d'un objet sont le plus souvent privés les spécifications des attributs seraient le plus souvent privées peu d'utilité Portée des spécifications Portée des spécifications La spécification suivante est incorrecte : utilisation d'un attribut privé dans une spec publique public class Disk { /** size of the disk */ private int size; requires t > 0 ensures this.size == t; public Disk(int t) { La postcondition d'une méthode publique n'a pas de visibilité sur l'attribut privé Une solution : spec_public Autorise un attribut dans toute spécification Donne une visibilité publique pour les spécifications revient à dévoiler l'implémentation fort couplage avec la mise en oeuvre public class Disk { /** size of the disk */ private spec_public int size; requires t > 0 ensures this.size == t; public Disk(int t) {

6 Portée des spécifications Portée des spécifications Autre solution : attribut modèle Déclarer un attribut abstrait JML qui représente l'attribut Java dans les spécifications ne doit apparaître QUE dans les spécifications Autre solution : attribut modèle public class Disk { /** size of the disk */ public model int size; private int itssize; private represents this.size <- this.itssize; ne doit jamais apparaître dans le code requires t > 0 ensures this.size == t; plus orienté type abstrait de données, plus élégant met en valeur le fait que la spécification représente une abstraction du comportement de l'objet public Disk(int t) { Portée des spécifications L'attribut modèle size est déclaré : public pour pouvoir l'utiliser dans une spécification de n'importe quel niveau de visibilité avec le modificateur model, qui le distingue d'un attribut Java classique. Pour corréler les valeurs de size et itssize : clause represents : size a la valeur de itssize clause privée, car elle mentionne un attribut privé Portée des spécifications Autre exemple : private int hour; private int minuts; private int seconds; public model long time; private represents time <- seconds + minuts*60 + hours*60*60; ensures time == \old( time +1) % 24*60*60; public void tick { seconds++; if (seconds == 60) {seconds =0; minuts++; if (minuts == 60) {minuts = 0; hours++; if (hours == 24) {hours = 0; Quatre cas exclusifs pour la terminaison d'une méthode, propre à JML : terminaison normale terminaison exceptionnelle (levée d'exception) la JML génère une erreur la méthode diverge (ne lève pas d'exception, mais elle ne retourne rien)

7 Précondition: la précondition doit être vraie lors de l'appel a la méthode mot clé requires requires x >= 0.0; Public static double sqrt(double x) {... valeur par défaut : \not_speficied, interprétée à true lors de l'exécution et par la majorité des outils Précondition: deux clauses requires P1; et requires P2; sont équivalentes à requires P1 && P2; l'opérateur && n'est pas commutatif : l'ordre des préconditions a son importance! requires o!= null; requires o.getval() > 10; différent de requires o.getval() > 10; requires o!= null; Précondition : l'outil jmlc sait générer automatiquement le code correspondant à la supervision des préconditions depuis JML 5.3 : pour tout paramètre formel x, x!= null est une précondition par défaut pour invalider ce mode par défaut : mot clé nullable public void nom( nullable String x) {... Postcondition : Si la précondition est vraie lors de l'appel à la méthode, et que celle-ci se termine normalement, alors la postcondition normale doit etre vraie mot clé ensures requires x >= 0.0; ensures x == \result *\result; public static double sqrt(double x) {... valeur par défaut : \not_specified, interprétée à true lors de l'exécution et par la majorité des outils Postcondition: deux clauses ensures P1; et ensures P2; sont équivalentes à ensures P1 && P2; l'opérateur && n'est pas commutatif : l'ordre des postconditions a son importance! Résultat d'une fonction : \result Accès aux valeurs avant appel : \old Attention : \old copie les référence \old(o) souvent différent de \old(o.a) Attributs modifiables Appelés «frame action» Permet de dire dans une spéc. «ces attributs peuvent changer... et rien d'autre ne change» terme venant du domaine IA héritage des prouveurs

8 Attributs modifiables exemple : classe Point avec coordonnées x et y l'accesseur en écriture sur x ne doit pas modifier y ensures this.x == x; public void setx(int x) { this.x = x; Attributs modifiables exemple : classe Point avec coordonnées x et y l'accesseur en écriture sur x ne doit pas modifier y ensures this.x == x; ensures \old(y) == y; public void setx(int x) { this.x = x; y = 1234; ajout d'une post-condition pour détecter l'erreur Attributs modifiables exemple : classe Point avec coordonnées x et y l'accesseur en écriture sur x ne doit pas modifier y assignable x ensures this.x == x; public void setx(int x) { this.x = x; En JML, on écrira que seul x peut changer Mot clé assignable exclut les paramètres formels et les variables locales si x est un attribut modèle, impossible d'utiliser x.toto dans une clause assignable; valeur par défaut : \not_specified, qui vaut dans la plupart des outils \everything autre valeur possible : \nothing; Raccourci pour assignable \nothing; : déclarer la méthode pure La validation des clauses assignable n'est pas faite à l'exécution (difficile) Postconditions exceptionnelles pour indiquer quelles exceptions une méthode peut lever : mot clé signals_only suivi d'une liste de noms d'exceptions valeur par défaut : liste des java.lang.exception déclarées dans la clause throws de la méthode java.lang.error pas pris en compte Pour indiquer dans quelles conditions une exception peut etre levée : mot clé signals suivi du nom d'exception, suivi d'une condition qui doit etre vraie si l'exception est levée par défaut : \not_specified, interprété par true dans la plupart des outils Exemple : public void mafonction(disk d) throws FullTowerExc eption, IllegalPushException, NullPointerException;

9 Exemple : signals_only IllegalPushException, FullTowerException,NullPointerException; public void mafonction(disk d) throws FullTowerExc eption, IllegalPushException, NullPointerException; Exemple : signals_only IllegalPushException, signals (NullPointerException e) signals (IllegalPushException e) d.size> signals (FullTowerException e) this.isfull(); public void mafonction(disk d) throws FullTowerExc eption, IllegalPushException, NullPointerException; Exemple : signals_only IllegalPushException, signals (NullPointerException e) signals (IllegalPushException e) d.size> signals (FullTowerException e) this.isfull(); public void mafonction(disk d) throws FullTowerExc eption, IllegalPushException, NullPointerException; Attention : JML ne lève pas l'exception à la place du programmeur, il se contente de vérifier que l'exception a été levée à bon escient : verifie que si FullTowerException a été levé, isfull() est vrai Ordre des éléments de spécification préconditions : requires clauses assignable postconditions normales : ensures postconditions exceptionnelles : signals_only et signals Quantificateurs Ajout de quantificateurs par rapport à Eiffel Quantificateurs quantificateur universel \forall quantificateur existentiel \exists somme sur une collection de numériques : \sum produit sur une collection de numériques : \product Même syntaxe que le for de Java

10 Quantificateurs Quantificateurs Quantificateurs généralisés Exemple sur listes : type List \sum, \product, \min, \max utilisés avec types numériques, tels int ou float Typer une liste en JML List l =... ; (\sum int i; 0 <= i && i < 5; i) == (\product int i; 0 < i && i < 5; i) == 1*2*3*4 (\max int i; 0 <= i && i < 5; i) == 4 (\min int i; 0 <= i && i < 5; i-1) == -1 invariant (\forall Object o; l.contains(o); o instanceof String); Poser une contrainte d'initialisation List l =... ; invariant (\exists Object o; l.contains(o); o!= null); Quantificateurs Exemple sur listes : type List Spécifier un résultat List l =... ; \result = \sum (Integer i; l.contains(i); i.intvalue()); Spécification par cas Contraintes sur les éléments d'un tableau String[] array =... ; (\forall int i; 0 <= i && i < array.length; array[i]!= null); Spécification par cas Spécification par cas Permet de développer des spécifications en mini-contrats Mot clé : also Permet d'écrire des spécifications de la forme: Dans le cas précond1, alors postcond1; et aussi : dans le cas précond2, alors postcond2; etc... Exemple : calcul d'une valeur absolue ensures x >=0 ==> \result == x; ensures x <0 ==> \result == -x; public pure int valabs(int x) {... requires x >= ensures \result == requires x < ensures \result == -x; public pure int valabs(int x) {...

11 Spécification par cas Exemple : calcul d'une valeur absolue requires x >= 0 x < ensures \old(x>=0) ==> \result == ensures \old(x<0) ==> \result == -x; public pure int valabs(int x) {... Application Mise en place d'un gestionnaire de cours : Un cours a un nombre max de places disponibles Un étudiant (nom prénom) peut s'inscrire à un cours Seul un étudiant encore jamais inscrit peut s'inscrire Un étudiant inscrit peut passer l'examen S'il réussi l'examen, il obtient le diplome. Sinon il est collé Un étudiant collé peut repasser une fois l'examen avant d'etre définitivement refusé. etc... Une classe Etudiant deux attributs : nom et prénom 1 constructeur : Etudiant (nom, prénom) 1 méthode : tostring() Une 5 attributs : max, inscrits, collé, refusé, diplômé 1 constructeur : Cours(maxi) 4 méthodes : nouvel_etudiant(etudiant), test_reussi(etudiant), test_rate_colle(etudiant), test_rate_refuse(etudiant) public class Etudiant { private String nom ; private String prenom ; classe Etudiant Etudiant(String nom, String prenom) { this.nom = nom ; this.prenom = prenom ; public String tostring() { return prenom + " " + nom ; public class Etudiant { private spec public non null */ String nom ; private spec public non null */ String prenom ; classe Etudiant Etudiant(String nom, String prenom) { this.nom = nom ; this.prenom = prenom ; public String tostring() { return prenom + " " + nom ;

12 classe Etudiant public class Etudiant { private spec public non null */ String nom ; private spec public non null */ String prenom ; invariant!nom.equals("") &!prenom.equals("") ; public class Cours { private int max ; private HashSet inscrits ; private HashSet colles ; private HashSet refuses ; private HashSet diplomes ; Etudiant(String nom, String prenom) { this.nom = nom ; this.prenom = prenom ; public String tostring() { return prenom + " " + nom ; Cours(int maxi) { max = maxi ; inscrits = new HashSet(max) ; colles = new HashSet(max) ; refuses = new HashSet(max) ; diplomes = new HashSet(max) ; public void nouvel_etudiant(etudiant etudiant) { inscrits.add(etudiant) ; public void_test_reussi(etudiant etudiant) { inscrits.remove(etudiant) ; diplomes.add(etudiant) ; public void test_rate_colle(etudiant etudiant) { colles.add(etudiant) ; public class Cours { private spec public int max ; private spec public HashSet inscrits ; private spec public HashSet colles ; private spec public HashSet refuses ; private spec public HashSet diplomes ; public class Cours { private spec public int max ; private spec public HashSet inscrits ; private spec public HashSet colles ; private spec public HashSet refuses ; private spec public HashSet diplomes initially inscrits.isempty() initially colles.isempty() initially refuses.isempty() initially diplomes.isempty() invariant max > 0 invariant inscrits.size() <= max invariant (\forall Etudiant e ; colles.contains(e) ; inscrits.contains(e)) ;

13 @ initially inscrits.isempty() initially colles.isempty() initially refuses.isempty() initially diplomes.isempty() ; Cours(int maxi) { max = maxi ; inscrits = new HashSet(max) ; colles = new HashSet(max) ; refuses = new HashSet(max) ; diplomes = new HashSet(max) initially inscrits.isempty() initially colles.isempty() initially refuses.isempty() initially diplomes.isempty() ; requires maxi >0; Cours(int maxi) { max = maxi ; inscrits = new HashSet(max) ; colles = new HashSet(max) ; refuses = new HashSet(max) ; diplomes = new HashSet(max) requires!inscrits.contains(etudiant) requires!diplomes.contains(etudiant) requires!refuses.contains(etudiant) requires inscrits.size() < max ensures inscrits.contains(etudiant) ; public void nouvel_etudiant(etudiant etudiant){ inscrits.add(etudiant) ; public void nouvel_etudiant(etudiant etudiant){ inscrits.add(etudiant) requires inscrits.contains(etudiant) ensures!inscrits.contains(etudiant) ensures diplomes.contains(etudiant) ; public void test_reussi(etudiant etudiant) { inscrits.remove(etudiant) ; diplomes.add(etudiant) ; public void test_reussi(etudiant etudiant) { inscrits.remove(etudiant) ; diplomes.add(etudiant) ;

14 @ requires inscrits.contains(etudiant) requires!colles.contains(etudiant) ensures colles.contains(etudiant) ; public void test_rate_colle(etudiant etudiant) { colles.add(etudiant) ; public void test_rate_colle(etudiant etudiant) { colles.add(etudiant) requires inscrits.contains(etudiant) requires colles.contains(etudiant) ensures!inscrits.contains(etudiant) ensures!colles.contains(etudiant) ensures refuses.contains(etudiant) ; public void test rate refuse(etudiant etudiant){ inscrits.remove(etudiant) ; colles.remove(etudiant) ; refuses.add(etudiant) ; public void test rate refuse(etudiant etudiant){ inscrits.remove(etudiant) ; colles.remove(etudiant) ; refuses.add(etudiant) ;

Java Modeling Language

Java Modeling Language Java Modeling Language Benoit Darties ESIREM ITR4 benoit.darties@u bourgogne.fr Bibliographie Documents références sur JML : http://www.eecs.ucf.edu/~leavens/jml/ http://kalysto.org/~nono/teaching/jml/

Plus en détail

Java. Java Modeling Language (JML) Qu est-ce que JML? Java (suite) Conception par Contrat. Invariants, Pré-/Postconditions

Java. Java Modeling Language (JML) Qu est-ce que JML? Java (suite) Conception par Contrat. Invariants, Pré-/Postconditions Java Java Modeling Language (JML) Arnaud LANOIX Université Nancy 2 Master1 GL Langage de Programmation Orientée Objet développé par Sun Projet OAK (1991), Java (1995),...Java 1.5 (2004) http://java.sun.com/

Plus en détail

Les exceptions. Cours 12. vous les avez pratiquées sans le savoir... ArrayIndexOfBoundsException NullPointerException ClassNotFoundException...

Les exceptions. Cours 12. vous les avez pratiquées sans le savoir... ArrayIndexOfBoundsException NullPointerException ClassNotFoundException... Cours 12 Les exceptions vous les avez pratiquées sans le savoir... ArrayIndexOfBoundsException NullPointerException ClassNotFoundException... F.Gayral 1 Les exceptions, vous connaissez... public class

Plus en détail

nulles dans un langage à objets

nulles dans un langage à objets Prévention de déréférencement de références nulles dans un langage à objets Jean-Sébastien Gélinas, Étienne M. Gagnon, Jean Privat Université du Québec à Montréal Langages et Modèles à Objets Nancy 27

Plus en détail

Examen 1 ère session 2012-2013 page 1 NFA 031 - Programmation JAVA Formation CNAM

Examen 1 ère session 2012-2013 page 1 NFA 031 - Programmation JAVA Formation CNAM Examen 1 ère session 2012-2013 page 1 NFA 031 - Programmation JAVA IPST-CNAM Programmation JAVA NFA 001 Mercredi 13 Février 2013 Avec document Durée : 2 h30 Enseignant : LAFORGUE Jacques 1 ère Session

Plus en détail

GL / C++ Chapitre 7. Lien Dynamique Méthodes Virtuelles

GL / C++ Chapitre 7. Lien Dynamique Méthodes Virtuelles GL / C++ Chapitre 7 Lien Dynamique Méthodes Virtuelles 1. Pointeur sur un objet d'une classe dérivée Considérons les classes écrites précédemment : Personne Etudiant // dérive de personne Salarie // dérive

Plus en détail

Un Survol des Méthodes Formelles pour Java Card TM

Un Survol des Méthodes Formelles pour Java Card TM Réunion PROGSI : Sécurité Java Card TM Un Survol des Méthodes Formelles pour Java Card TM d.rouillardserma.com sauveronlabri.fr http://dept-info.labri.u-bordeaux.fr/~sauveron 21 novembre 2002 Plan L architecture

Plus en détail

Programmation objet en Java.

Programmation objet en Java. Programmation objet en Java. Didier Rémy 2001-2002 http://cristal.inria.fr/ remy/mot/7/ http://www.enseignement.polytechnique.fr/profs/informatique/didier.remy/mot/7/ Cours Exercices Slide 1 1. Classes,

Plus en détail

DUT Informatique Module JAVA Apprentis Département Informatique 2008 / 2009. Travaux Pratiques n o 2 : JUnit

DUT Informatique Module JAVA Apprentis Département Informatique 2008 / 2009. Travaux Pratiques n o 2 : JUnit iut ORSAY DUT Informatique Département Informatique 2008 / 2009 Travaux Pratiques n o 2 : JUnit Nom(s) : Groupe : Date : Objectifs : Apprendre à vérifier une implantation à l aide de tests unitaires sous

Plus en détail

Epreuve de Programmation Orientée Objet 2ème année de Licence Informatique

Epreuve de Programmation Orientée Objet 2ème année de Licence Informatique Epreuve de Programmation Orientée Objet 2ème année de Licence Informatique 1er juin 2007 Durée : 3 heures. Seule la documentation des classes java.util.list et java.util.arraylist distribuée est autorisée.

Plus en détail

Les exceptions en java

Les exceptions en java 1/12 Les exceptions en java 2/12 C'est quoi une exception? Une exception est un événement (une erreur) qui se produit lors de l'exécution d'un programme, et qui va provoquer un fonctionnement anormal (par

Plus en détail

Exceptions. Fiabilité d un logiciel. Fiabilité en Java. Erreurs/exceptions. Localisation du traitement des erreurs/exceptions.

Exceptions. Fiabilité d un logiciel. Fiabilité en Java. Erreurs/exceptions. Localisation du traitement des erreurs/exceptions. Fiabilité d un logiciel Exceptions Université Française d Egypte Version O 5.7 5/10/15 Richard Grin Robustesse : fonctionne correctement, même en présence d événements exceptionnels Correction : donne

Plus en détail

Héritage Concepts généraux des classes dérivées. Les concepts de base de la POO Application en C++ Héritage Concepts généraux des classes dérivées

Héritage Concepts généraux des classes dérivées. Les concepts de base de la POO Application en C++ Héritage Concepts généraux des classes dérivées Les concepts de base de la POO Application en C++ Classes abstraites Possibilité de définir de nouveaux objets à partir des objets existants Hiérarchie de généralisation/ spécialisation Une classe descendante

Plus en détail

Arité variable, énumérations. Arité variable. Arité des méthodes. Utilisation de la surcharge

Arité variable, énumérations. Arité variable. Arité des méthodes. Utilisation de la surcharge Arité variable, énumérations Théorie et pratique de la programmation Michel Schinz 2013-05-13 Arité variable 1 2 Arité des méthodes Utilisation de la surcharge Il est parfois utile d'offrir des méthodes

Plus en détail

La Gestion des Exceptions

La Gestion des Exceptions La Gestion des Exceptions Les exceptions Les exceptions représentent le mécanisme de gestion des erreurs intégré au langage Java. Il se compose d'objets représentant les erreurs et d'un ensemble de troismotsclésquipermettentdedétecteretdetraiterceserreurs(try,

Plus en détail

Programmation Orientée Objet. Exceptions et assertions

Programmation Orientée Objet. Exceptions et assertions Programmation Orientée Objet Exceptions et assertions Julien Provillard http://www.i3s.unice.fr/~provilla/poo/ julien.provillard@unice.fr Robustesse et Exceptions Error, RuntimeException Exceptions (non)

Plus en détail

Programmation orientée objet TP 1 Prise en main de l environnement Java

Programmation orientée objet TP 1 Prise en main de l environnement Java Programmation orientée objet TP 1 L2 MPCIE Prise en main de l environnement Java Exercice 1 Nous désirons développer un programme pour la gestion (très simplifiée) d'un parc de véhicules destinés à la

Plus en détail

Module B9-1 : sensibilisation à l UML

Module B9-1 : sensibilisation à l UML Module B9-1 : sensibilisation à l UML Olivier Habart : habart.olivier@gmail.com ENSTA B9-1 UML (Olivier Habart) Septembre 14 Diapositive N 1 Session 2 : Vue statique Sommaire Diagramme de classes Diagrammes

Plus en détail

I21 Algorithmique et programmation II. David Gross-Amblard, Joël Savelli IEM-uB 2008-2009 - GFDL 1.2 CM 5/8 v2

I21 Algorithmique et programmation II. David Gross-Amblard, Joël Savelli IEM-uB 2008-2009 - GFDL 1.2 CM 5/8 v2 I21 Algorithmique et programmation II David Gross-Amblard, Joël Savelli IEM-uB 2008-2009 - GFDL 1.2 CM 5/8 v2 II. Programmation par objet 1. Motivation 2. Encapsulation 3. Héritage 4. Initiation à la modélisation

Plus en détail

Programmer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr)

Programmer en JAVA. par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Programmer en JAVA par Tama (tama@via.ecp.fr( tama@via.ecp.fr) Plan 1. Présentation de Java 2. Les bases du langage 3. Concepts avancés 4. Documentation 5. Index des mots-clés 6. Les erreurs fréquentes

Plus en détail

CCI - Initiation à Java. E.Coquery emmanuel.coquery@liris.cnrs.fr

CCI - Initiation à Java. E.Coquery emmanuel.coquery@liris.cnrs.fr CCI - Initiation à Java E.Coquery emmanuel.coquery@liris.cnrs.fr Présentation du langage Outline 1 Présentation du langage 2 Types de données primitifs 3 Objets Présentation du langage Un langage orienté

Plus en détail

PHP 5 : PROGRAMMATION OBJET

PHP 5 : PROGRAMMATION OBJET PHP 5 : PROGRAMMATION OBJET 1. Déclaration d une classe 2. Déclaration d un objet 3. Encapsulation et visibilité 4. Membres statiques 5. Constructeur 6. Destructeur 7. Héritage 8. Surcharge et surdéfinition

Plus en détail

Université de Bourgogne - UFR Sciences et Technique - Programmation objet - LPSIL - 2013

Université de Bourgogne - UFR Sciences et Technique - Programmation objet - LPSIL - 2013 Nom : Prénom : Contrôle continu n 4 Programmation objet Vous devez répondre dans les cadres aux questions posées. Documents de cours et notes personnelles autorisés. Téléphones portables, ordinateurs et

Plus en détail

Cours 3 : Encapsulation et tests

Cours 3 : Encapsulation et tests DUT Informatique S3 - Programmation Java Jean-Claude MARTIN MARTIN@LIMSI.fr Cours 3 : Encapsulation et tests Plan Divers Paquetages : intérêt, utilisation des packages existants, créer un package Encapsulation

Plus en détail

ENSTA IN204 Introduction à JAVA

ENSTA IN204 Introduction à JAVA Ecole Nationale Supérieure de Techniques Avancées (ENSTA) -http://www.ensta.fr ENSTA IN204 Introduction à JAVA Olivier Sigaud LIP6/AnimatLab olivier.sigaud@lip6.fr 01.44.27.88.53 Ce document est mis à

Plus en détail

Exceptions. Qu est ce qu un cas exceptionnel? Principe : détecter le maximum d erreurs à la compilation, mais... pas toujours possible

Exceptions. Qu est ce qu un cas exceptionnel? Principe : détecter le maximum d erreurs à la compilation, mais... pas toujours possible Programmation Orientée Objet Jean-Christophe Routier Licence mention Informatique Université Lille Principe : détecter le maximum d erreurs à la compilation, mais pas toujours possible Gestion des erreurs

Plus en détail

Java Avancé. Les exceptions. Rémi Forax forax@univ-mlv.fr

Java Avancé. Les exceptions. Rémi Forax forax@univ-mlv.fr Java Avancé Les exceptions Rémi Forax forax@univ-mlv.fr 1 Les Exceptions Mécanisme qui permet de reporter des erreurs vers les méthodes appelantes. Problème en C : prévoir une plage de valeurs dans la

Plus en détail

LMI 2. Programmation Orientée Objet POO - Cours 7. Said Jabbour. jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour

LMI 2. Programmation Orientée Objet POO - Cours 7. Said Jabbour. jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour LMI 2 Programmation Orientée Objet POO - Cours 7 Said Jabbour jabbour@cril.univ-artois.fr www.cril.univ-artois.fr/~jabbour CRIL UMR CNRS 8188 Facult e des Sciences - Univ. Artois Janvier 2011 Exceptions

Plus en détail

Programmer avec les exceptions en Java

Programmer avec les exceptions en Java Programmer avec les exceptions en Java Premier Cycle Cours Eurinsa 2002 (c) P.Pollet 05/12/2002 Java 2001 (PP) 1 Plan Gestion traditionnelle des erreurs d exécution Qu est-ce qu une exception? La classe

Plus en détail

Une classe est une sorte de type de données définie par le programmeur Variables peuvent être de type classe

Une classe est une sorte de type de données définie par le programmeur Variables peuvent être de type classe Classe, Objet Variables locales Niveaux de visibilité (Encapsulation) Attributs et Méthodes Statiques Surcharge des Méthodes Transmission des Paramètres Paquetage Classes pour les types de base POO 1 Une

Plus en détail

Informatique / Programmation

Informatique / Programmation Informatique / Programmation Programmation orientée objet avec Java 06 : Les exceptions et leur traitement Jacques Bapst jacques.bapst@hefr.ch Exceptions Les exceptions représentent des événements qui

Plus en détail

Concepts des langages de. Introduction à Clojure

Concepts des langages de. Introduction à Clojure Concepts des langages de programmation Introduction à Clojure Plan C'est quoi clojure? Types et structures de données Fonctions et expressions dans Clojure Commentaires en Clojure Définition de variables

Plus en détail

Chapitre 2. Classes et objets

Chapitre 2. Classes et objets Chapitre 2: Classes et Objets 1/10 Chapitre 2 Classes et objets Chapitre 2: Classes et Objets 2/10 Approche Orientée Objet Idée de base de A.O.O. repose sur l'observation de la façon dont nous procédons

Plus en détail

Static. static. USTL http://www.lifl.fr/ routier 1

Static. static. USTL http://www.lifl.fr/ routier 1 Static static USTL http://www.lifl.fr/ routier 1 Static Le rôle essentiel d un moule est de permettre la création d objets.... mais un moule a également des caractéristiques Il en est de même pour une

Plus en détail

Procédures et fonctions

Procédures et fonctions Chapitre 5 Procédures et fonctions 5.1 Introduction Considérons le programme suivant, dont le but est d inverser les éléments d un tableau : public class InversionTableau1 { int t[]= {8, 2, 1, 23; Terminal.ecrireStringln("Tableau

Plus en détail

L héritage Encore un petit topo des familles. Je pense qu'avec ce genre de chapitre, ce n'est pas du luxe...

L héritage Encore un petit topo des familles. Je pense qu'avec ce genre de chapitre, ce n'est pas du luxe... L héritage Encore un petit topo des familles. Je pense qu'avec ce genre de chapitre, ce n'est pas du luxe... Une classe hérite d'une autre classe par le biais du mot clé extends. Une classe ne peut hériter

Plus en détail

Programmation Objet. Cours 1

Programmation Objet. Cours 1 Programmation Objet. Cours 1 Marie-Pierre Béal UPEM DUT 1 Programmation objet. Classes et objets. Principaux styles de programmation Style impératif Fondé sur l exécution d instructions modifiant l état

Plus en détail

Auto-évaluation Programmation en Java

Auto-évaluation Programmation en Java Auto-évaluation Programmation en Java Document: f0883test.fm 22/01/2013 ABIS Training & Consulting P.O. Box 220 B-3000 Leuven Belgium TRAINING & CONSULTING INTRODUCTION AUTO-ÉVALUATION PROGRAMMATION EN

Plus en détail

Programmation Orientée Objet C++ Cours 1

Programmation Orientée Objet C++ Cours 1 Programmation Orientée Objet C++ Cours 1 P. Pesneau pierre.pesneau@math.u-bordeaux1.fr Université Bordeaux 1 Bât A33 - Bur 265 Ouvrages de référence B. W. Kernighan et D. M. Ritchie - Le langage C : Norme

Plus en détail

CHAPITRE 3 : Types de base, Opérateurs et Expressions

CHAPITRE 3 : Types de base, Opérateurs et Expressions CHAPITRE 3 : Types de base, Opérateurs et Expressions 1. Types simples Un type définit l'ensemble des valeurs que peut prendre une variable, le nombre d'octets à réserver en mémoire et les opérateurs que

Plus en détail

INF 103 Langage JAVA. Contrôle du 7 janvier 2015 Durée : 1h30

INF 103 Langage JAVA. Contrôle du 7 janvier 2015 Durée : 1h30 INF 103 Langage JAVA Contrôle du 7 janvier 2015 Durée : 1h30 Nom : Prénom : Casier : Groupe :........ Écrire les réponses directement sur les feuilles du sujet dans les cases prévues à cet effet. Le barème

Plus en détail

Cours Java : deuxième saison

Cours Java : deuxième saison Programmation Objet en Java Cours 5 Exception (C) 2005, Frédéric Peschanski 1 Cours Java : deuxième saison Cours 7 : Exceptions, tests unitaires et assertions Cours 8 : Design Patterns 1 Cours 9 : Design

Plus en détail

renforcer le contrôle de type :

renforcer le contrôle de type : renforcer le contrôle de type : définitions, prototypes de fonctions surcharge références conversions de void * préférer le compilateur au préprocesseur considérer les entrées/sorties opérations abstraites

Plus en détail

Introduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf

Introduction à Java. Matthieu Herrb CNRS-LAAS. Mars 2014. http://homepages.laas.fr/matthieu/cours/java/java.pdf Introduction à Java Matthieu Herrb CNRS-LAAS http://homepages.laas.fr/matthieu/cours/java/java.pdf Mars 2014 Plan 1 Concepts 2 Éléments du langage 3 Classes et objets 4 Packages 2/28 Histoire et motivations

Plus en détail

Licence Informatique 2ème année

Licence Informatique 2ème année Licence Informatique 2ème année Programmation Objet 1 Examen de seconde session 23/06/2014 2h Les notes de cours, TD et TP sont autorisées. Exercice 0 (2 points) Le code suivant compile t-il? Si non, indiquez

Plus en détail

Généralités Composants élémentaires d'un programme Instructions simples. JL Damoiseaux - Dpt R&T

Généralités Composants élémentaires d'un programme Instructions simples. JL Damoiseaux - Dpt R&T JAVA - I Généralités Composants élémentaires d'un programme Instructions simples 2 JAVA? Un langage de programmation (orienté objets) Une architecture basée sur une Machine Virtuelle Un ensemble très important

Plus en détail

Cours JAVA : La fiabilité en Java

Cours JAVA : La fiabilité en Java Cours JAVA : La fiabilité en Java Version 1.02 Julien Sopena 1 1 julien.sopena@lip6.fr Équipe REGAL - INRIA Rocquencourt LIP6 - Université Pierre et Marie Curie Licence professionnelle DANT - 2015/2016

Plus en détail

Abstraction: introduction. Abstraction et liaison dans les langages de programmation. Abstraction: principe. Abstraction: terminologie. N.

Abstraction: introduction. Abstraction et liaison dans les langages de programmation. Abstraction: principe. Abstraction: terminologie. N. Abstraction et liaison dans les langages de programmation LIN2: Paradigmes de programmation N. Hameurlain Abstraction: introduction L'importance de l abstraction découle de sa capacité de cacher les détails

Plus en détail

Analyse lexicale 2014-2015

Analyse lexicale 2014-2015 Analyse (lexicale, syntaxique) L3 MIAGE Analyse lexicale Université de Lille, France 2014-2015 1 Rappels Rôle de l analyse lexicale Outils 2 Mise en oeuvre Lexème Vers l analyseur syntaxique Codage d un

Plus en détail

2. lancer (throw) une exception consiste à la signaler

2. lancer (throw) une exception consiste à la signaler Cours 7 Exceptions 1 1. Une exception est un signal qui indique que quelque chose d'exceptionnel (par exemple une erreur) s est produite qui interrompt le flot d exécution normal du programme 2. lancer

Plus en détail

Informatique / Programmation

Informatique / Programmation Informatique / Programmation Programmation orientée objet avec Java 13 : Classes abstraites et interfaces Jacques Bapst jacques.bapst@hefr.ch Classes et méthodes abstraites Une classe abstraite est une

Plus en détail

Solutions du chapitre 14

Solutions du chapitre 14 Solutions du chapitre 14 Traitement des exceptions 14.16 Sous quelles circonstances utiliseriez-vous l instruction suivante? catch ( Exception e ) { throw e; } Cette instruction sert à capturer toute exception

Plus en détail

Héritage presque multiple en Java (1/2)

Héritage presque multiple en Java (1/2) Héritage presque multiple en Java (1/2) Utiliser deux classes ou plus dans la définition d'une nouvelle classe peut se faire par composition. class Etudiant{ int numero; Diplome d; float passeexamen(examen

Plus en détail

Le langage C# Eléments de base Structures de contrôle Classes & objets Héritage, polymorphisme & interfaces Exceptions Autres éléments de C#

Le langage C# Eléments de base Structures de contrôle Classes & objets Héritage, polymorphisme & interfaces Exceptions Autres éléments de C# Le langage C# Eléments de base Structures de contrôle Classes & objets Héritage, polymorphisme & interfaces Exceptions Autres éléments de C# 1 Eléments de base 1-1 Les espaces de noms Une classe peut être

Plus en détail

POO LES EXCEPTIONS LES EXCEPTIONS

POO LES EXCEPTIONS LES EXCEPTIONS CHAPITRE 7 : LES EXCEPTIONS Objectifs spécifiques 1. Introduire la notion d exception, les règles d utilisation et de définition des exceptions. 2. Distinguer entre les exceptions prédéfinies et les exceptions

Plus en détail

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1

Claude Kaiser Machine virtuelle et environnement utilisateur SRI_B CHAPITRE 1 CHAPITRE 1 FOURNIR À L'UTILISATEUR UNE MACHINE VIRTUELLE ET UN ENVIRONNEMENT D'EXÉCUTION DE PROGRAMMES Plan ENVIRONNEMENT DE TRAVAIL ADAPTÉ AU BESOIN DE L'UTILISATEUR Fonctions de l'environnement d'exécution

Plus en détail

Python langage de programmation

Python langage de programmation Initiation à la programmation avec Python langage de programmation Valérie Bellynck (2009), d après un diaporama d Alain Bozzi (2008), lui-même venant de celui de Bob Cordeau (2008) 1 Langage de Programmation

Plus en détail

C.P.G.E - Meknès Langage Python 3 Haouati Abdelali

C.P.G.E - Meknès Langage Python 3 Haouati Abdelali 3. Langage Python 3 2 a. Introduction Présentation du langage Python : Python est un langage portable, dynamique, extensible, gratuit, qui permet (sans l imposer) une approche modulaire et orientée objet

Plus en détail

Chapitre 7. Exceptions

Chapitre 7. Exceptions Chapitre 7 Exceptions 1 Exceptions en Java Séparation exécution normale/gestion des erreurs Inspiration : C++ et Ada Un composant peut : prendre en charge le problème signaler le problème en levant une

Plus en détail

Licence d'informatique 2004-2005 Examen Programmation orientée objet Juin 2005

Licence d'informatique 2004-2005 Examen Programmation orientée objet Juin 2005 Licence d'informatique 2004-2005 Examen Programmation orientée objet Juin 2005 Durée de l'épreuve : 2 heures TRÈS IMPORTANT : respectez l'ordre des questions. La lisibilité sera un critère important pour

Plus en détail

1 ère PARTIE : COURS (sans document) Durée: 1h15

1 ère PARTIE : COURS (sans document) Durée: 1h15 Examen 1 ère session 2012-2013 page 1 NFA 032 - Programmation JAVA IPST-CNAM Programmation JAVA NFA 032 Mercredi 25 Juin 2014 Avec document Durée : 2 h30 Enseignant : LAFORGUE Jacques 1 ère Session NFA

Plus en détail

Chapitre 11. Conception de logiciels Intranet : patrons et canevas NSY 102. Synthèse 1. SINGLETON 3 1.1. DEFINITION 3 1.2. REFERENCES DANS LE COURS 3

Chapitre 11. Conception de logiciels Intranet : patrons et canevas NSY 102. Synthèse 1. SINGLETON 3 1.1. DEFINITION 3 1.2. REFERENCES DANS LE COURS 3 NSY102-Chapitre-11_Synthese.doc 1/12 06/01/2014 21:48:04 Chapitre 11 Synthèse 1. SINGLETON 3 1.1. DEFINITION 3 1.2. REFERENCES DANS LE COURS 3 2. OBSERVER/OBSERVABLE 3 2.1. DEFINITION 3 2.2. REFERENCES

Plus en détail

Année 2008-2009. Les exceptions Java. Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.perso.esil.univmed.

Année 2008-2009. Les exceptions Java. Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.perso.esil.univmed. Année 2008-2009 Les exceptions Java Nicolas Baudru mél : nicolas.baudru@esil.univmed.fr page web : nicolas.baudru.perso.esil.univmed.fr 1 Introduction Supposez que vous écrivez un programme qui accède

Plus en détail

Premiers exemples de traitements

Premiers exemples de traitements #include #include Premiers exemples de traitements void main() float b(0.0); float c(0.0); float delta(0.0); cin >> b >> c; delta = b*b - 4*c; if (delta < 0.0) cout

Plus en détail

Listes et arbres binaires

Listes et arbres binaires Des structures de données dynamiques Listes, Listes ordonnées Arbres binaires, arbre binaires de recherche Listes chaînées Utile si le nombre d éléments n est pas connu à l avance et évolue beaucoup. Permet

Plus en détail

Programmation Java. Redéfinition de méthode (masquage)

Programmation Java. Redéfinition de méthode (masquage) Programmation Java Programmation objet avec Java Concepts plus avancés Christelle Urtado & Sylvain Vauttier Janvier 2013 Redéfinition de méthode (masquage) Une sous-classe peut redéfinir le code de méthodes

Plus en détail

Exercice 1 (API Java)

Exercice 1 (API Java) Programmation orientée objet TP 3 L2 MPCIE API Java, Paquetages Exercice 1 (API Java) 1. Écrire la classe Ensemble comme étant une collection d'éléments ne contenant pas de doublon. Elle sera donc implémentée

Plus en détail

Java : Programmation Impérative

Java : Programmation Impérative 1 Java : Programmation Impérative Résumé du cours précédent (I11) Paradigme impératif Algorithmique simple Découpage fonctionnel Qu est-ce qu un programme informatique? / un langage de programmation? /

Plus en détail

Déclaration et Implémentation d'une classe

Déclaration et Implémentation d'une classe Définir et Instancier une classe en Java Déclaration et Implémentation d'une classe En algorithmique (comme en C++ la plupart du temps), l'écriture du corps des méthodes (implémentation) se fait après

Plus en détail

LE LANGAGE C ADAPTÉ AU MICROCONTRÔLEURS

LE LANGAGE C ADAPTÉ AU MICROCONTRÔLEURS LE LANGAGE C ADAPTÉ AU MICROCONTRÔLEURS 1. PRÉSENTATION. Le langage C a fait son apparition en 1972 pour le développement du système d exploitation Unix. Il est devenu un standard de la norme ANSI en 1983.

Plus en détail

Applications orientées données (NSY135)

Applications orientées données (NSY135) Applications orientées données (NSY135) 10 Lecture de données Auteurs: Raphaël Fournier-S niehotta et Philippe Rigaux (philippe.rigaux@cnam.fr,fournier@cnam.fr) Département d informatique Conservatoire

Plus en détail

Série 9: Intérêt des fonctions, portée des variables, variables statiques Buts

Série 9: Intérêt des fonctions, portée des variables, variables statiques Buts Série 9: Intérêt des fonctions, portée des variables, variables statiques Buts - La notion de fonction est fondamentale car elle permet d'atteindre deux objectifs: principe d'abstraction: offrir une vue

Plus en détail

Créer une simple application Java avec ECLIPSE. Par Ahcène BOUNCEUR

Créer une simple application Java avec ECLIPSE. Par Ahcène BOUNCEUR Créer une simple application Java avec ECLIPSE Par Ahcène BOUNCEUR Janvier 2005 INTRODUCTION Dans cet exemple nous allons vous montrer comment peut-on créer une simple application Java en utilisant l IDE

Plus en détail

Notions de programmation orientée objet

Notions de programmation orientée objet 1 Génie Logiciel Notions de programmation orientée objet Renaud Marlet LaBRI / INRIA http://www.labri.fr/~marlet màj 19/04/2007 2 Les données d'abord (1) Important résultat de l'expérience : Le plus souvent,

Plus en détail

Le mécanisme d exception du langage Java

Le mécanisme d exception du langage Java Le mécanisme d exception du langage Java 1 / 39 Plan 1 Introduction aux exceptions en Java 2 Exemples de code avec gestion des exceptions 3 Créer ses propres exceptions 4 Instruction try/catch/finally

Plus en détail

UML : Conception Objet

UML : Conception Objet MAI NFE103 Année 2013-2014 UM : Conception Objet F.-Y. Villemin (f-yv@cnam.fr) Plan!!Modèle Objet : Passage à la conception!!instances et iens!!cas d Utilisation!!Diagramme de Séquences!!Diagramme de Collaborations!!Exceptions

Plus en détail

Cours SI6. Python POO par l exemple

Cours SI6. Python POO par l exemple Cours SI6 Python POO par l exemple Objet créé à partir d un moule Moule -> une classe Objet = instance d une classe Classe= Structure -> attributs Comportement -> méthodes Principe de base : Instanciation

Plus en détail

PARADIGME ORIENTÉ-OBJET

PARADIGME ORIENTÉ-OBJET PARADIGME ORIENTÉ-OBJET A programming paradigm that uses objects to design systems. Sébastien Adam Une introduction des concepts de base 2 Principes fondamentaux Modularité : vise à répartir les opérations

Plus en détail

Plan. Conseils de Programmation. Types et Classes. Exemple: fraction. Méthodes. Variables locales:

Plan. Conseils de Programmation. Types et Classes. Exemple: fraction. Méthodes. Variables locales: Plan Conseils de Programmation Joël Quinqueton Dépt MIAp, UFR IV UPV Université Montpellier III Types et classes Un exemple de classe Les erreurs en Java L héritage en Java Types primitifs Tableaux Classes:

Plus en détail

Pour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère

Pour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère L'héritage et le polymorphisme en Java Pour signifier qu'une classe fille hérite d'une classe mère, on utilise le mot clé extends class fille extends mère En java, toutes les classes sont dérivée de la

Plus en détail

Encapsulation. L'encapsulation consiste à rendre les membres d'un objet plus ou moins visibles pour les autres objets.

Encapsulation. L'encapsulation consiste à rendre les membres d'un objet plus ou moins visibles pour les autres objets. Encapsulation L'encapsulation consiste à rendre les membres d'un objet plus ou moins visibles pour les autres objets. La visibilité dépend des membres : certains membres peuvent être visibles et d'autres

Plus en détail

Université Mohammed Premier Année universitaire 2012-2013

Université Mohammed Premier Année universitaire 2012-2013 Université Mohammed Premier Année universitaire 2012-2013 Faculté des Sciences Filière SMI Département de Mathématiques Module : POO Java et d Informatique Semestre : S5 Responsable du cours : El Mostafa

Plus en détail

Système M1. Chapitre 3 : Gérer la communication et la synchronisation inter-tâches. J.-F. Pradat-Peyre & E Hyon

Système M1. Chapitre 3 : Gérer la communication et la synchronisation inter-tâches. J.-F. Pradat-Peyre & E Hyon Chapitre 3 : Gérer la communication et la synchronisation inter-tâches 1 Plan du cours Introduction aux problèmes de synchronisation Exemple de problèmes Section critique et verrous Exclusion Mutuelle

Plus en détail

E2I- 4 (option HF) CONTRÔLE JAVA 1

E2I- 4 (option HF) CONTRÔLE JAVA 1 E2I- 4 (option HF) CONTRÔLE JAVA 1 Corrigé 1. Les données de type char sont codées en java comme : un octet (code ASCII) deux octets (code ASCII) un octet (code unicode) X deux octets (code unicode) un

Plus en détail

Analyse statique de programmes Typage et analyse statique au sein de Java

Analyse statique de programmes Typage et analyse statique au sein de Java Analyse statique de programmes Typage et analyse statique au sein de Java Master Professionnel Informatique spécialité FSIL/FSI Jean-Marc Talbot jean-marc.talbot@lif.univ-mrs.fr Aix-Marseille Université

Plus en détail

Conception et Développement Orientés Objets Cours 1 : Introduction. 2 Les paradigmes de programmation. 3 Les concepts de la programmation objet

Conception et Développement Orientés Objets Cours 1 : Introduction. 2 Les paradigmes de programmation. 3 Les concepts de la programmation objet CNAM UV 19357 Année 2003-2004 David Delahaye David.Delahaye@cnam.fr Conception et Développement Orientés Objets Cours 1 : Introduction 1 Présentation de la valeur Ce cours s adresse à toute personne ayant

Plus en détail

C++ / MC-II1 - Cours n o 3 Allocation Mémoire et Constructeurs

C++ / MC-II1 - Cours n o 3 Allocation Mémoire et Constructeurs C++ / MC-II1 - Cours n o 3 Allocation Mémoire et Constructeurs Sebastien.Kramm@univ-rouen.fr IUT GEII Rouen 2010-2011 S. Kramm (IUT Rouen) MCII1 - Cours 3 2010-2011 1 / 47 Sommaire 1 Rappels de C et définitions

Plus en détail

Pour cet examen, vous disposez de la classe Voiture, incomplète, qui suit :

Pour cet examen, vous disposez de la classe Voiture, incomplète, qui suit : UNIVERSITÉ DE MONTRÉAL FACULTÉ DES ARTS ET DES SCIENCES DIRECTION DE L ENSEIGNEMENT DE SERVICE EN INFORMATIQUE COURS : IFT 1170 EXAMEN INTRA DATE : 4 juin 2009 CHARGÉ DE COURS : Michel Reid DURÉE : 2 heures

Plus en détail

Bertrand Meyer. UConception et programmation orientées objet. T r a d u i t d e l a n g l a i s p a r P i e r r e J o u v e l o t

Bertrand Meyer. UConception et programmation orientées objet. T r a d u i t d e l a n g l a i s p a r P i e r r e J o u v e l o t UConception et programmation orientées objet Bertrand Meyer T r a d u i t d e l a n g l a i s p a r P i e r r e J o u v e l o t Groupe Eyrolles, 2000, pour le texte de la présente édition en langue française.

Plus en détail

Ingénierie du logiciel : cours 2

Ingénierie du logiciel : cours 2 Ingénierie du logiciel : cours 2 Frédéric Gava (d après F. Martini) Master ISIN, Université de Paris-Est Créteil Cours Ingénierie du logiciel du M2 ISIN Plan 1 Introduction et premiers exemples 2 Création

Plus en détail

ENSTA : cours IN204 Introduction à JAVA

ENSTA : cours IN204 Introduction à JAVA Ecole Nationale Supérieure de Techniques Avancées (ENSTA) -http://www.ensta.fr ENSTA : cours IN204 Introduction à JAVA Olivier Sigaud LIP6/AnimatLab olivier.sigaud@lip6.fr 01.44.27.88.53 Page : 1 Plan

Plus en détail

Javascript : les bases du langage

Javascript : les bases du langage Javascript : les bases du langage Technologies du Web 1 Jean-Christophe Routier Licence 1 SESI Université Lille 1 Université Lille 1 - Licence 1 SESI Technologies du Web 1 1 Javascript présentation partielle,

Plus en détail

UML Conception Héritage. Emmanuel Pichon 2013

UML Conception Héritage. Emmanuel Pichon 2013 UML Conception Héritage 2013 Héritage (generalization) Sens Relation d implémentation permettant la réutilisation des caractéristiques d une classe (attributs, opérations et associations) Notation UML

Plus en détail

Précis de vocabulaire Orienté Objet

Précis de vocabulaire Orienté Objet Dernière Mise à jour : Mars 2007 Précis de vocabulaire Orienté Objet 1 Questions Expliquer et donner un exemple pour chacun des concepts suivants 1. Qu'est-ce qu'un objet? 2. Qu'est-ce qu'une classe? 3.

Plus en détail

Langage C notes de cours

Langage C notes de cours Langage C notes de cours K. El Omari IUT GTE, UPPA 1 Présentation générale 1.1 Introduction La programmation par le langage C (ainsi que par d autres langages dit compilés) est basée sur : 1. la rédaction

Plus en détail

La définition de la classe Test est incomplète, pour définir une classe, il faut mettre deux accolades qui contiennent la définition de

La définition de la classe Test est incomplète, pour définir une classe, il faut mettre deux accolades qui contiennent la définition de Ex 1 1- On crée un fichier Test.java qui contient seulement : public class Test Que se passe t'il si on cherche à le compiler? La définition de la classe Test est incomplète, pour définir une classe, il

Plus en détail

Langages de haut niveau

Langages de haut niveau Langages de haut niveau Introduction Un assembleur est un programme traduisant en code machine un programme écrit à l'aide des mnémoniques Les langages d'assemblage représentent une deuxième génération

Plus en détail

Programmation orientée objets

Programmation orientée objets POO : mais pourquoi? La Programmation Orientée Objets (POO) a pour but final de faciliter le débogage, la maintenance et la mise à jour d'applications complexes. C++, Java et Scala sont des exemples de

Plus en détail

Chapitre 1 Introduction

Chapitre 1 Introduction Chapitre 1 Introduction Jean Privat Université du Québec à Montréal INF7330 Construction de logiciels Diplôme d études supérieures spécialisées en systèmes embarqués Automne 2012 Jean Privat (UQAM) 01

Plus en détail

Introduction à la Programmation Orientée Objet

Introduction à la Programmation Orientée Objet Introduction à la Programmation Orientée Objet Bertrand Estellon Département Informatique et Interactions Aix-Marseille Université 4 avril 2013 Bertrand Estellon (DII AMU) Introduction à la Programmation

Plus en détail