Dankwoord - martes

3.2. BESCHRIJVING VAN DE METHODOLOGIE 27
source->collect(body)
De JAVA code ziet er zo uit:
Listing 7 Sjabloon voor OCL collect operatie
List result = new ArrayList();
Iterator it = source.iterator();
while(it.hasNext()){
ElementType elem = (ElementType) it.next();
Object bodyObj = elem.body;
if(bodyObj != null){
result.add(bodyObj);
}
}
return result;
iterate operatie
De iterate operatie is de meest fundamentele en ingewikkelde operatie die over collecties
itereert maar bijzonder generisch. De operaties reject, select, forAll, exists, collect
kunnen allemaal in termen van iterate beschrijven worden. De collect operatie beschreven
in termen van iterate is als volgt:
Listing 8 collect operatie in termen van iterate
collection->collect(x:T|x.property)
is identiek aan :
collection->iterate(x:T; acc: T2= Bag{}|
acc->including(x.property))
In deze thesis hebben we geen sjabloon voor iterate voorgesteld. We vinden dat wat men met
iterate wil uitdrukken kan in de meeste gevallen ook uitgedrukt worden met een specieke
collectieiterator. Bovendien is veel makkelijker en overzichtelijker indien we een collectieiterator
gebruiken dan gewoon de OCL iterate operatie bij run-time OCL. Indien we de OCL
expressies van Listing 8 met elkaar vergelijken dan is duidelijk dat de eerste indrukking overzichtelijker
is die de collectieiterator collect gebruikt. In werkelijkheid zal een implementatie
van de iterate operatie op zichzelf niet zo veel werk vragen.
exists operatie
Meestal wil men speciceren dat er minstens een element in een collectie is die aan een bepaalde
conditie voldoet. De exists operatie kan hiervoor gebuikt worden. Deze operatie geeft een
booleaans resultaat terug. Met andere woorden is het resultaat van deze operatie waar indien
er minstens een element in de collectie bestaat dat aan de voorwaarden gespeciceerd in de
body van de operatie voldoet. Indien we de volgende OCL expressie hebben