| class DATABUCKET{K,E} < $BUCKET{K,DATABUCKET{K,E}} |
|---|
| **** | An addition to BUCKET{K} this class also adds data. |
| $BUCKET{_,_} | $NEXT{_} | NEXT{_} |
| attr data: E; |
|---|
| attr item: K; |
|---|
| attr next:T; .. Included as next |
|---|
| **** | Pointer to next element in list, if any. |
| attr data: E; |
|---|
| attr item: K; |
|---|
| attr next:T; .. Included as next |
|---|
| **** | Pointer to next element in list, if any. |
| append(l:T) .. Included as append |
|---|
| **** | Append the list `l' to the end of the list self. self may not be void but `l' may be. |
| copy_list: SAME |
|---|
| create(k:K): SAME |
|---|
| create(k:K,e:E): SAME |
|---|
| create(k:K,e:E,n:SAME): SAME |
|---|
| insert(e:T) .. Included as insert |
|---|
| **** | Insert the single element `e' after self. Neither may be void, `e.next' must be void. |
| size:INT .. Included as size |
|---|
| **** | The number of elements in the list starting with self. Self may be void. |
| list!: SAME |
|---|
| **** | Yields all subsequent elements in the list. |