What is Class Invariant?
(a) A class invariant is an assertion that must be true of any class instance between calls of its exported operations
(b) Class invariants must be established by class constructors
(c) Class invariants must be preserved by every exported operation in the class
(d) All of the mentioned
The question was posed to me in final exam.
The origin of the question is Operation Specification in section Visibility, Accessibility and Information Hiding of Software Architecture