Object invariant

From Wikipedia, the free encyclopedia

You have new messages (last change).
It has been suggested that this article or section be merged into Invariant (computer science). (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


Software spanner This software engineering-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org../../../o/b/j/Object_invariant.html"