Dankwoord - martes

2.2. TOOLS 11
alleen maar invarianten en precondities. In de laatste versie 2.2.0 die we getest hebben, zijn
postcondities nog niet ondersteund. Bijgevolg zijn sleutelwoorden als @pre en result ook niet
vertaald.
Iedere keer een OCL expressie gebruik maakt van collectieoperaties die over collecties itereren
zijn er hulp methoden voor gecreëerd. Op deze manier wordt de code met dupliceerde
hulp methoden aangevuld. Bij operaties zijn er wel de precondities gecheckt maar niet de
invarianten.
Hieronder geven we een skelet van hoe de gegenereerde JAVA code eruit ziet:
Listing 1 Octopus
class X{
private int attribute;
public X(){
}
public void operation(){
assert (precondition);
//...
}
private boolean helpMethod(){
}
public void inv0(){
boolean result = helpMethod();
if(!result) throw new InvariantException();
public void inv1(){
}
public List checkAllInvariants(){
List result = new ArrayList();
try{
inv0();
}catch(InvariantException e){result.add(e);}
try{
inv1();
}catch(InvariantException e){result.add(e);}
return result;
}
}
2.2.2 OCLE
OCLE [12] is een UML CASE tool dat OCL volledig ondersteunt, zowel op metamodel als
op modelniveau. De codegenerator produceert code voor de modelstructuur en voor de OCL
specicatie. Het resultaat is een volledig werkende code. Versie 2.0 van het tool biedt ondersteuning
voor OCL 2.0 en is compatibel met UML 1.5.
Indien men dit tool voor codegeneratie wil gebruiken moet men eerst een model in het tool
creëren en dan de bijbehorende OCL constraints toevoegen. Deze constraints kunnen geva-