Sources
open directory project
Help build the largest human-edited directory on the web.
Submit a site - Become an editor
Wikipedia. Licensed under the GNU Free Documentation License.
Are you an expert in this subject? Join the discussion and share your knowledge at Wikipedia.org.
Class invariant
From Wikipedia, the free encyclopedia
(Redirected from Class invariants)
- This article is about class invariants in computer programming, for use of the term in mathematics, see equivalence class and invariant.
 |
It has been suggested that Object invariant be merged into this article or section. (Discuss) |
In computer programming, a class invariant is an invariant used to constrain objects of a class. Methods of the class should preserve the invariant. The class invariant constrains the state stored in the object.
Class invariants are established during construction and constantly maintained between calls to public methods. Temporary breaking of class invariance between private method calls is possible, although not encouraged.
This is an example of a class invariant in the D programming language. The invariant must hold to be true after the constructor is finished, before the destructor gets called, and at the entry and exit of all public member functions.
class Date
{
int day;
int hour;
invariant
{
assert(1 <= day && day <= 31);
assert(0 <= hour && hour < 24);
}
this(int d, int h) { day = d; hour = h; }
}
