Dankwoord - martes

3.3. NAÏEVE AANPAK 37
Listing 26 Sjabloon voor OCL result sleutelwoord
int operation(int attribute2){
int result = 0;
// ...
//
// ...
assert checkPostP2Operation(result,attribute2);
return result;
}
public boolean checkPostP2Operation(int result,int i){
return result == this.getAttribute2()*1000;
}
3.3 Naïeve aanpak
In deze sectie illustreren we de meest evidente aanpak. In deze aanpak worden klasseinvarianten,
pre- en postcondities ingekapseld in booleaanse methoden. Klasse-invarianten
moeten waar zijn op ieder consistent moment. Met andere woorden zijn klasse-invarianten
gecontroleerd voor en na elke uitvoering van publieke methodes en constructoren. Alle klasseinvarianten
zijn verder in een gemeenschappelijke booleaanse methode ingekapseld door een
conjunctie van deze invarianten te nemen. Pre- en postcondities worden respectievelijk voor
en na de executie van de publieke methoden en constructoren nagegaan.
3.3.1 Vertaling van invarianten
In de vorige sectie hebben we een beschrijving van een mogelijke vertaling van OCL expressies
naar JAVA gezien. Nu kunnen we deze methodologie op klasse-invarianten in een model
toepassen.
3.3.1.1 Inkapseling van een invariant in een booleaanse methode
De inkapseling van klasse-invarianten en de bijbehorende sjablonen waren al in de vorige
sectie besproken. Hier zullen we meer uitgebreid deze vertaling bespreken. Stel voor dat we
een klasse met een aantal klasse-invarianten hebben:
Listing 27 voorbeeld
context ClassA
inv invariant_1:
inv invariant_2:
inv invariant_3: -> forall()
De vertaling van deze klasse-invarianten naar JAVA is hieronder gegeven. Elke invariant is
vertaald in een booleaanse methode. Bij de naam van elke van deze booleaanse methoden is
de naam van de invariant geconcateneerd. Op deze manier is er een garantie voor consistentie
tussen de verschillende gegenereerde invarianten. In invariant_3 zien we dat we met een