Instructors' Guide

Introduction Terminology Expressions Control Objects Inheritance Technology Summary


Developing programs in Eiffel is meant to be primarily a matter of modeling, that is designing classes and the (inheritance) relations between classes. An essential ingredient of class development is the design of appropriate interfaces.

Rename and/or redefine

  class C export ... inherit
    A rename m as m1 redefine p
    B rename m as m2 redefine q

slide: Eiffel -- techniques

To define a class as (derived from) a combination of classes, Eiffel allows both the renaming and redefinition of inherited features. See slide eiffel-tech. In  [Meyer88], many practical hints are given and numerous examples employing these mechanisms.