Scala provides a set of preconditions
functions (assert, assume, require, ensuring).
In addition to the actual functionality of dynamically check invariants, these functions are used for documentation and static code analysis.
Scala provides a set of preconditions
functions (assert, assume, require, ensuring).
In addition to the actual functionality of dynamically check invariants, these functions are used for documentation and static code analysis.