Next: , Previous: , Up: The GNAT Library   [Contents][Index]

12.16 Ada.Containers.Functional_Maps (

This child of Ada.Containers defines immutable maps. These containers are unbounded and may contain indefinite elements. Their API features functions creating new containers from existing ones. To remain reasonably efficient, their implementation involves sharing between data-structures. As they are functional, that is, no primitives are provided which would allow modifying an existing container, these containers can still be used safely.

These containers are controlled so that the allocated memory can be reclaimed when the container is no longer referenced. Thus, they cannot directly be used in contexts where controlled types are not supported. The specification of this unit is compatible with SPARK 2014.