Introduction to OOP

Chapter 16: Overriding :

Refinement in Beta

Beta is interesting in that it always uses refinement.

The parent method is always executed first. If it executes the special statement

	inner;

then, at that point the child method is executed. The child class can in turn do an inner, and so on arbitrarily.

If a class has no child, then an inner statement has no effect.