...
begin -- Insert
while I <= J
loop -- binary search
K := I + (J - I)
/ 2;
Data_Vector.Update_Element (K, Process_K'Access);
if Done
then
return;
end if;
end loop;
Data_Vector.Insert
(I, Data_Type'(Word'Length, Word, 1));
-- Word wasn't
found: insert new word with count=1.
end Insert;