diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-10 10:55:36 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-10-10 10:55:36 +0000 |
| commit | d324c4181bff788b3d25173407a4a56929399403 (patch) | |
| tree | a698c1cbe00f3b6034ecf4e1403d100a5835e8f0 /gcc/ada/a-cfhama.ads | |
| parent | e163cac84b1f7517e5b0087f65eb1e8eeb74c824 (diff) | |
| download | gcc-d324c4181bff788b3d25173407a4a56929399403.tar.gz | |
2013-10-10 Yannick Moy <moy@adacore.com>
* gnat_rm.texi, a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
a-cforse.ads, a-cofove.ads: Update comment and doc of formal containers
2013-10-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch13.adb (Analyze_Aspect_Specifications): For Pre/Post
conditions that apply to a subprogram body, preserve the placement
and order of the generated pragmas, which must appear before
other declarations in the body.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@203347 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cfhama.ads')
| -rw-r--r-- | gcc/ada/a-cfhama.ads | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/gcc/ada/a-cfhama.ads b/gcc/ada/a-cfhama.ads index 93a47c56817..2f1e7bbdaf0 100644 --- a/gcc/ada/a-cfhama.ads +++ b/gcc/ada/a-cfhama.ads @@ -30,8 +30,10 @@ ------------------------------------------------------------------------------ -- This spec is derived from package Ada.Containers.Bounded_Hashed_Maps in the --- Ada 2012 RM. The modifications are to facilitate formal proofs by making it --- easier to express properties. +-- Ada 2012 RM. The modifications are meant to facilitate formal proofs by +-- making it easier to express properties, and by making the specification of +-- this unit compatible with SPARK 2014. Note that the API of this unit may be +-- subject to incompatible changes as SPARK 2014 evolves. -- The modifications are: @@ -49,7 +51,7 @@ -- function Left (Container : Map; Position : Cursor) return Map; -- function Right (Container : Map; Position : Cursor) return Map; --- See detailed specifications for these subprograms +-- See detailed specifications for these subprograms. private with Ada.Containers.Hash_Tables; |