Class Invariant

Principles

Conditions that must always be held for a class

Condition on a function argument is that, it should always be > 0 (greater than zero) or should not be null.
Minimum_account_balance property of an account class states, it cannot go below 100. So all public functions should respect this condition and ensure class invariant.
Rule based dependency between variables, that is, the value of one variable depends on another, so if one changes, using some fix-rule, the other must also change. This relationship between 2 variables must be preserved. If it does not, then invariant is violated.

`1`	`list from Class Invariant AND !outgoing(Class Invariant)`

References:

Created:: 2022-01-22 15:52