Description

This article is from the FAQ, by with numerous contributions by others.

L11) What about invariants in BETA?

Invariants are not an integrated part of the BETA language. However, it is
possible to create an invariant system as a framework or library, entirely
written in BETA. In the Mjolner System, an experimental invariant system is
available. The system offers class invariants as well as pre- and
post-conditions for operations. The invariant system also offers the ability
to control whether the invariants are checked or not, either on individual
object basis or system-wide.

Continue to:

• prev: L10) What is the difference between a virtual binding, a further binding and a final binding (i.e. between :<, ::<, and ::)?
• Index
• next: L12) What about change propagation in BETA?