Section Header

    + name := HASHED_DICTIONARY_NODE[V,K];

    - comment :="Auxilliary class to implement DICTIONARY[V,K].";

Section Inherit

    - parent_any_hashed_dictionary_node:ANY_HASHED_DICTIONARY_NODE :=

Section Public

    + item:V;

    + key:K;

    + next:HASHED_DICTIONARY_NODE[V,K];
        The `next' one when some clash occurs.

    - set_item i:V <-

    - set_next n:HASHED_DICTIONARY_NODE[V,K] <-

    - create i:V to k:K next n:HASHED_DICTIONARY_NODE[V,K] :SELF<-

    - make i:V to k:K next n:HASHED_DICTIONARY_NODE[V,K] <-