Idiom # 123: Assert condition

See programming-idioms.org:

Fuzion supports contracts via pre- and post-conditions. See: Design by contract Invariants do (mostly) not make sense in Fuzion since use of mutable data is discouraged and should be avoided. One possibility to emulate assert conditions is by calling a feature with a pre condition.

Code

Running Example