Dankwoord - martes

50 HOOFDSTUK 4. REALISATIE IN HAT
tegenhangers in JAVA API hebben.
Bij het doorlopen van een expressieboom gaan we voor elk OCL modelelement de bijbehorende
schrijver oproepen. Deze schrijvers zullen een JAVA representatie voor het OCL modelelement
produceren. Voor collectieiteratoren moeten we nieuwe hulpmethoden genereren die geen
tegenhangers in JAVA hebben. Bij het doorlopen van een OCL expressieboom willen we
maar een oproep naar deze extra hulpmethoden produceren. Natuurlijk moeten deze extra
hulpmethoden ergens anders gegenereerd worden.
Nu wordt duidelijk dat indien we met een generator te werk gaan komen we terecht in een probleem.
De oproep naar een gewenste hulpmethode wordt wel geproduceerd maar de methode
zelf is nergens gegenereerd.
We hebben dat opgelost door voor elk OCL modelelement dat extra hulpmethoden vereist,
nieuwe generatoren te creëren. Deze nieuwe generatoren zullen voor elk OCL modelelement een
schrijver hebben. Natuurlijk deze schrijvers zullen een verschillende representatie (sjabloon)
bevatten.
Met andere woorden gaan we voor een run-time OCL expressie de operatie GenerateCode()
telkens met verschillende generatoren oproepen. Bij de eerste oproep van de GenerateCode()
operatie wordt een oproep naar een gewenste hulpmethode gecreëerd. Vervolgens wordt opnieuw
de GenerateCode() operatie met een andere generator opgeroepen. Deze generator zal
maar schrijvers voor OCL elementen van type LoopExpr hebben. Deze schrijver zal de sjablonen
voor de verschillende collectieiteratoren bevatten die eigenlijk de hulpmethoden zullen
produceren.
4.2.3 OCL If-then-else en let modelelementen
De voorgestelde sjabloon in hoofdstuk 3 voor OCL if-then-else expressie kunnen we ook
in HAT implementeren. We doen dat door in de schrijvers voor OCL modelelementen van
type IfExpr de sjabloon voor if-then-else expressie toe te voegen. Indien de if-then-else
expressies een of meerdere collectieiteratoren bevatten dan moeten we de aanpak van subsectie
4.2.2 implementeren. Namelijk roepen we een tweede keer de GenerateCode() operatie op met
de generator voor collectieiteratoren.
Voor OCL let-expressies gaan we de bijbehorende sjabloon in een aparte hulpmethode inkapselen
zoals in hoofdstuk 3 uitgelegd was. Om dat te kunnen implementeren gaan we bij
de eerste oproep van de GenerateCode() operatie een oproep naar een let methode produceren.
Vervolgens gaan we een tweede keer GenerateCode() oproepen met een andere generator
(generator voor OCL let expressie) die de let methode zelf gaat genereren.
4.2.4 Inkapseling van collectieoperaties
In subsectie 3.2.3.3 hebben we verschillende oplossingen voorgesteld voor inkapseling van OCL
collectieoperatiesjablonen in JAVA methoden. Voor de transformatie van run-time OCL expressie
naar JAVA in HAT hebben we de eerste oplossing geimplementeerd. We hebben dat
al in subsectie 4.2.2 op de vorige pagina besproken.
De tweede voorgestelde oplossing waarbij we een keer een standaard bibliotheek met alle collectieoperaties
genereren, is moeilijk in de huidige versie van HAT te implementeren. Het idee