LisaacTM Platform

LINKED_COLLECTION

Common root of LINKED_LIST and TWO_WAY_LINKED_LIST..
Inherit/Insert Summary
parent_collection No developed.
 
Constructor Summary
create
 
Slot Summary
lower
Lower index bound is frozen. Minimum index.
See also upper, valid_index, item.
upper
Memorized upper index bound. Maximum index.
See also lower, valid_index, item.
make
Make an empty list
remove_head
Remove the n elements of the collection.
remove_tail
Remove the last n item(s).
first_index_of
Give the index of the first occurrence of element using == for comparison. Answer upper + 1 when element is not inside.
fast_first_index_of
Give the index of the first occurrence of element using basic = for comparison. Answer upper + 1 when element is not inside.
 
Implement manifest generic creation.
manifest_make
Manifest creation of a list of items of type E.
manifest_put to
 

Inherit/Insert Detail

parent_collection

.../base/collection/low_level/linked_collection.li line #12

Section:
Inherit

Profile:
- Self: SELF. parent_collection : COLLECTION( V)

Constructor Detail

create

.../base/collection/low_level/linked_collection.li line #22

Section:
Public

Profile:
- Self: SELF. create : SELF

Detail slot

lower

.../base/collection/low_level/linked_collection.li line #16

Section:
Public

Profile:
- Self: SELF. lower : INTEGER

Description:
Lower index bound is frozen. Minimum index.
See also upper, valid_index, item.

upper

.../base/collection/low_level/linked_collection.li line #19

Section:
Public

Profile:
+ Self: SELF. upper : INTEGER

Description:
Memorized upper index bound. Maximum index.
See also lower, valid_index, item.

make

.../base/collection/low_level/linked_collection.li line #30

Section:
Public

Profile:
- Self: SELF. make 

Description:
Make an empty list

remove_head

.../base/collection/low_level/linked_collection.li line #36

Section:
Public

Profile:
- Self: SELF. remove_head   n : INTEGER

Description:
Remove the n elements of the collection.

See:
remove_tail, remove, remove_first.

remove_tail

.../base/collection/low_level/linked_collection.li line #46

Section:
Public

Profile:
- Self: SELF. remove_tail   n : INTEGER

Description:
Remove the last n item(s).

See:
remove_head, remove, remove_last.

first_index_of

.../base/collection/low_level/linked_collection.li line #56

Section:
Public

Profile:
- Self: SELF. first_index_of   element : V : INTEGER

Description:
Give the index of the first occurrence of element using == for comparison. Answer upper + 1 when element is not inside.

Parameter:
element : element to search.

Require:
element not null.

Ensure:
Very good fonction

See:
fast_first_index_of, index_of start, last_index_of, reverse_index_of.

Description en francais:
Donne l'index de la premiere occurence de element en utilisant == pour la comparaison. Renvoi upper + 1 lorsque element est absent.

Necessite:
element pas null.

Voir:
fast_first_index_of, index_of, last_index_of, reverse_index_of.

fast_first_index_of

.../base/collection/low_level/linked_collection.li line #61

Section:
Public

Profile:
- Self: SELF. fast_first_index_of   element : V : INTEGER

Description:
Give the index of the first occurrence of element using basic = for comparison. Answer upper + 1 when element is not inside.

See:
first_index_of, last_index_of, fast_last_index_of.

Implement manifest generic creation.

manifest_make

.../base/collection/low_level/linked_collection.li line #70

Section:
Public

Profile:
- Self: SELF. manifest_make   needed_capacity : INTEGER

Description:
Manifest creation of a list of items of type E.

manifest_put to

.../base/collection/low_level/linked_collection.li line #76

Section:
Public

Profile:
- Self: SELF. manifest_put   index : INTEGER  to   element : V