Dankwoord - martes

3.1. DESIGN BY CONTRACT 19
Het principe achter pre- en postcondities is meestal gerefereerd naar het principe van Design
By Contract (DBC) dat wij in de vorige sectie uitgelegd hebben.
Vermits niet alle programmeertalen het principe van DBC ondersteunen, kan DBC op een of
ander manier gesimuleerd worden in andere programmeertalen. Volgende sectie introduceert
het begrip assertion en meer bepaald hoe dat kan geimplementeerd worden in de programmeertaal
JAVA.
3.1.3 Assertions in Java
Een assertie (assertion) [14] is een booleaanse expressie die ons toelaat om een veronderstelling
over een programma te toetsen. Als deze veronderstelling niet waar is, zal het programma een
exceptie gooien. Indien de vericatie van deze booleaanse expressie waar levert dan bevestigt
de corresponderende assertion de gemaakte veronderstelling. Als gevolg krijgt men foutsvrije
programmas en de kwaliteit van de programmas is verhoogd.
Ervaring toont dat het gebruik van assertions tijdens programmeren een van het snelste en
meest eectieve manieren is om fouten te detecteren en corrigeren. Bovendien dienen assertions
voor documentatie van programmas en op deze manier is de onderhoud verbeterd.
In JAVA heeft assertion de volgende vorm:
assert Expressie1 : Expressie2 ;
waarbij Expressie1 een booleaanse expressie is en Expressie2 een expressie is die een waarde
heeft (deze expressie kan geen invocatie van een methode zijn die als void gedenieerd is). Het
systeem evalueert Expressie1 en als dat false is dan gooit het systeem een AssertionError.
Dan wordt de waarde van Expressie2 doorgegeven aan de constructor van AssertionError die
de stringrepresentatie van de waarde van Expressie2 gebruikt om een gedetailleerde bericht
van de fout te geven.
De assert constructie is een informele soort van Design By Contract. Toch kan men een
ondersteuning voor klasse-invarianten, pre- en postcondities bieden. De assert constructie
dwingt ons niet om een bepaalde soort van constraint-checking te gebruiken. Meestal is gelegen
om de expressies die constraints op de objecten van ons systeem opleggen te combineren in een
enkele booleaanse methode. Dan wordt deze booleaanse methode opgeroepen door de assertie
clausule.
3.1.3.1 Waarom assertie gebruiken?
Veel mensen zouden zich afvragen waarom men een assertie faciliteit moet aanbieden. Deze
speciale ondersteuning van assertie in de JAVA programmeertaal kan expliciet geprogrammeerd
worden.
Alhoewel een ad hoc implementatie mogelijk is is het meestal minder gestructureerd (ifstatements
nodig voor elke assert) en ineciënt (evaluatie van de condities zelfs als asserties
uitgeschakeld zijn). Ten tweede heeft elke ad hoc implementatie zijn eigen manier van aanen
uitschakelen van asserties. Dit reduceert het nut van deze implementaties vooral bij debuggen.
Bijgevolg is de assertie cultuur nooit gevolgd door software ingenieurs in de JAVA
programmeertaal.