Dankwoord - martes

14 HOOFDSTUK 2. STATE-OF-THE-ART
te schrijven. Controle voor geldigheid en consistentie van constraints is door het tool gedaan.
Er is geen mogelijkheid om de structuur van de gegenereerde code te veranderen.
Een van de positieve punten van dit tool is dat het tool ondersteuning biedt voor zowel
invarianten als voor pre- en postcondities. Binnen elke gegenereerde klasse uit het model is
een statische klasse gedenieerd met de bijbehorende constraints. Het skelet van een klasse
ziet als volgt uit:
Listing 3 Together
class X{
private int attribute;
public void operation(){
assert ( OCL.preOperation());
// ...
assert(OCL.AllInvariants() && OCL.postOperation());
}
protected static class OCL{
private OCL(){
}
static boolean inv0(){
}
static boolean inv1(){
}
static boolean allInvariants(){
return inv0()&& inv1();
}
static boolean preOperation(){
}
static boolean postOperation(){
}
}
}
Het tool genereert code voor alle attributen, associaties en operaties en natuurlijk ook voor
de constraints uitgedrukt in OCL. Constructoren, mutatoren en inspectoren worden niet gegenereerd.
De vertaalde OCL code refereert naar de attributen of associaties zelf en niet naar
hun inspectoren. Vermits visibiliteit van attributen meestal beperkt is tot de klasse waarin ze
gedenieerd zijn, is de gegenereerde code soms niet compileerbaar omwille van het probleem
van visibiliteit. Een oplossing is om alle attributen publiek te maken wat niet altijd gewenst is.
Operaties op collecties zijn ook ondersteund. Indien in een OCL expressie collectieiteratoren
aanwezig zijn, zijn deze niet ingekapseld in aparte methoden maar tussen try-catch blokken
binnen de invariant of pre- en postconditie methode zelf. Dat leidt bij complexe OCL expressie
tot lange en soms niet overzichtelijke methoden met een aantal grote try-catch blokken.
Indien we de code structuur van de gegenereerde code bekijken, zien we dat de controle op de
constraints gebeurt door het gebruik van asserties. Dat beschouwen we als een goede techniek.
Postcondities mogen meer geavanceerde constructies hebben. De sleutel worden @pre en result
zijn geimplementeerd.