Rapport de fin de phase I - Haute école du paysage, d'ingénierie et ...

• Set(Vélo) n’est pas conforme à Bag(Vélo)
• Set(Vélo) n’est pas conforme à Sequence(Vélo)
Les deux dernière règles s’expliquent par le fait que Set et Sequence sont au même
niveau dans la hiérarchie des collections d’OCL.
Opérations génériques sur les collections
Les opérations sur les collections ne peuvent pas modifier le contenu d’une
collection.
L’opérateur -> permet d’accéder à une opération sur une collection.
collection -> operation()
« select » et « reject »
select(exprBool) : Collection
Cette fonction retourne une nouvelle collection restreinte aux éléments satisfaisant la
condition. La nouvelle collection est une sous-collection de la collection de départ.
Il existe trois syntaxes différentes pour exprimer la condition :
select(exprBool)
context Personne :: nbFilles() : entier
post: result = self.enfants
-> select(sexe = Sexe :: feminin) -> size
select(iterateur | exprBool)
context Personne :: nbFilles() : entier
post: result = self.enfants
-> select(fille | fille.sexe = Sexe :: feminin)
-> size
select(iterateur : type | exprBool)
context Personne :: nbFilles() : entier
post: result = self.enfants
-> select(fille : Personne |
fille.sexe = Sexe :: feminin) -> size
L’utilisation d’une syntaxe sans itérateur explicite implique malgré tout un itérateur
implicite anonyme.
22.06.2005 22/78