Public properties must be forbidden #35
Labels
feature/invariant
The `invariant` declaration
requirement
An assertion or property that must be fulfilled
Milestone
To guarantee invariants remain valid, public property definitions are forbidden. All interactions with a contracted class must be done through a method or accessor.
The text was updated successfully, but these errors were encountered: