Modélisation des systèmes temps-réel répartis embarqués pour la ...

Chapitre V – Génération du code pour l’enveloppe applicative
23 class une_donnee_i_chaine {
24 public char[] val = new char[6];
25 }
26
27 class une_donnee_i_structure {
28 public une_donnee_i_entier i = new une_donnee_i_entier();
29 public une_donnee_i_chaine c = new une_donnee_i_chaine();
30 }
Listing V.20 – Classes Java issues des déclarations AADL
De la même façon, les tableaux et les chaînes de caractères sont déclarés par un champ val
contenant un tableau de la dimension spécifiée dans le composant AADL. Les composants de
donnée correspondant à une énumération sont traduits par une structure de donnée Java enum,
introduite dans Java 5.0.
Contrairement à Ada, la traduction d’une structure de liste est relativement simple, dans la
mesure où Java définit la classe LinkedList, correspondant à une liste doublement chaînée. La
traduction consiste donc à avoir une classe dont le champ val est objet de cette classe (listing V.21).
32 class une_donnee_i_liste {
33 public LinkedList val = new LinkedList();
34 }
Listing V.21 – Classe Java correspondant à un composant de liste en AADL
V-4.2.3 Traduction des sous-programmes
La syntaxe de Java ne permet pas de déclarer une méthode en dehors d’une classe. Les différents
sous-programmes AADL doivent donc être traduits par des méthodes d’une classe Java particulière,
définie dans chaque paquetage Java. Nous choisissons d’appeler cette classe subprogram,
qui est un mot-clé AADL ; de cette façon, nous nous assurons que ce nom n’est pas utilisé par
ailleurs dans la description AADL. Dans la mesure où la classe subprogram n’est pas censée être
instanciée, les méthodes issues des sous-programmes AADL sont nécessairement des méthodes
de classe.
Règle V.15 (Traduction des sous-programmes AADL en Java)
Les sous-programmes d’un paquetage AADL sont traduits en Java par des méthodes
d’une classe subprogram déclarée dans le paquetage Java correspondant.
Le passage des objets en paramètre se fait systématiquement par référence en Java. Par rapport
aux règles de traductions que nous avons présentées en section V-4.2.2, tous les types de donnée
Java issus des déclarations AADL sont encapsulés dans des classes. Ces constructions syntaxiques
ne permettent pas de contrôler la modification des données qu’elles contiennent, ce qui revient à
considérer tous les paramètres comme étant in out.
Afin de conserver la sémantique du passage des paramètres, nous encapsulons l’ensemble des
paramètres dans un conteneur qui permettra de contrôler les accès aux données. Un conteneur
peut être comparé dans une certaine mesure à une classe Holder telle que définie dans les règles
de conversion entre CORBA IDL et Java [OMG, 2002a]. Il fournit les méthodes d’accès correspondant
aux directions des différents paramètres du sous-programme considéré. Un conteneur
fournit alors les méthodes suivantes :
– une méthode read_p si le paramètre AADL p est déclaré in ;
c○ 2007 Thomas Vergnaud 93