-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2001 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2009, Free Software Foundation, Inc. --
-- --
-- GNAT is free software; you can redistribute it and/or modify it under --
-- terms of the GNU General Public License as published by the Free Soft- --
--- ware Foundation; either version 2, or (at your option) any later ver- --
+-- ware Foundation; either version 3, or (at your option) any later ver- --
-- sion. GNAT is distributed in the hope that it will be useful, but WITH- --
-- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
--- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
--- for more details. You should have received a copy of the GNU General --
--- Public License distributed with GNAT; see file COPYING. If not, write --
--- to the Free Software Foundation, 59 Temple Place - Suite 330, Boston, --
--- MA 02111-1307, USA. --
+-- or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
--- As a special exception, if other files instantiate generics from this --
--- unit, or you link this unit with other files to produce an executable, --
--- this unit does not by itself cause the resulting executable to be --
--- covered by the GNU General Public License. This exception does not --
--- however invalidate any other reasons why the executable file might be --
--- covered by the GNU Public License. --
+-- As a special exception under Section 7 of GPL version 3, you are granted --
+-- additional permissions described in the GCC Runtime Library Exception, --
+-- version 3.1, as published by the Free Software Foundation. --
+-- --
+-- You should have received a copy of the GNU General Public License and --
+-- a copy of the GCC Runtime Library Exception along with this program; --
+-- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
+-- <http://www.gnu.org/licenses/>. --
-- --
-- GNAT was originally developed by the GNAT team at New York University. --
-- Extensive contributions were provided by Ada Core Technologies Inc. --
-- package and the packages it references are included in all Ada programs,
-- together with the included data.
+pragma Compiler_Unit;
+
pragma Polling (Off);
-- We must turn polling off for this unit, because otherwise we get
-- elaboration circularities with Ada.Exceptions if polling is on.
-with System;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.Standard_Library is
-
- pragma Suppress (All_Checks);
- -- Suppress explicitly all the checks to work around the Solaris linker
- -- bug when using gnatmake -f -a (but without -gnatp). This is not needed
- -- with Solaris 2.6, so eventually can be removed ???
+ pragma Warnings (Off);
+ pragma Preelaborate_05;
+ pragma Warnings (On);
type Big_String_Ptr is access all String (Positive);
+ for Big_String_Ptr'Storage_Size use 0;
-- A non-fat pointer type for null terminated strings
function To_Ptr is
- new Unchecked_Conversion (System.Address, Big_String_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Big_String_Ptr);
---------------------------------------------
-- Type For Enumeration Image Index Tables --
-- Exception Declarations and Data --
-------------------------------------
+ type Raise_Action is access procedure;
+ -- A pointer to a procedure used in the Raise_Hook field
+
type Exception_Data;
type Exception_Data_Ptr is access all Exception_Data;
-- An equivalent of Exception_Id that is public
+ type Exception_Code is mod 2 ** Integer'Size;
+ -- A scalar value bound to some exception data. Typically used for
+ -- imported or exported exceptions on VMS. Having a separate type for this
+ -- is useful to enforce consistency throughout the various run-time units
+ -- handling such codes, and having it unsigned is the most appropriate
+ -- choice for it's currently single use on VMS.
+
+ -- ??? The construction in Cstand has no way to access the proper type
+ -- node for Exception_Code, and currently uses Standard_Unsigned as a
+ -- fallback. The representations shall match, and the size clause below
+ -- is aimed at ensuring that.
+
+ for Exception_Code'Size use Integer'Size;
+
-- The following record defines the underlying representation of exceptions
- -- WARNING! Any changes to this may need to be reflectd in the following
+ -- WARNING! Any changes to this may need to be reflected in the following
-- locations in the compiler and runtime code:
-- 1. The Internal_Exception routine in s-exctab.adb
Name_Length : Natural;
-- Length of fully expanded name of exception
- Full_Name : Big_String_Ptr;
+ Full_Name : System.Address;
-- Fully expanded name of exception, null terminated
+ -- You can use To_Ptr to convert this to a string.
HTable_Ptr : Exception_Data_Ptr;
-- Hash table pointer used to link entries together in the hash table
-- built (by Register_Exception in s-exctab.adb) for converting between
-- identities and names.
- Import_Code : Integer;
+ Import_Code : Exception_Code;
-- Value for imported exceptions. Needed only for the handling of
-- Import/Export_Exception for the VMS case, but present in all
-- implementations (we might well extend this mechanism for other
-- systems in the future).
+ Raise_Hook : Raise_Action;
+ -- This field can be used to place a "hook" on an exception. If the
+ -- value is non-null, then it points to a procedure which is called
+ -- whenever the exception is raised. This call occurs immediately,
+ -- before any other actions taken by the raise (and in particular
+ -- before any unwinding of the stack occurs).
end record;
-- Definitions for standard predefined exceptions defined in Standard,
- -- Why are the Nul's necessary here, seems like they should not be
+ -- Why are the NULs necessary here, seems like they should not be
-- required, since Gigi is supposed to add a Nul to each name ???
Constraint_Error_Name : constant String := "CONSTRAINT_ERROR" & ASCII.NUL;
(Not_Handled_By_Others => False,
Lang => 'A',
Name_Length => Constraint_Error_Name'Length,
- Full_Name => To_Ptr (Constraint_Error_Name'Address),
+ Full_Name => Constraint_Error_Name'Address,
HTable_Ptr => null,
- Import_Code => 0);
+ Import_Code => 0,
+ Raise_Hook => null);
Numeric_Error_Def : aliased Exception_Data :=
(Not_Handled_By_Others => False,
Lang => 'A',
Name_Length => Numeric_Error_Name'Length,
- Full_Name => To_Ptr (Numeric_Error_Name'Address),
+ Full_Name => Numeric_Error_Name'Address,
HTable_Ptr => null,
- Import_Code => 0);
+ Import_Code => 0,
+ Raise_Hook => null);
Program_Error_Def : aliased Exception_Data :=
(Not_Handled_By_Others => False,
Lang => 'A',
Name_Length => Program_Error_Name'Length,
- Full_Name => To_Ptr (Program_Error_Name'Address),
+ Full_Name => Program_Error_Name'Address,
HTable_Ptr => null,
- Import_Code => 0);
+ Import_Code => 0,
+ Raise_Hook => null);
Storage_Error_Def : aliased Exception_Data :=
(Not_Handled_By_Others => False,
Lang => 'A',
Name_Length => Storage_Error_Name'Length,
- Full_Name => To_Ptr (Storage_Error_Name'Address),
+ Full_Name => Storage_Error_Name'Address,
HTable_Ptr => null,
- Import_Code => 0);
+ Import_Code => 0,
+ Raise_Hook => null);
Tasking_Error_Def : aliased Exception_Data :=
(Not_Handled_By_Others => False,
Lang => 'A',
Name_Length => Tasking_Error_Name'Length,
- Full_Name => To_Ptr (Tasking_Error_Name'Address),
+ Full_Name => Tasking_Error_Name'Address,
HTable_Ptr => null,
- Import_Code => 0);
+ Import_Code => 0,
+ Raise_Hook => null);
Abort_Signal_Def : aliased Exception_Data :=
(Not_Handled_By_Others => True,
Lang => 'A',
Name_Length => Abort_Signal_Name'Length,
- Full_Name => To_Ptr (Abort_Signal_Name'Address),
+ Full_Name => Abort_Signal_Name'Address,
HTable_Ptr => null,
- Import_Code => 0);
+ Import_Code => 0,
+ Raise_Hook => null);
pragma Export (C, Constraint_Error_Def, "constraint_error");
pragma Export (C, Numeric_Error_Def, "numeric_error");
Exception_Trace : Exception_Trace_Kind := RM_Convention;
pragma Atomic (Exception_Trace);
- -- By default, follow the RM convention.
+ -- By default, follow the RM convention
-----------------
-- Subprograms --