The language Eiffel -- keywords

  • class -- a model for a set of objects
  • feature -- attribute, function, procedure
  • export -- interface declaration
  • inherit -- class inclusion and subtyping (!)
  • redefine, rename -- to change inherited features
  • deferred -- to postpone the implementation
  • require, ensure, invariant -- assertions

slide: Eiffel -- terminology