Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

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.


Running Example