Dankwoord - martes

28 HOOFDSTUK 3. METHODOLOGIE
source->exists(body)
dan is de corresponderende JAVA code in Listing 9 te zien. Hier source is een collectie en
daarvoor gebruiken we de JAVA interface Iterator om over deze collectie te kunnen itereren.
De JAVA code ziet er zo uit:
Listing 9 Sjabloon voor OCL exists operatie
Iterator it = source.iterator();
while(it.hasNext()){
ElementType elem = (ElementType) it.next();
if(elem.body){
return true;
}
}
return false;
forAll operatie
Soms wil men dat er een beperking voor alle elementen uit een collectie geldt. In dat geval kan
hij de forall operatie gebruiken. Indien de OCL expressie in de body van de operatie voor
een of meer elementen uit de collectie faalt geeft de forall operatie niet waar als resultaat
terug. Gegeven de volgende OCL expressie
source->forall(body)
De vertaling van de OCL expressie naar JAVA die de forall operatie bevat is te zien in de
volgende sjabloon:
Listing 10 Sjabloon voor OCL forAll operatie
Iterator it = source.iterator();
while(it.hasNext()){
ElementType elem = (ElementType) it.next();
if(! elem.body){
return false;
}
}
return true;
isUnique operatie
Indien men in een collectie van elementen een unieke waarde voor ieder element in deze
collectie wenst moet hij de isUnique operatie gebruiken. De body van deze operatie is meestal
een expressie over een bepaalde eigenschap van het type van de betrokkene elementen in de
collectie. Het resultaat van deze operatie geeft een booleaanse waarde terug. Deze operatie zal
over alle elementen itereren en zal voor elk element de gevraagd waarde met de meegegeven