1 minute, 25 seconds
Designkontrakter og ansvarsfordeling
- slide 20 : 31
Hvornår skal en invariant være opfyldt?
En klasseinvariant skal opfyldes på følgende tidspunkter i et objekts levetid:
Umiddelbart efter objektets skabelse (initialisering via en konstruktor)
Før udførelsen af en offentlig operation
Efter udførelsen af en offentlig operation
Klasseinvarianten skal ikke nødvendigvis opfyldes efter udførelse af private operationer i klassen
