2011-08-02 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 2 Aug 2011 09:48:59 +0000 (09:48 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 2 Aug 2011 09:48:59 +0000 (09:48 +0000)
* 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

gcc/ada/ChangeLog
gcc/ada/a-cfdlli.ads
gcc/ada/a-cfhama.ads
gcc/ada/a-cfhase.ads
gcc/ada/a-cforma.ads
gcc/ada/a-cforse.ads
gcc/ada/sem_attr.adb

index 09245bf..35103c9 100644 (file)
@@ -1,3 +1,12 @@
+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.
+
 2011-08-02  Robert Dewar  <dewar@adacore.com>
 
        * a-cfdlli.ads, a-cfhase.ads, a-cforma.ads, a-cfhama.ads,
index 96945ab..3be6ea6 100644 (file)
 --    which is not possible if cursors encapsulate an access to the underlying
 --    container.
 
---    There are two new functions:
+--    There are three new functions:
 
+--      function Strict_Equal (Left, Right : List) return Boolean;
 --      function Left  (Container : List; Position : Cursor) return List;
 --      function Right (Container : List; Position : Cursor) return List;
 
+--      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
index 96f6470..56a0a62 100644 (file)
 --    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:
+--    There are four new functions:
 
+--      function Strict_Equal (Left, Right : Map) return Boolean;
+--      function Overlap (Left, Right : Map) return Boolean;
 --      function Left  (Container : Map; Position : Cursor) return Map;
 --      function Right (Container : Map; Position : Cursor) return Map;
 
+--      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. Overlap returns True if
+--      the containers have common keys.
+
 --      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
index a3e4179..b9da734 100644 (file)
 --    which is not possible if cursors encapsulate an access to the underlying
 --    container.
 
---    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
index 2ddefeb..261a29e 100644 (file)
 --    container. The operators "<" and ">" that could not be modified that way
 --    have been removed.
 
---    There are two new functions:
+--    There are four new functions:
 
+--      function Strict_Equal (Left, Right : Map) return Boolean;
+--      function Overlap (Left, Right : Map) return Boolean;
 --      function Left  (Container : Map; Position : Cursor) return Map;
 --      function Right (Container : Map; Position : Cursor) return Map;
 
+--      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. Overlap returns True if
+--      the containers have common keys.
+
 --      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
index 89caaba..c15f9c6 100644 (file)
 --    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
index c841288..9e9cd19 100644 (file)
@@ -4009,6 +4009,8 @@ package body Sem_Attr is
             --  Check OK prefix
 
             if Chars (CS) /= Chars (P) then
+               Error_Msg_Name_1 := Name_Result;
+
                Error_Msg_NE
                  ("incorrect prefix for % attribute, expected &", P, CS);
                Error_Attr;