gcc/ada/g-moreex.adb

   1 ------------------------------------------------------------------------------
   2 --                                                                          --
   3 --                         GNAT LIBRARY COMPONENTS                          --
   4 --                                                                          --
   5 --            G N A T . M O S T _ R E C E N T _ E X C E P T I O N           --
   6 --                                                                          --
   7 --                                 B o d y                                  --
   8 --                                                                          --
   9 --                     Copyright (C) 2000-2006, AdaCore                     --
  10 --                                                                          --
  11 -- GNAT is free software;  you can  redistribute it  and/or modify it under --
  12 -- terms of the  GNU General Public License as published  by the Free Soft- --
  13 -- ware  Foundation;  either version 2,  or (at your option) any later ver- --
  14 -- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
  15 -- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
  16 -- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
  17 -- for  more details.  You should have  received  a copy of the GNU General --
  18 -- Public License  distributed with GNAT;  see file COPYING.  If not, write --
  19 -- to  the  Free Software Foundation,  51  Franklin  Street,  Fifth  Floor, --
  20 -- Boston, MA 02110-1301, USA.                                              --
  21 --                                                                          --
  22 -- As a special exception,  if other files  instantiate  generics from this --
  23 -- unit, or you link  this unit with other files  to produce an executable, --
  24 -- this  unit  does not  by itself cause  the resulting  executable  to  be --
  25 -- covered  by the  GNU  General  Public  License.  This exception does not --
  26 -- however invalidate  any other reasons why  the executable file  might be --
  27 -- covered by the  GNU Public License.                                      --
  28 --                                                                          --
  29 -- GNAT was originally developed  by the GNAT team at  New York University. --
  30 -- Extensive contributions were provided by Ada Core Technologies Inc.      --
  31 --                                                                          --
  32 ------------------------------------------------------------------------------
  33
  34 with Ada.Exceptions.Is_Null_Occurrence;
  35 with System.Soft_Links;
  36
  37 package body GNAT.Most_Recent_Exception is
  38
  39    ----------------
  40    -- Occurrence --
  41    ----------------
  42
  43    function Occurrence return Ada.Exceptions.Exception_Occurrence is
  44       EOA : constant Ada.Exceptions.Exception_Occurrence_Access :=
  45               GNAT.Most_Recent_Exception.Occurrence_Access;
  46
  47       use type Ada.Exceptions.Exception_Occurrence_Access;
  48
  49    begin
  50       pragma Warnings (Off);
  51       if EOA = null then
  52          return Ada.Exceptions.Null_Occurrence;
  53       else
  54          return EOA.all;
  55       end if;
  56       pragma Warnings (On);
  57
  58       --  ???Note that both of the above return statements violate the Ada
  59       --  2005 rule forbidding copying of limited objects (see RM-7.5(2.8/2)).
  60       --  When compiled with -gnatg, the compiler gives a warning instead of
  61       --  an error, so we can turn it off.
  62       --  To fix this, remove the pragmas Warnings above, and use the following
  63       --  code. We can't do that yet, because AI-318 is not yet implemented.
  64       --
  65       --  return Result : Ada.Exceptions.Exception_Occurrence do
  66       --     if EOA = null then
  67       --        Ada.Exceptions.Save_Occurrence
  68       --          (Target => Result,
  69       --           Source => Ada.Exceptions.Null_Occurrence);
  70       --     else
  71       --        Ada.Exceptions.Save_Occurrence
  72       --          (Target => Result,
  73       --           Source => EOA.all);
  74       --     end if;
  75       --  end return;
  76    end Occurrence;
  77
  78    -----------------------
  79    -- Occurrence_Access --
  80    -----------------------
  81
  82    function Occurrence_Access
  83      return Ada.Exceptions.Exception_Occurrence_Access
  84    is
  85       use Ada.Exceptions;
  86
  87       EOA : constant Exception_Occurrence_Access :=
  88               System.Soft_Links.Get_Current_Excep.all;
  89
  90    begin
  91       if EOA = null then
  92          return null;
  93
  94       elsif Is_Null_Occurrence (EOA.all) then
  95          return null;
  96
  97       else
  98          return EOA;
  99       end if;
 100    end Occurrence_Access;
 101
 102 end GNAT.Most_Recent_Exception;