Word.ws English Dictionary

class invariant

class invariant noun: an invariant used to constrain objects of a class that is preserved by class methods and that constrains the state stored in the object.

Noun

class invariant (plural class invariants)

  1. (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.
    • Every object of a given class must satisfy the class's invariant. This invariant acts as a constraint, limiting the size of the class's state-space. A subclass both inherits the class invariant(s) of its superclass(es) and adds a further restriction of its own.2000, Meilir Page-Jones, Fundamentals of Object-oriented Design in UML, Addison-Wesley Professional, →ISBN, page 272
    Synonyms:
    type invariant

Synonyms of class invariant

  • type invariant

Forms of class invariant

pluralclass invariants

Questions about class invariant

What does class invariant mean?
Class invariant means an invariant used to constrain objects of a class that is preserved by class methods and that constrains the state stored in the object.
What part of speech is class invariant?
Class invariant is a noun.
What is the plural of class invariant?
The plural of class invariant is class invariants.

Words near class invariant in the dictionary

  1. class diagram
  2. class diagrams
  3. class enemies
  4. class enemy
  5. class envy
  6. class invariant
  7. class invariants
  8. class list
  9. class lists
  10. Class M
  11. class reunion

Source and license

Adapted from Wiktionary: class invariant (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “class invariant.” Word.ws, https://word.ws/class_invariant. Based on Wiktionary, CC BY-SA 4.0.