Section Header

    + name := LINKED_COLLECTION[E];

    - comment := "Common root of LINKED_LIST and TWO_WAY_LINKED_LIST..";

Section Inherit

    - parent_collection:COLLECTION[E] :=

Section Public

    - lower:INTEGER :=
        Lower index bound is frozen.

    + upper:INTEGER;
        Memorized upper index bound.

    - create:SELF <-

    - make <-
        Make an empty list

    - remove_head n:INTEGER <-

    - remove_tail n:INTEGER <-

    - first_index_of element:E :INTEGER <-

    - fast_first_index_of element:E :INTEGER <-

Implement manifest generic creation.


    - manifest_make needed_capacity:INTEGER <-
        Manifest creation of a list of items of type E.

    - manifest_put index:INTEGER to element:E <-