There are several views on how replacement or refinement should be documented
in the program text.
-
Some languages (C++) require that notification be given in the parent class
that replacement is permitted (whether or not it occurs).
-
Some languages (Object pascal) require that notification be given in the
child class that replacement is taking place.
-
Some languages (Smalltalk, Objective-C) do not automatically document
replacement or refinement at all.