diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-19 14:40:26 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-02-19 14:40:26 +0000 |
| commit | 9698629c615b86f72ec800c3e33a1672bebd549d (patch) | |
| tree | 485a9fb3db67b459864c3a394d0f406abb061712 /gcc/ada/a-cfhama.ads | |
| parent | e3bba1955002676009dead1dfe33eb7c796173f4 (diff) | |
| download | ppe42-gcc-9698629c615b86f72ec800c3e33a1672bebd549d.tar.gz ppe42-gcc-9698629c615b86f72ec800c3e33a1672bebd549d.zip | |
2014-02-19 Robert Dewar <dewar@adacore.com>
* sem_ch3.adb, style.adb, sem_prag.adb, sem_ch13.adb: Minor reformatting
* a-sequio.adb: Remove useless pragma Extensions_Allowed (no
longer needed).
2014-02-19 Claire Dross <dross@adacore.com>
* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
a-cforse.ads, a-cofove.ads: Add Iterable aspect to formal containers.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@207900 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cfhama.ads')
| -rw-r--r-- | gcc/ada/a-cfhama.ads | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ada/a-cfhama.ads b/gcc/ada/a-cfhama.ads index 71eed2b0e4d..16a95052422 100644 --- a/gcc/ada/a-cfhama.ads +++ b/gcc/ada/a-cfhama.ads @@ -67,7 +67,11 @@ package Ada.Containers.Formal_Hashed_Maps is pragma Annotate (GNATprove, External_Axiomatization); pragma Pure; - type Map (Capacity : Count_Type; Modulus : Hash_Type) is private; + type Map (Capacity : Count_Type; Modulus : Hash_Type) is private with + Iterable => (First => First, + Next => Next, + Has_Element => Has_Element, + Element => Element); pragma Preelaborable_Initialization (Map); type Cursor is private; |
