class DATABUCKET{K,ELT} < $BUCKET{K,DATABUCKET{K,ELT}}
****

________This_bucket_class_adds_a_data_component_in_addition_to_the_key_itself.


Ancestors
$BUCKET{_,_} $NEXT{_}



Public


Readable Attributes
attr data : ELT ;
attr item : K ;
attr next : T ; .. Included as next
**** next element in list, if any.

Writable Attributes
attr data : ELT ;
attr item : K ;
attr next : T ; .. Included as next
**** next element in list, if any.

Features
append( .. Included as append
copy_list : SAME
create( key : K) : SAME
**** This routine creates a new list with a key but void data.
create(key : K, elem : ELT) : SAME
**** This routine creates a bucket with both key and data present.
create(key : K, elem : ELT, next : SAME) : SAME
**** This routine creates a new bucket from the given key and data and
___then_attaches_next_to_it_as_the_following_list_items.___Next_may_be_void.
insert( .. Included as insert
size : CARD .. Included as size

Iters
list! : SAME

The Sather Home Page