Special feature names

Sather - Language Specification
Prev |  | Next

# Chapter 12. Special feature names

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.

Prev | Home | Next
result expressions | Up | main