Substitutieprincipe van Liskov: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k Invulling parameters sjabloon |
k LSP duidelijker gemaakt, externe link + nadruk contractuele binding |
||
Regel 1:
Het '''substitutieprincipe'''
:''Let <math>q(x)</math> be a property provable about objects <math>x</math> of type <math>T</math>. Then <math>q(y)</math> should be true for objects <math>y</math> of type <math>S</math> where <math>S</math> is a subtype of <math>T</math>.''
Daar dit een principe is spreken we van een contractuele binding tussen de basis klasse en al wie van hem erft.
==Externe links==
* [http://www.rgoarchitects.com/Files/ooprimer.pdf Liskov Substitution Principle, OO Primer], Arnon Rotem-Gal-Oz.
{{Beginnetje|mens & maatschappij|2=2011|3=01|4=24}}
| |||