exp_util.ads (Find_Prim_Op): Document that Program_Error is raised if no primitive...
authorRobert Dewar <dewar@adacore.com>
Wed, 30 Jul 2008 17:38:16 +0000 (19:38 +0200)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 30 Jul 2008 17:38:16 +0000 (19:38 +0200)
2008-07-30  Robert Dewar  <dewar@adacore.com>

* exp_util.ads (Find_Prim_Op): Document that Program_Error is raised
if no primitive operation is found.

* exp_util.adb: (Find_Prim_Op): Add comments for previous change

From-SVN: r138329

gcc/ada/exp_util.adb
gcc/ada/exp_util.ads

index e4b4389618b19f23f92fd811d1016878c3bd49b1..09850f644d4dfcd7557fe7284e7ab2324e1c16b6 100644 (file)
@@ -1582,6 +1582,8 @@ package body Exp_Util is
 
          Next_Elmt (Prim);
 
+         --  Raise Program_Error if no primitive found
+
          if No (Prim) then
             raise Program_Error;
          end if;
@@ -1612,6 +1614,8 @@ package body Exp_Util is
       while not Is_TSS (Node (Prim), Name) loop
          Next_Elmt (Prim);
 
+         --  Raise program error if no primitive found
+
          if No (Prim) then
             raise Program_Error;
          end if;
index 5e57147b7201241883917584a4512c3d6329e73d..5848d5d71718629392fafa99d2fad69df50e78ca 100644 (file)
@@ -360,7 +360,10 @@ package Exp_Util is
    --  Find the first primitive operation of type T whose name is 'Name'.
    --  This function allows the use of a primitive operation which is not
    --  directly visible. If T is a class wide type, then the reference is
-   --  to an operation of the corresponding root type.
+   --  to an operation of the corresponding root type. Raises Program_Error
+   --  exception if no primitive operation is found. This is normally an
+   --  internal error, but in some cases is an expected consequence of
+   --  illegalities elsewhere.
 
    function Find_Prim_Op
      (T    : Entity_Id;
@@ -370,6 +373,9 @@ package Exp_Util is
    --  with the indicated suffix). This function allows use of a primitive
    --  operation which is not directly visible. If T is a class wide type,
    --  then the reference is to an operation of the corresponding root type.
+   --  Raises Program_Error exception if no primitive operation is found.
+   --  This is normally an internal error, but in some cases is an expected
+   --  consequence of illegalities elsewhere.
 
    function Find_Protection_Object (Scop : Entity_Id) return Entity_Id;
    --  Traverse the scope stack starting from Scop and look for an entry,