diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:46:08 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 11:46:08 +0200 |
| commit | 300b98bbaac6c3d4762715205895161fd420ff9f (patch) | |
| tree | 7565c6dfc947d8f0a5501798efa5d1258d38e9ef /gcc/ada/a-cfhama.ads | |
| parent | 19fb051ccb54f06f292307830cb5bce6bf6268bd (diff) | |
| download | gcc-300b98bbaac6c3d4762715205895161fd420ff9f.zip gcc-300b98bbaac6c3d4762715205895161fd420ff9f.tar.gz gcc-300b98bbaac6c3d4762715205895161fd420ff9f.tar.bz2 | |
[multiple changes]
2011-08-02 Claire Dross <dross@adacore.com>
* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads, a-cforse.ads,
a-cofove.ads: Add comments.
2011-08-02 Yannick Moy <moy@adacore.com>
* gnat_rm.texi: Document formal containers.
2011-08-02 Emmanuel Briot <briot@adacore.com>
* g-comlin.adb (Goto_Section, Getopt): fix handling of "*" when there
are empty sections.
From-SVN: r177111
Diffstat (limited to 'gcc/ada/a-cfhama.ads')
| -rw-r--r-- | gcc/ada/a-cfhama.ads | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/gcc/ada/a-cfhama.ads b/gcc/ada/a-cfhama.ads index 03b6d36..f11f5da 100644 --- a/gcc/ada/a-cfhama.ads +++ b/gcc/ada/a-cfhama.ads @@ -29,6 +29,30 @@ -- <http://www.gnu.org/licenses/>. -- ------------------------------------------------------------------------------ +-- The specification of this package is derived from the specification +-- of package Ada.Containers.Bounded_Hashed_Maps in the Ada 2012 RM. +-- The changes are + +-- A parameter for the container is added to every function reading the +-- content of a container: Key, Element, Next, Query_Element, +-- Has_Element, Iterate, Equivalent_Keys. This change is motivated by the +-- need to have cursors which are valid on different containers (typically +-- a container C and its previous version C'Old) for expressing properties, +-- which is not possible if cursors encapsulate an access to the underlying +-- container. + +-- There are two new functions + +-- function Left (Container : Map; Position : Cursor) return Map; +-- function Right (Container : Map; Position : Cursor) return Map; + +-- Left returns a container containing all elements preceding Position +-- (excluded) in Container. Right returns a container containing all +-- elements following Position (included) in Container. These two new +-- functions are useful to express invariant properties in loops which +-- iterate over containers. Left returns the part of the container already +-- scanned and Right the part not scanned yet. + private with Ada.Containers.Hash_Tables; private with Ada.Streams; with Ada.Containers; use Ada.Containers; |