Klasseinvarianter

3 minutes, 2 seconds

Designkontrakter og ansvarsfordeling - slide 18 : 31

Klasseinvarianter

Klasseinvarianten udtrykker nogle krav, som skal være opfyldt på ethvert stabilt tidspunkt i levetiden af klassens instanser

En klasseinvariant udtrykker egenskaber af et objekt, som er uforanderlige i forhold til en række påvirkninger af objektet

En klasseinvariant
- virker som en generel skærpelse af både pre- og postbetingelser af metoder klassen
- kan benyttes til at udtrykke nogle generelle konsistensforhold mellem metoder og/eller datarepræsentation
- udgør et 'sundhedskriterium' for instanser af klassen

Der skal altid være én kop kaffe på kanden

Klasseinvariant i DoubleLinkable