+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,
-- 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
-- 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
-- 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
-- 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
-- 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
-- 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;
projects / gcc.git / commitdiff