Chapter 12. Special feature names

Table of Contents
12.1. invariant
12.2. main

This section describes features of classes that have special properties.

12.1. invariant

If a routine with the signature 'invariant:BOOL', appears in a class, it defines a class invariant. It is a fatal error for it to evaluate to false after any public method of the class returns, yields, or quits.