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.

Continue reading →