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

More documents

Recommendations

Info

L’expression ci-dessus retourne un bag contenant les dates de naissance de tous les employés de la société. La collection de départ est un set(Employee) et la collection d’arrivée est un bag(Date). Il existe un raccourci pour utiliser la fonction « collect ». L’application d’une propriété à une collection est interprétée comme un appel implicite à « collect ». « forAll » self.employee.birthDate forAll(exprBool) : Boolean Cette fonction retourne vrai si la condition est vraie pour tous les éléments de la collection. Les trois formes de syntaxe sont possibles. « forAll » permet également d’avoir plus d’un itérateur sur une même collection. Il s’agit en fait d’appliquer la fonction au produit cartésien de la collection avec ellemême. context Company inv self.employee->forAll(e1, e2 | e1 e2 implies e1.forename e2.forename context Company inv self.employee->forAll(e1, e2 : Person| e1 e2 implies e1.forename e2.forename Ces deux contraintes sont identiques. Elles permettent de s’assurer que tous les employés ont des prénoms différents. forename A B C Produit cartésien e1.forename e2.forename e1 e2 implies e1.forename e2.forename A A VRAI A B VRAI A C VRAI B A VRAI B B VRAI B C VRAI C A VRAI C B VRAI C C VRAI On pourrait également écrire cette contrainte de la façon suivante : 22.06.2005 24/78
« exists » context Company inv self.employee->forAll(e1 | self.employee->forAll(e2 | e1 e2 implies e1.forename e2.forename)) exists(exprBool) : Boolean Cette fonction retourne vrai si une condition est vraie pour au moins un élément de la collection, sinon elle retourne faux. Les trois formes de syntaxe sont possibles. « iterate » context Classe::ajouter(unEleve : Personne) pre : classeNonSurchargee : nb_eleves exists(unEleve) context Classe::effectif() post: result = nb_eleves iterate(iterateur : T ; accumulateur : T = expr1 |expr2) : ??? Cette fonction permet d’itérer sur une collection. Les opérations « reject », « select », « forAll », « exists » et « collect » peuvent se faire au moyen de la fonction iterate. « expr1 » représente la valeur initiale de la variable « accumulateur ». context Personne :: revenusDesParents() : Integer post: result = self.parent ->iterate(p : Personne; val : Integer = 0 | val = p.revenus->sum()) La méthode « revenusDesParents » doit retourner un entier correspondant à la somme des revenus de chaque parent. collection->collect(x: T | x.property) correspond aussi à collection->iterate(x: T; acc : T2 = Bag{} | x.property) « isEmpty » et « notEmpty » isEmpty() : Boolean Cette fonction retourne vrai si la collection est vide, faux sinon. 22.06.2005 25/78
Page 1 and 2: Cadre du projet ISNet35 Rapport pha
Page 3 and 4: sélectionner des informations mém
Page 5 and 6: public class A { } private Integer
Page 7 and 8: Dans un premier temps, nous avons u
Page 9 and 10: 1.9. Cible Relationnelle objet L
Page 11 and 12: d'intégrité référentielle. L'av
Page 13 and 14: OCL est utilisé pour exprimer les
Page 15 and 16: Le type OclAny est le supertype pou
Page 17 and 18: Redéfinition des opérateurs Les o
Page 19 and 20: Cette fonction permet de faire des
Page 21 and 22: etourne toujours qu’un seul objet
Page 23: Lorsqu’il y a une ambiguïté pou
Page 27 and 28: Retourne vrai si l’expression ret
Page 29 and 30: prepend(unObjet : T) : Sequence Cet
Page 31 and 32:
Page 33 and 34: l’attribut xmi.id dont la valeur
Page 35: dataValue = '-99-26--92-79-247d4a:f
Page 38 and 39:
Page 40 and 41: l’extrémité d’association La
Page 42 and 43: collabore Employe Mandat 0..* 0..*
Page 44 and 45: … L
Page 46 and 47: Quand les objets sont définis comm
Page 48 and 49: • Externes BFILEs : Pointeur sur
Page 50 and 51: Cette désignation s’effectuera l
Page 52 and 53: attribut de la vue peuvent être em
Page 54 and 55: directement depuis les schéma du m
Page 56 and 57: Sens de navigation imposée Pour sp
Page 58 and 59: On trouve la notation ci-dessous da
Page 60 and 61: Voici par exemple la mise en place
Page 62 and 63: (b Varchar(10) ), CREATE TYPE a AS
Page 64 and 65: Ici en exemple, utilisation d’un
Page 66 and 67: L’association un à plusieur sera
Page 68 and 69: Création des tables CREATE TABLE t
Page 70 and 71: Un des objectif de ce projet est de
Page 72 and 73: L’utilisation d’une collection
Page 74 and 75:
-- Creation de la base exemple DROP
Page 76 and 77:
1.21.1.3. Exemple de peuplement pou
Page 78:
) SELECT 10, REF(S), 1, 0 FROM to_s
show all

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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?