for List'Write use Write;
- Empty_List : constant List := (Controlled with null, null, 0, 0, 0);
-
type List_Access is access constant List;
for List_Access'Storage_Size use 0;
for Cursor'Write use Write;
+ Empty_List : constant List := (Controlled with null, null, 0, 0, 0);
+
No_Element : constant Cursor := Cursor'(null, null);
end Ada.Containers.Doubly_Linked_Lists;
for List'Write use Write;
- Empty_List : constant List := List'(Controlled with null, null, 0, 0, 0);
-
type List_Access is access constant List;
for List_Access'Storage_Size use 0;
for Cursor'Write use Write;
+ Empty_List : constant List := List'(Controlled with null, null, 0, 0, 0);
+
No_Element : constant Cursor := Cursor'(null, null);
end Ada.Containers.Indefinite_Doubly_Linked_Lists;
for Map'Read use Read;
- Empty_Map : constant Map := (Controlled with HT => (null, 0, 0, 0));
-
type Map_Access is access constant Map;
for Map_Access'Storage_Size use 0;
for Cursor'Write use Write;
+ Empty_Map : constant Map := (Controlled with HT => (null, 0, 0, 0));
+
No_Element : constant Cursor := (Container => null, Node => null);
end Ada.Containers.Hashed_Maps;
for Vector'Read use Read;
- Empty_Vector : constant Vector := (Controlled with null, No_Index, 0, 0);
-
type Vector_Access is access constant Vector;
for Vector_Access'Storage_Size use 0;
for Cursor'Read use Read;
+ Empty_Vector : constant Vector := (Controlled with null, No_Index, 0, 0);
+
No_Element : constant Cursor := Cursor'(null, Index_Type'First);
end Ada.Containers.Indefinite_Vectors;
for Vector'Read use Read;
- Empty_Vector : constant Vector := (Controlled with null, No_Index, 0, 0);
-
type Vector_Access is access constant Vector;
for Vector_Access'Storage_Size use 0;
for Cursor'Read use Read;
+ Empty_Vector : constant Vector := (Controlled with null, No_Index, 0, 0);
+
No_Element : constant Cursor := Cursor'(null, Index_Type'First);
end Ada.Containers.Vectors;