home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / gnat-2.06-src.tgz / tar.out / fsf / gnat / ada / a-except.ads < prev    next >
Text File  |  1996-09-28  |  3KB  |  61 lines
  1. ------------------------------------------------------------------------------
  2. --                                                                          --
  3. --                         GNAT COMPILER COMPONENTS                         --
  4. --                                                                          --
  5. --                       A D A . E X C E P T I O N S                        --
  6. --                                                                          --
  7. --                                 S p e c                                  --
  8. --                                                                          --
  9. --                            $Revision: 1.6 $                              --
  10. --                                                                          --
  11. -- This specification is adapted from the Ada Reference Manual for use with --
  12. -- GNAT.  In accordance with the copyright of that document, you can freely --
  13. -- copy and modify this specification,  provided that if you redistribute a --
  14. -- modified version,  any changes that you have made are clearly indicated. --
  15. --                                                                          --
  16. ------------------------------------------------------------------------------
  17.  
  18. package Ada.Exceptions is
  19.  
  20.    type Exception_Id is private;
  21.    Null_Id : constant Exception_Id;
  22.    function Exception_Name (X : Exception_Id) return String;
  23.  
  24.    type Exception_Occurrence is limited private;
  25.    type Exception_Occurrence_Access is access all Exception_Occurrence;
  26.    Null_Occurrence : constant Exception_Occurrence;
  27.  
  28.    procedure Raise_Exception (E : in Exception_Id; Message : in String := "");
  29.    function  Exception_Message    (X : Exception_Occurrence) return String;
  30.    procedure Reraise_Occurrence   (X : Exception_Occurrence);
  31.  
  32.    function Exception_Identity (X : Exception_Occurrence) return Exception_Id;
  33.    function Exception_Name     (X : Exception_Occurrence) return String;
  34.    --  Same as Exception_Name (Exception_Identity (X))
  35.  
  36.    function Exception_Information (X : Exception_Occurrence) return String;
  37.  
  38.    procedure Save_Occurrence
  39.      (Target :    out Exception_Occurrence;
  40.       Source : in     Exception_Occurrence);
  41.    function Save_Occurrence
  42.      (Source : in Exception_Occurrence)
  43.       return Exception_Occurrence_Access;
  44.  
  45. private
  46.    type Exception_Record;
  47.    type Exception_Id is access all Exception_Record;
  48.    Null_Id : constant Exception_Id := null;
  49.  
  50.    type Exception_Data;
  51.    type Exception_Data_Id is access all Exception_Data;
  52.  
  53.    type Exception_Occurrence is record
  54.       Id      : Exception_Id;
  55.       Data_Id : Exception_Data_Id;
  56.    end record;
  57.  
  58.    Null_Occurrence : constant Exception_Occurrence := (null, null);
  59.  
  60. end Ada.Exceptions;
  61.