Dankwoord - martes

Recommendations

Info

24 HOOFDSTUK 3. METHODOLOGIE 3.2.3.1 Eenvoudige collectieoperaties De implementatie van eenvoudige collectieoperaties is meestal niet zo moeilijk. De meeste van deze operaties hebben een tegenhanger in de JAVA API over collectietypen. Indien dat niet het geval is zullen we voor deze operaties een aparte implementatie voorzien. Daarvoor zullen we een soort van sjablonen gebruiken. In tabel 3.5 tonen we de meest gebruikte standaard OCL operaties over alle collectietypen en hun JAVA tegenhangers. OCL operatie Java Tegenhanger Omschrijving excludes(object) ! contains(object) Geeft waar terug indien het object geen element van de collectie is excludesAll(collection) ! containsAll(collection) Geeft waar terug indien alle elementen van de gegeven collectie niet aanwezig in de huidige collectie zijn includes(object) contains(object) Geeft waar terug indien het object een element van de collectie is includesAll(collection) containsAll(collection) Geeft waar terug indien alle elementen van de gegeven collectie aanwezig in de huidige collectie zijn isEmpty() isEmpty() Geeft waar terug indien de collectie geen enkel element bevat notEmpty() ! isEmpty() Geeft waar terug indien de collectie een of meerdere elementen bevat size() size() Geeft het aantal elementen in de collectie terug Tabel 3.5: Standaardoperaties over alle soorten van collectie typen 3.2.3.2 Collectieiteratoren Collectieiteratoren laten ons om over collecties te itereren. De collecties waarop deze operaties toegepast zijn noemen we hier source. Ieder element van de source wordt tegen een expressie geëvalueerd. Deze expressie noemen we body. In tabel 3.6 tonen we de collectieiteratoroperaties over alle collectietypen. Omdat de collectieiteratoren altijd over collecties itereren moet men deze iteraties in termen van de doeltaal genereren. Bijvoorbeeld, zijn iteraties meestal in JAVA geimplementeerd met behulp van de interface Iterator. We zullen hier namelijk deze constructie gebruiken om over collectie te kunnen itereren. De OCL collectieiteratoren (zie tabel 3.6) hebben geen tegenhangers in de JAVA Collection API. Bijgevolg moeten we voor elke collectieiterator een methode creëren. Hiervoor zullen we een soort van sjablonen gebruiken. In deze sjablonen zullen we een vaste en een variërende stukcode hebben. De variërende code zullen we met een bold-italic lettertype noteren.
3.2. BESCHRIJVING VAN DE METHODOLOGIE 25 Operaties any(expr) collect(expr) collectNested(expr) exists(expr) forAll(expr) isUnique(expr) iterate(...) one(expr) reject(expr) select(expr) sortedBy(expr) Omschrijving Geeft een willekeurig element uit de source collectie terug waarvoor de expressie expr waar is Geeft een collectie van objecten terug als resultaat van de evaluatie van expr voor ieder element uit de source collectie Geeft een collectie van collecties terug als resultaat van de evaluatie van expr voor ieder element uit de source collectie Geeft waar terug als er minstens een element in de source collectie bestaat waarvoor expr waar is Geeft waar terug als expr voor alle elementen in de source collectie waar is Geeft waar terug als expr een unieke waarde voor alle elementen in de source collectie heeft Itereert over alle elementen in de source collectie Geeft waar terug als er juist een element in de source collectie is waarvoor expr waar is Geeft een deelcollectie van de source collectie terug waarvoor voor ieder element uit de source collectie expr niet waar is Geeft een deelcollectie van de source collectie terug waarvoor voor ieder element uit de source collectie expr waar is Geeft een collectie terug die alle elementen van de source collectie bevat en geordend volgens expr zijn. Tabel 3.6: Collectieiteratoren operaties over alle collectietypen any operatie Om eender welk element van een source collectie te verkrijgen die aan een bepaalde voorwaarde voldoet kunnen we de any operatie gebruiken. De body parameter van deze operatie is een booleaanse expressie. Deze operatie zal over alle elementen van de collectie itereren om een of meer elementen te vinden die aan de body expressie voldoen. Indien er meer dan een element is die aan de body conditie voldoet dan is willekeurig een van deze elementen teruggeven. In onze implementatie wordt het eerste element teruggegeven. Anders is het resultaat niet gedenieerd. De volgende OCL expressie representeert de any operatie met de bijbehorende body conditie die op een source collectie toegepast is. source->any(body) De JAVA code ziet er zo uit:
Page 1 and 2: Dankwoord Ik wil alle mensen bedank
Page 3 and 4: INHOUDSOPGAVE iii 3 Methodologie 17
Page 5 and 6: L¼st van guren 1.1 Relatie tussen
Page 7 and 8: Hoofdstuk 1 Inleiding 1.1 Situering
Page 9 and 10: 1.2. PROBLEEM BESCHRIJVING 3 1.2 Pr
Page 11 and 12: 1.4. DOELSTELLINGEN 5 • Ten vierd
Page 13 and 14: Hoofdstuk 2 State-of-the-art De Obj
Page 15 and 16: 2.1. EVALUATIECRITERIA 9 2.1.6 Asse
Page 17 and 18: 2.2. TOOLS 11 alleen maar invariant
Page 19 and 20: 2.2. TOOLS 13 compleet systeem als
Page 21 and 22: 2.2. TOOLS 15 Indien het sleutelwoo
Page 23 and 24: Hoofdstuk 3 Methodologie In dit hoo
Page 25 and 26: 3.1. DESIGN BY CONTRACT 19 Het prin
Page 27 and 28: 3.2. BESCHRIJVING VAN DE METHODOLOG
Page 29: 3.2. BESCHRIJVING VAN DE METHODOLOG
Page 43 and 44: 3.3. NAÏEVE AANPAK 37 Listing 26 S
Page 45 and 46: 3.3. NAÏEVE AANPAK 39 Listing 30 v
Page 47 and 48: 3.4. INTELLIGENTE AANPAK 41 Figuur
Page 49 and 50: 3.5. EVALUATIE 43 3.4.4.1 Inkapseli
Page 51 and 52: 3.5. EVALUATIE 45 Figuur 3.2: Klass
Page 53 and 54: 4.1. HAT 47 Figuur 4.1: Architectuu
Page 55 and 56: 4.2. RUN-TIME OCL NAAR JAVA 49 Figu
Page 57 and 58: 4.3. NAÏEVE AANPAK IN HAT 51 van d
Page 59 and 60: 4.5. EVALUATIE 53 Id Criteria Opmer
Page 61 and 62: 5.2. VERTALING MET BEHULP VAN HAT 5
Page 63 and 64: 5.2. VERTALING MET BEHULP VAN HAT 5
Page 65 and 66: Hoofdstuk 6 Besluit MDD zou moeten
Page 67 and 68: 6.4. TOEKOMSTIG WERK: UITBREIDINGEN
Page 69 and 70: Bibliograe [1] A.Kleppe, J.Warmer,

Dankwoord - martes

Create successful ePaper yourself

Delete template?

Save as template?