What is Class Invariant


What is Class Invariant?

  1. A class invariant is an assertion that must be true of any class instance between calls of its exported operations
  2. Class invariants must be established by class constructors
  3. Class invariants must be preserved by every exported operation in the class
  4. All of the mentioned


D. All of the mentioned

total answers (1)