Contents Index Search Related Documents Previous Next
A.18.13 The Package Containers.Indefinite_Ordered_Maps
1/2
The language-defined generic package Containers.Indefinite_Ordered_Maps
provides a map with the same operations as the package Containers.Ordered_Maps
(see
A.18.6), with the difference that the
generic formal types Key_Type and Element_Type are indefinite.
Static Semantics
2/2
The declaration
of the generic library package Containers.Indefinite_Ordered_Maps
has the same contents as Containers.Ordered_Maps except:
3/2
- The generic formal Key_Type is indefinite.
4/2
- The generic formal Element_Type is
indefinite.
5/2
- The
procedure with the profile:
6/2
procedure Insert (Container : in out Map;
Key : in Key_Type;
Position : out Cursor;
Inserted : out Boolean);
7/2
8/2
- The Element parameter of access subprogram
Process of Update_Element may be constrained even if Element_Type is
unconstrained.
Contents Index Search Related Documents Previous Next Legal