This cluster provides deferred classes that abstract out component behaviour:
Moreover, the class SMART_EIFFEL drives the compilation process. It stays in this cluster because it is so important.
Provides ACE handling and class loading algorithms, including the (in)famous "distance class loader". Let's explain how this algorithm works.
Classes are stored in clusters which are physical directories. Those clusters are organized:
In both cases, clusters are organized in a tree. The interface of this tree is CLASSES. The root instance of the tree is a direct instance of UNIVERSE, which is a singleton. Node instances of the tree are direct instances of LOADPATH. Leaf instances, i.e. the ones holding a reference to an actual cluster, are direct instances of CLASSES_TREE. Note that both inherit from CLUSTERS, and technically a CLASSES_TREE is a node that may contain other cluster nodes. In fact that's not the case but that could change of course ;-)
How do we load classes now that the tree is built?
A class is searched starting from who searches it. A "provider" class is always looked for in conjunction to its "client". We compute the distance between the client and one or more would-be provider classes having the same name, and the closest class is selected.
The distance is calculated thus:
This cluster contains all the main classes used to implement the SmartEiffel tools.
Provides all types of EXPRESSIONs.
Provides all types of E_FEATUREs.
Provides all types of INSTRUCTIONs.
Maybe one of the most important clusters. This cluster contains all the classes one should first get used to in order to understand how the compiler and the other tools work. These classes contain the core algorithms and structures used by the SmartEiffel suite.
Provides for all kinds of Eiffel types of entities. For example, MY_OBJECT and like my_object type markers lead to different TYPE_MARKs. Among the most frequent are: