class invariant

== English == === Noun === class invariant (plural class invariants) (object-oriented programming) An invariant used to constrain objects of a class that is preserved by class methods and that constrains the state stored in the object. Synonym: (more generally) type invariant ==== See also ==== design by contract