Dankwoord - martes

36 HOOFDSTUK 3. METHODOLOGIE
Listing 23 Sjabloon voor OCL @pre expressie
void operation(int attribute2){
int old_attr = this.getAttribute();
// ...
//
// ...
assert checkPostP1Operation(old_attr,attribute2);
}
public boolean checkPostP1Operation(int old_attr, int i){
return this.getAttribute() == old_attr + i;
}
Indien we tijdelijke objecten willen bijhouden gebruiken we dan een kopie-constructor. Kopieconstructors
moeten dan in de klasse waarin de betrokken operatie behoort gedenieerd worden.
Vervolgens mogen we de sjabloon van daarvoor toepassen. De JAVA code tonen we
hieronder:
Listing 24 @pre object
void operation(Object object2){
Object old_obj = new Object(obj);
// ...
//
// ...
assert checkPostP1Operation(old_obj,object2);
}
public boolean checkPostP1Operation(Object old_obj, Object object2){
return this.getObject().getProperty() ==
old_obj.getProperty() + object2.getProperty();
}
3.2.8.2 Het sleutelwoord result
Het sleutelwoord result geeft de terugwaarde van een operatie terug indien er een is. Bijgevolg
is het type van result bepaald door het terugtype van de operatie. Dit sleutelwoord wordt
gebruikt bij postcondities van operaties.
Listing 25 Een voorbeeld van het OCL result sleutelwoord
context Class :: operation(attribute2 : Integer):Integer
post p2: result = attribute2*1000
De resulterende JAVA code is: