class DATABUCKET{K,ELT} < $BUCKET{K,DATABUCKET{K,ELT}} |
---|
**** |
________This_bucket_class_adds_a_data_component_in_addition_to_the_key_itself. |
$BUCKET{_,_} | $NEXT{_} |
attr data : ELT ; |
---|
attr item : K ; |
---|
attr next : T ; .. Included as next |
---|
**** | next element in list, if any. |
attr data : ELT ; |
---|
attr item : K ; |
---|
attr next : T ; .. Included as next |
---|
**** | next element in list, if any. |
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 |
---|
list! : SAME |
---|