Eiffel Glossary

From EiffelStudio: an EiffelSoftware project
Revision as of 01:49, 30 November 2006 by Manus (talk | contribs) (Added dependence on other libraries from library)
Jump to navigation Jump to search

Eiffel uses a precisely defined terminology. That terminology sometimes sounds strange to programmers used to other languages, but it's only because (1) there has been a systematic effort to classify object-oriented concepts in a logical way; (2) some of the terms predate terminology that is used in other languages. You will see, however, that behind every choice of term there is a carefully devised rationale.

Please try to keep the list sorted alphabetically.

Attribute
A property of a class that denotes a field present in each instance of the class.
Cluster
A group of logically related classes that have something in common. The corresponding class texts are generally stored in files of a single directory.
Feature
An operation (command or query) applicable to all instances of the class, and specified in the class text. Routines and attributes are examples of features.
Function
In a class, a feature with an associated algorithm that returns a result. A pure function or query does not affect the state of its object.
Library
A group of related classes, devised to cover all the facilities needed in a certain application areas. A library is made of a number of clusters and may depends on other libraries. For example a math library may be composed of clusters devoted to random number generation, linear algebra, integration, etc.
Procedure
In a class, a feature with an associated algorithm that does not return a result directly but often changes the state of the object associated with the Procedure
Routine
In a class, a feature with an associated algorithm, so that calling the feature executes that algorithm. A Routine takes zero or more arguments.