Invariant de classe

En programmation informatique, un invariant de classe est un invariant utilisé pour contraindre des objets d'une classe. Pour chaque instanciation, l'invariant est préservé avant et après l'appel des méthodes de la classe.

Liens externes

(en) The benefits of object-oriented programming using class invariants, Philip Guo (Stanford University), 2008.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.