diff options
author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 09:48:59 +0000 |
---|---|---|
committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-02 09:48:59 +0000 |
commit | 0ec31ca33970cbf01403935b579c52ae2e56d1a1 (patch) | |
tree | 09a5325d1b7dc17d4bf8fbdfe66388bad42e945f /gcc/ada/a-cforse.ads | |
parent | 0079e0abb1c249d07ec67654dd460f1eff2c1846 (diff) | |
download | ppe42-gcc-0ec31ca33970cbf01403935b579c52ae2e56d1a1.tar.gz ppe42-gcc-0ec31ca33970cbf01403935b579c52ae2e56d1a1.zip |
2011-08-02 Yannick Moy <moy@adacore.com>
* a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
a-cforse.ads: Update comments.
2011-08-02 Ed Schonberg <schonberg@adacore.com>
* sem_attr.adb: add attribute name when 'Result has the wrong prefix.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177113 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cforse.ads')
-rw-r--r-- | gcc/ada/a-cforse.ads | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/ada/a-cforse.ads b/gcc/ada/a-cforse.ads index 89caaba5ba4..c15f9c64333 100644 --- a/gcc/ada/a-cforse.ads +++ b/gcc/ada/a-cforse.ads @@ -44,11 +44,16 @@ -- container. The operators "<" and ">" that could not be modified that way -- have been removed. --- There are two new functions: +-- There are three new functions: +-- function Strict_Equal (Left, Right : Set) return Boolean; -- function Left (Container : Set; Position : Cursor) return Set; -- function Right (Container : Set; Position : Cursor) return Set; +-- Strict_Equal returns True if the containers are physically equal, +-- meaning that they are structurally equal (function "=" returns True) +-- and that they have the same set of cursors. + -- 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 |