Ada.Containers and concurrent modification exception.

[rakusu_klein@fastmail.jp]

Hi all!

Why Ada's Cursors does not provide the ConcurrentModificationException, as Java Collections do, or some variant of it? Consider the following:

with Ada.Containers.Indefinite_Ordered_Maps;
...
   The_Map : Map;
...
declare
   I : Cursor := First (The_Map);
   J : Cursor := First (The_Map);
begin
   --  Now Cursors are synchronized with each other and with a container.
   Delete (The_Map, I);
   --  It's O'k. But now J lost a sync and points to a dead Node.
   Next (J);
   --  What should I expected here,
   --  any well defined exception or
   --  raising a zombie?
end;

Regards.