Intended Use Eiffel is an object-oriented language designed for the specification, design implementation and modification of large applications and reusable components. Basic Concepts Eiffel is based on a pure object model. An Eiffel class is an implementation of an abstract data type i.e., a class describes the operations available to the type and formal properties of those operations. A class describes possible run-time objects. Eiffel is strongly typed.
Every entity is declared of a particular type.
This involves the creation of an object of the root class and subsequent creation of other objects by that newly created object. Objects Objects in Eiffel are instances of an abstract data type. The properties of abstract data types are described in a class. The public interface details the ways an object can be manipulated through operations. There may be more than one public interface for a particular Eiffel class.