InterviewSolution
Saved Bookmarks
InterviewSolution
| 1. |
What Is Class Invariant? |
|
Answer» A CLASS invariant is a condition that defines all valid states for an object. It is a logical condition to ensure the CORRECT working of a class. Class invariants must hold when an object is CREATED, and they must be preserved under all operations of the class. In particular all class invariants are both PRECONDITIONS and post-conditions for all operations or member FUNCTIONS of the class. A class invariant is a condition that defines all valid states for an object. It is a logical condition to ensure the correct working of a class. Class invariants must hold when an object is created, and they must be preserved under all operations of the class. In particular all class invariants are both preconditions and post-conditions for all operations or member functions of the class. |
|