ada/libgnat/a-except.ads

53    type Exception_Occurrence is limited private;  type
54    pragma Preelaborable_Initialization (Exception_Occurrence);
56    type Exception_Occurrence_Access is access all Exception_Occurrence;
58    Null_Occurrence : constant Exception_Occurrence;
62    function Exception_Name (X : Exception_Occurrence) return String;
69      (X : Exception_Occurrence) return Wide_String;
77      (X : Exception_Occurrence) return Wide_Wide_String;
84    function Exception_Message (X : Exception_Occurrence) return String;
86    procedure Reraise_Occurrence (X : Exception_Occurrence);
92    function Exception_Identity (X : Exception_Occurrence) return Exception_Id;
94    function Exception_Information (X : Exception_Occurrence) return String;
114      (Target : out Exception_Occurrence;
115       Source : Exception_Occurrence);
118      (Source : Exception_Occurrence)
170    function Exception_Name_Simple (X : Exception_Occurrence) return String;
191    procedure Raise_From_Controlled_Operation (X : Exception_Occurrence);
206    procedure Reraise_Occurrence_Always (X : Exception_Occurrence);
213    procedure Reraise_Occurrence_No_Defer (X : Exception_Occurrence);
236    type Exception_Occurrence is record  type
269    function "=" (Left, Right : Exception_Occurrence) return Boolean
276      (X : Exception_Occurrence) return System.Address;
284    function EO_To_String (X : Exception_Occurrence) return String;
285    function String_To_EO (S : String) return Exception_Occurrence;
286    pragma Stream_Convert (Exception_Occurrence, String_To_EO, EO_To_String);
290    Null_Occurrence : constant Exception_Occurrence := (others => <>);