Syntaxe a prendre en compte

Transcription

1 Cedric Dumoulin Syntaxe a prendre en compte avec paramêtres Types pour les attributs Javadoc imports static classifiers imbriques 1

2 Plan Classe abstraite Enumération Dérivés Customiser une méthode Bibliothèque de types primitifs Type TypedElement Doit on tout modèliser? Union de listes Classe Abstraite Problème: On veut interdire l instanciation de certaine classes du MM ex: Element, NamedElement Solution: marquer «abstract» la classe Une classe abstraite ne peut pas être instanciée 2

3 Enumération Permet de définir une liste finie et immuable de constantes Bonne pratique: suffixer le nom de l enumération par Kind déclaration utilisation Notion de Dérivé Une propriété p dérivé est une propriété p dont la valeur peut être calculée à partir d autres valeurs Permet de calculer une propriété à partir d autres propriétés évite la duplication de données Il faut fournir l implémentation du calcul! Exemple / qualifiedname : String // Le nom complet (noms des parents + nom de la classe séparé par des points) 3

4 Propriété dérivé dans le métamodèle Marquer la propriété p derived Marquer la propriété transient afin que sa valeur ne soit pas stocké dans le fichier xml Marquer la propriété readonly Si on veut interdire la modification à partir de la propriété dérivé La modification des autres propriétés est toujours possible Propriété dérivé démo Ajouter attribut (sans /) cocher isderived Si read only, cocher isreadonly Marquer transient slides suivant 4

5 Marquer «transient» (1) Comment? A l aide d un stéréotype et d une valeur marquée (tagged value) Sélectionner la propriété, ajouter le stéréotype : Si attribut EAttribute Si référence (association) EReference Marquer «transient» (2) 2) utiliser le stéréotype Selectionner Sl l élément Dans les propriétés, sélectionner l onglet «profile» Si attribut EAttribute Si référence (association) EReference 5

6 Propriété dérivé code EMF généré Implémenter la méthode NOT implémenter!! public abstract class NamedElementImpl extends EObjectImpl implements NamedElement { /** * <!-- begin-user-doc --> * <!-- end-user-doc --> */ public String getqualifiedname() { // TODO: implement this method // Ensure that you or mark NOT throw new UnsupportedOperationException(); } } Ajout de méthodes au MM Une classe peut contenir des méthodes avec des paramètres Permet d ajouter des fonctionnalités aux classes Il faut implémenter le corps de la méthode dans la classe générée 6

7 Customiser le code EMF généré Il est possible de customiser le code EMF généré Nécessaire pour les dérivés et les méthodes NOT les méthodes customisées Pour empêcher l écrasement du code lors de la prochaine génération par EMF Bibliothèque de types primitifs (exercice) Problème: Comment, dans un modèle mjava, utiliser des types primitifs? (int, double, boolean, ) Ce ne sont pas des classes déclarés dans mjava Dans mjava, le type d un attribut peut être soit une classe déclarée, soit un type primitif Exercice : proposez une solution Les déclarer dans le métamodèle? ne permet pas de typer au choix par une classe ou un type primitif Il faut faire une bibliothèque de types primitifs la bibliothèque est un ensemble de type primitif déclaré dans un modèle 7

8 Bibliothèque de types primitifs Réalisation Dans le métamodèle créer un type PrimitifType { name } Il faut qu il ait une propriété name Il faut que l on puisse l utiliser au même endroit que les classifiers! Dans chaque modèle créer une instance de PrimitifType par types à créer dans le métamodèle dans le modèle Un modèle mjava doit il tout modéliser? Ex: class A implements List {} Doit on modéliser List ainsi que son contenu? Modéliser tout surcharge le modèle lors de la génération, il ne faut pas générer cette classe Solution Solution On modélise la classe, et on la marque extern Une classe externe : Contient le strict minimum : son nom et son package Elle n est pas généré lord de la génération de code La propriété «extern» peut être changé ultérieurement. 8

9 Unité de Compilation, Espace de nommage Classes imbriquées En java, un fichier.java est «une unité de compilation» Une unité de compilation contient: déclaration de package déclaration d import déclaration de classifier Une classe imbriquée est une classe déclaré dans une autre classe. Il est aussi possible d imbriquer des interfaces, des énumérations, Un espace de nommage (namespace) est un élément nommé dans lequel on peut déclarer d autre éléments nommés Une classe est un espace de nommage. Il est possible d y déclarer des propriétés, des classes imbriqués, Un package est un autre espace de nommage. Il est possible d y déclarer des unités de compilation, Exercice Classes imbriqués Modifiez votre métamodèle afin de pouvoir avoir des classifiers imbriqués (des classes dans des classes²) Modifiez votre métamodèle afin d avoir un attribut dérivé classifier::iscompilationunit. Un classifier est une compilationunit si son parent est un package. L attribut Lattribut doit être readonly et transient Donnez l implémentation de iscompilationunit 9

10 Exercice Nom qualifié Le nom qualifié d un élément est formé du nom qualifié de l espace de nommage englobant (paquetage ou classe), suivi du nom de l élément et séparé par un. (ou :: ). Ex: java.lang.string. Votre métamodèle doit permettre d obtenir le nom qualifié pour tout élément nommé. Proposer une solution pour pouvoir avoir le nom qualifié d un élément nommé. Donner l implémentation de cette solution (MM et corps de méthode). Exercice Typer les attributs, les paramètres et les méthodes Les attributs peuvent être typés soit par des classifiers déclarés dans le modèle, soit par des types primitifs, eux aussi déclaré dans le modèle. Proposez un métamodèle permettant de typer les attributs aussi bien par des classifiers que par des types primitifs. Etendez ce métamodèle pour pouvoir aussi donner un type aux paramètres et aux méthodes (type de retour) 10

11 Exercice Liste des imports Dans une unité de compilation (udc), on veut pouvoir obtenir la liste des types à importer (les imports). Les imports d une udc peuvent être déduits des type utilisés par les attributs, les méthodes et les classes imbriquées. Il doit aussi être possible d ajouter explicitement des imports à une classe. Proposez une interface permettant d obtenir la liste (sans doublons) de tous les imports (implicite et explicite) d ajouter et supprimer des imports explicite Exercice liste des imports classes imbriqués 11