Definition of a component using Eiffel notation.

Integrating Extension and Specialization Inheritance
by Walid Al-Ahmad and Eric Steegmans
Listing 1. Definition of a component using Eiffel notation.


component HEIGHT feature
    height : REAL
    setHeight (ht : REAL) do height := ht end
    changeHeight (delta : REAL) do height := height + delta end
    -- other possible operations
end