Dankwoord - martes

3.2. BESCHRIJVING VAN DE METHODOLOGIE 33
Listing 17 Sjabloon OCL if-then-else expressie
return (< translation of boolean OCL expression >) ?
: ;
3.2.5 Vertaling van OCL let expressies
In OCL let expressies zijn er lokale variabelen gedenieerd. De implementatie van de let
expressie in JAVA gebeurt op dezelfde wijze. In de sjabloon voor de let expressie worden
deze lokale variabelen ook gedenieerd. Er moet wel aandacht aan de scope van de lokale
variabelen besteed worden. De typen van deze variabelen in de OCL let expressie moeten op
de juiste JAVA typen afgebeeld worden. Dat is het variabel gedeelte voor de let sjabloon. In
de JAVA code is dat te zien met bold-italic lettertypen.
Listing 18 Een voorbeeld van een OCL let expressie
let
tmp1 : Integer = self.attribute1,
tmp2: String = self.attribute2
in
if self.attr3 then
tmp1 >= 18
else tmp1 < 18
endif
De bovenstaande OCL let-expressie illustreert hoe de vertaling naar JAVA gebeurt. Er
kunnen ook nog collectieiteratoren in het 'let' of 'in' deel van de let expressie voorkomen.
In dit geval worden hulpmethoden voor deze collecties gegenereerd.
Listing 19 Sjabloon voor OCL let expressie
boolean result = false;
int tmp1 = this.getAttribute1() ;
String tmp2 = this.get Attribute2() ;
result = (this.getA ttr3() ? tmp1 >= 18 : tmp1 < 18;
return result;
3.2.6 Vertaling van klasse-invarianten
Elke invariant wordt vertaald in een publieke booleaanse methode. Bij de naam van deze
booleaanse methoden wordt de naam van de invariant geconcateneerd. Op deze manier is er
een garantie voor consistentie tussen de verschillende gegenereerde invarianten. De publieke
visibiliteit van de methode zorgt voor dat instantiaties van de klasse waarin deze methode
gedenieerd is een toegang tot deze methode krijgen. Hieronder tonen we een sjabloon van
een methode voor een klasse-invariant die een vast en een variabel gedeelte heeft.