Editing Eiffel (programming language) (section)

===Inheritance basics===
To inherit from one or more others, a class will include an <code>inherit</code> clause at the beginning:

<syntaxhighlight lang="eiffel">
class C inherit
   A
   B

-- ... Rest of class declaration ...
</syntaxhighlight>

The class may redefine (override) some or all of the inherited features. This must be explicitly announced at the beginning of the class through a <code>redefine</code> subclause of the inheritance clause, as in

<syntaxhighlight lang="eiffel">
class C inherit
    A
        redefine f, g, h end
    B
        redefine u, v end
</syntaxhighlight>

See<ref>{{cite web|url=http://archive.eiffel.com/doc/online/eiffel50/intro/language/tutorial-10.html |title=9 INHERITANCE |publisher=Archive.eiffel.com |date=1997-03-23 |access-date=2013-07-08}}</ref> for a complete discussion of Eiffel inheritance.