Base Library: Class Creation and Initialization
This library cluster has 39 classes.
ECF: base.ecf
Classes for the following:
- Creating and initializing instances of a class.
- Factory indirection, i.e. factories for creating factories.
- Managing cross-platform bridge initialization
- Managing Precursor calls to avoid repeats
- Managing creation and initialization of singleton objects
- Managing creation of "lazy attributes"
Directory: library/base/kernel/initialization
factory
EL_AGENT_FACILITATED_FACTORY
EL_FACTORY that looks up a shared factory FUNCTION by type_id
EL_ARRAYED_LIST_FACTORY
Factory to create items conforming to ARRAYED_LIST [ANY]
Further Information
Click on class link to see notes.
EL_DATE_FACTORY
Factory to create items conforming to DATE
Further Information
Click on class link to see notes.
EL_DATE_TIME_FACTORY
Factory to create items conforming to DATE_TIME
Further Information
Click on class link to see notes.
EL_DEFAULT_CREATE_FACTORY
Factory to create any object that has the default_create make routine
Further Information
Click on class link to see notes.
EL_FACTORY
Abstract factory for objects of type G
Further Information
Click on class link to see descendants.
EL_HASH_TABLE_FACTORY
Factory to create items conforming to ARRAYED_LIST
Further Information
Click on class link to see notes.
EL_STRING_FACTORY
Factory to create empty strings conforming to READABLE_STRING_GENERAL
Further Information
Click on class link to see notes and client examples.
EL_TIME_FACTORY
Factory to create items conforming to TIME
Further Information
Click on class link to see notes.
EL_TUPLE_FACTORY
Creates a tuple with uniform type and initializes it with a supplied FUNCTION
Further Information
Click on class link to see client examples.
factory/makeable
EL_MAKEABLE
Object that is initializeable by a call to make
Further Information
Click on class link to see client examples.
EL_MAKEABLE_FACTORY
A factory cell to create objects conforming to EL_MAKEABLE
Further Information
Click on class link to see notes.
EL_MAKEABLE_FROM_STRING_FACTORY
A factory cell to create objects conforming to EL_MAKEABLE_FROM_STRING [STRING_GENERAL]
Further Information
Click on class link to see notes.
EL_MAKEABLE_TO_SIZE
Object that is initializable to a specified size or capacity
EL_MAKEABLE_TO_SIZE_FACTORY
A factory cell to create objects conforming to EL_MAKEABLE_TO_SIZE
factory/object
EL_CLASS_SET_FACTORY
Factory to create class instances conforming to parameter G and contained in set of types defined by TYPE_SET parameter, and also including the default type DEFAULT.
Further Information
Click on class link to see notes.
EL_INITIALIZED_ARRAYED_LIST_FACTORY
EL_INITIALIZED_OBJECT_FACTORY for types conforming to ARRAYED_LIST [ANY]
EL_INITIALIZED_HASH_TABLE_FACTORY
EL_INITIALIZED_OBJECT_FACTORY for types conforming to HASH_TABLE [ANY, HASHABLE]
EL_INITIALIZED_OBJECT_FACTORY
EL_OBJECT_FACTORY [G] that can create initialized objects using factory conforming to EL_FACTORY [G]
Further Information
Click on class link to see client examples.
EL_OBJECT_FACTORY
Factory for instances of Eiffel classes conforming to parameter G
Tuple arguments act as type manifests with each type A, B, C.. conforming to G. A contract ensures all types conform. Typically you would create the tuple like this:
Types: TUPLE [A, B, C ..]
once
create Result
end
Further Information
Click on class link to see client examples.
platform
EL_CROSS_PLATFORM
Object that presents a cross platform interface
Further Information
Click on class link to see client examples.
EL_PLATFORM_IMPLEMENTATION
Platform dependent implementation
Further Information
Click on class link to see client examples.
precursor
EL_PRECURSOR_MAP
Tracks whether a routine has been called already or not during make precursor calls.
Further Information
Click on class link to see notes and client examples.
EL_PRECURSOR_MAP_16
Tracks whether a routine has been called already or not during make precursor calls. This is a variation of class EL_PRECURSOR_MAP but with the done_bitmap defined as NATURAL_16 instead of NATURAL_32.
Further Information
Click on class link to see client examples.
EL_PRECURSOR_MAP_64
Tracks whether a routine has been called already or not during make precursor calls. This is a variation of class EL_PRECURSOR_MAP but with the done_bitmap defined as NATURAL_64 instead of NATURAL_32.
Further Information
Click on class link to see client examples.
shared
EL_MODULE_FACTORY
Shared instance of EL_FACTORY_ROUTINES_IMP
Further Information
Click on class link to see client examples.
EL_SHARED_FACTORIES
Shared access to factory objects conforming to EL_INITIALIZED_OBJECT_FACTORY
Further Information
Click on class link to see client examples.
EL_SHARED_INITIALIZER
Shared objects conforming to EL_INITIALIZEABLE
Further Information
Click on class link to see client examples.
singleton
EL_CONFORMING_SINGLETON
Conforming singleton
EL_SHARED_SINGLETONS
Shared table of singleton objects
Further Information
Click on class link to see notes and client examples.
EL_SINGLETON
Allow implementation of shared singleton for type G. See class EL_SHARED_SINGLETONS for details.
if descendant_allowed is enabled then item may also be a type conforming to G
Further Information
Click on class link to see descendants and client examples.
EL_SINGLETON_OR_DEFAULT
Provide previously created singleton item conforming to G or else assign a default using make routine.
EL_SINGLETON_TABLE
Thread safe table
EL_SOLITARY
Object is a solitary globally shared instance, i.e. a singleton
Further Information
Click on class link to see notes, descendants and client examples.
support
EL_FACTORY_ROUTINES_IMP
Routines for creating instances of factory classes. Accessible via EL_MODULE_FACTORY.
EL_FACTORY_TYPE_ID_TABLE
Cache table of dynamic type id for a factory type derived from a composite key containing a general factory type and a type conforming to generic argument of factory type.
Further Information
Click on class link to see instructions.
EL_INITIALIZEABLE
Interface to object with initialized state
Further Information
Click on class link to see client examples.
EL_LAZY_ATTRIBUTE
Detachable object attribute that is created only when needed
Further Information
Click on class link to see notes.
EL_LAZY_ATTRIBUTE_2
A second object attribute that is created only if it is needed. This is a duplicate of EL_LAZY_ATTRIBUTE to solve any inheritance conflict.
Copyright © 2003-2019 Finnian Reilly