Banner showing base of Eiffel tower

Github

Download version 1.4.8: Windows or Linux

Base Library: Kernel

This library cluster has 60 classes.

ECF: base.ecf

Fundamental base classes

Directory: library/base/kernel

[ . ]

. /access

. /class

. /class/dynamic_creation

. /command

. /event

. /identify

. /identify/uuid

. /initialization

. /initialization/precursor

. /initialization/singleton

. /platform

. /routine

. /tuple

[ . ]

EL_BOOLEAN_OPTION

Boolean option that can be enabled or disabled and can optionally notify an action procedure

Further Information

Click on class link to see notes and client examples.

EL_READABLE

Abstraction for objects that have a function returning all the basic types and strings

Further Information

Click on class link to see descendants.

EL_SHARED_CELL

Shared cell

EL_STATE_MACHINE

State machine

EL_WRITEABLE

Abstraction for objects that have a procedure accepting all the basic types and strings

Further Information

Click on class link to see descendants.

access

EL_ANY_SHARED

Ancestor for classes that primarly provide access to a shared instance of a class

Further Information

Click on class link to see client examples.

EL_COMMAND_CLIENT

Provides access to make routines of classes descended from EL_COMMAND

Further Information

Click on class link to see client examples.

EL_EXPANDED_ROUTINES

Ancestor of expanded classes providing set of related routines as local variables

EL_FACTORY_CLIENT

Allows descendants access to initialization agents for EL_OBJECT_FACTORY

Further Information

Click on class link to see client examples.

EL_MODULE

Ancestor for classes that provide access to a shared instance of a stateless class that is primarly intended to house some category of routines.

EL_OS_IMPLEMENTATION

Parent of classes that implements OS specific details of abstract interface

class

EL_MODULE_NAMING

Shared access to routines of class EL_NAMING_ROUTINES

Further Information

Click on class link to see client examples.

EL_NAMING_ROUTINES

Object with attribute names that are translateable TO and FROM another naming convention There are also routines to derive a name from the class generator name.

Accessible from shared object_or_type Naming in class EL_MODULE_NAMING

Further Information

Click on class link to see tests and client examples.

class/dynamic_creation

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_MAKEABLE_CELL

A factory cell to create objects conforming to EL_MAKEABLE

EL_MAKEABLE_OBJECT_FACTORY

Factory to create objects conforming to EL_MAKEABLE

Further Information

Click on class link to see notes and 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.

EL_REFLECTED_FIELD_FACTORY

Reflected field factory

EL_SHARED_MAKEABLE_FACTORY

Shared access to factory of objects conforming to EL_MAKEABLE

Further Information

Click on class link to see client examples.

command

EL_APPLICATION_COMMAND

A EL_COMMAND with a description and error checking

Further Information

Click on class link to see client examples.

EL_COMMAND

Command

Further Information

Click on class link to see client examples.

EL_DEFAULT_COMMAND

Default do nothing command

event

EL_AGENT_EVENT_LISTENER

Agent event listener

EL_DEFAULT_EVENT_LISTENER

Default event listener

EL_EVENT_BROADCASTER

Object that can broadcast event notifications to one or more listeners

EL_EVENT_CHECKER

Object to periodically process events in some other context whilst in the midst of a computation. Useful especially to check for UI events.

EL_EVENT_LISTENER

Event notification abstraction

Further Information

Click on class link to see descendants.

EL_EVENT_LISTENER_LIST

Object for managing a list of event listeners. It can all be used to make a one-many event listener, as the list itself conforms to EL_EVENT_LISTENER.

Due to limitations of Eiffel ARRAY [G] manifest conformance checking, the automatic conversion is not useable as intended with compiler version 16.05, but perhaps in a future version it will be useable.

EL_EVENT_LISTENER_PAIR

Event listener pair

EL_EVENT_PROCESSOR

Event processor

identify

EL_KEY_IDENTIFIABLE

Key identifiable

EL_NAMEABLE

Object that is nameable with string conforming to READABLE_STRING_GENERAL

Further Information

Click on class link to see client examples.

EL_NAMED

Generic named item assignable from tuple

Further Information

Click on class link to see client examples.

EL_ROUTINE_KEY

Hashable class routine key based on name and class type

identify/uuid

EL_UUID

Universally unique identifier

Further Information

Click on class link to see client examples.

EL_UUID_FACTORY

Uuid factory

initialization

EL_DEFERRED_CELL

A data cell with deferred initialization of the item

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.

EL_MAKEABLE

Object that is initializeable by a call to make

Further Information

Click on class link to see client examples.

EL_MAKEABLE_FROM_STRING

Makeable from string

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.

initialization/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.

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.

initialization/singleton

EL_CONFORMING_SINGLETON

Conforming singleton

Further Information

Click on class link to see client examples.

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 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 and client examples.

platform

EL_CROSS_PLATFORM

Cross platform

EL_PLATFORM_IMPLEMENTATION

Platform dependent implementation

routine

EL_FUNCTION_ID

Function id

EL_PREDICATE

Predicate

EL_PROCEDURE

Procedure identifier based on address of Eiffel routine dispatcher As it is not possible to compare agent references this serves as a workaround allowing you to determine whether two agents refer to the same procedure.

tuple

EL_MODULE_TUPLE

Shared access to routines of class EL_TUPLE_ROUTINES

Further Information

Click on class link to see client examples.

EL_TUPLE_FACTORY

Creates a tuple with uniform type and initializes it with a supplied FUNCTION

EL_TUPLE_ROUTINES

Routines for populating tuple fields and converting to and from string types. Accessible via shared instance EL_MODULE_TUPLE

Further Information

Click on class link to see client examples.