Object invariant

From Wikipedia, the free encyclopedia

It has been suggested that this article or section be merged into Class invariant. (Discuss)

An object invariant, or representation invariant, is an object-oriented programming construct consisting of a set of invariant properties that remain uncompromised regardless of the state of the object. This ensures that the object will always meet predefined conditions, and that methods may, therefore, always reference the object without the risk of making inaccurate presumptions.

[edit] See also

• Invariant (computer science)
• Class invariant
• Loop invariant

This software engineering-related article is a stub. You can help Wikipedia by expanding it.