-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2002 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.File_IO;
with System.File_Control_Block;
with System.Direct_IO;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Direct_IO.C_Streams is
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
--------------
-- C_Stream --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.File_IO;
with System.Direct_IO;
with System.Storage_Elements;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
use type System.Direct_IO.Count;
subtype FP is DIO.File_Type;
subtype DPCount is DIO.Positive_Count;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
- function To_DIO is new Unchecked_Conversion (FCB.File_Mode, File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_DIO is new Ada.Unchecked_Conversion (FCB.File_Mode, File_Mode);
use type System.CRTL.size_t;
-- B o d y --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, AdaCore --
+-- Copyright (C) 1995-2007, AdaCore --
-- --
-- GNARL 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Interrupts is
package SI renames System.Interrupts;
- function To_System is new Unchecked_Conversion
+ function To_System is new Ada.Unchecked_Conversion
(Parameterless_Handler, SI.Parameterless_Handler);
- function To_Ada is new Unchecked_Conversion
+ function To_Ada is new Ada.Unchecked_Conversion
(SI.Parameterless_Handler, Parameterless_Handler);
--------------------
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.File_Control_Block;
with System.File_IO;
with System.Storage_Elements;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Sequential_IO is
subtype AP is FCB.AFCB_Ptr;
subtype FP is SIO.File_Type;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
- function To_SIO is new Unchecked_Conversion (FCB.File_Mode, File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_SIO is new Ada.Unchecked_Conversion (FCB.File_Mode, File_Mode);
use type System.CRTL.size_t;
-- which can't possibly come this way, and for which the
-- size of the access types differs.
- function To_ItemP is new Unchecked_Conversion (SAP, ItemP);
+ function To_ItemP is new Ada.Unchecked_Conversion (SAP, ItemP);
pragma Warnings (On);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2002 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.File_IO;
with System.File_Control_Block;
with System.Sequential_IO;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Sequential_IO.C_Streams is
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
--------------
-- C_Stream --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2002 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with Interfaces.C_Streams; use Interfaces.C_Streams;
with System.File_IO;
with System.File_Control_Block;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Streams.Stream_IO.C_Streams is
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
--------------
-- C_Stream --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Storage_IO is
type Buffer_Ptr is access all Buffer_Type;
type Elmt_Ptr is access all Element_Type;
- function To_Buffer_Ptr is new Unchecked_Conversion (Elmt_Ptr, Buffer_Ptr);
+ function To_Buffer_Ptr is
+ new Ada.Unchecked_Conversion (Elmt_Ptr, Buffer_Ptr);
----------
-- Read --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Soft_Links;
with System.CRTL;
-with Unchecked_Conversion;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Conversion;
+with Ada.Unchecked_Deallocation;
package body Ada.Streams.Stream_IO is
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
- function To_SIO is new Unchecked_Conversion (FCB.File_Mode, File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_SIO is new Ada.Unchecked_Conversion (FCB.File_Mode, File_Mode);
use type FCB.File_Mode;
use type FCB.Shared_Status_Type;
type FCB_Ptr is access all Stream_AFCB;
FT : FCB_Ptr := FCB_Ptr (File);
- procedure Free is new Unchecked_Deallocation (Stream_AFCB, FCB_Ptr);
+ procedure Free is new Ada.Unchecked_Deallocation (Stream_AFCB, FCB_Ptr);
begin
Free (FT);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Deallocation;
+with Ada.Unchecked_Deallocation;
package body Ada.Strings.Wide_Maps is
procedure Finalize (Object : in out Wide_Character_Mapping) is
- procedure Free is new Unchecked_Deallocation
+ procedure Free is new Ada.Unchecked_Deallocation
(Wide_Character_Mapping_Values,
Wide_Character_Mapping_Values_Access);
procedure Finalize (Object : in out Wide_Character_Set) is
- procedure Free is new Unchecked_Deallocation
+ procedure Free is new Ada.Unchecked_Deallocation
(Wide_Character_Ranges,
Wide_Character_Ranges_Access);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Deallocation;
+with Ada.Unchecked_Deallocation;
package body Ada.Strings.Wide_Wide_Maps is
procedure Finalize (Object : in out Wide_Wide_Character_Mapping) is
- procedure Free is new Unchecked_Deallocation
+ procedure Free is new Ada.Unchecked_Deallocation
(Wide_Wide_Character_Mapping_Values,
Wide_Wide_Character_Mapping_Values_Access);
procedure Finalize (Object : in out Wide_Wide_Character_Set) is
- procedure Free is new Unchecked_Deallocation
+ procedure Free is new Ada.Unchecked_Deallocation
(Wide_Wide_Character_Ranges,
Wide_Wide_Character_Ranges_Access);
-- B o d y --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, AdaCore --
+-- Copyright (C) 1995-2007, AdaCore --
-- --
-- GNARL 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- --
-- In the first approach the objects on the attribute list are all derived
-- from one controlled type, say T, and are linked using an access type to
--- T'Class. The runtime system has an Unchecked_Deallocation for T'Class with
--- access type T'Class, and uses this to deallocate and finalize all the
+-- T'Class. The runtime system has an Ada.Unchecked_Deallocation for T'Class
+-- with access type T'Class, and uses this to deallocate and finalize all the
-- items in the list. The limitation of this approach is that each
-- instantiation of the package Ada.Task_Attributes derives a new record
-- extension of T, and since T is controlled (RM 3.9.1 (3)), instantiation is
-- Direct_Index
with System.Tasking.Initialization;
--- Used for Defer_Abortion
--- Undefer_Abortion
+-- Used for Defer_Abort
+-- Undefer_Abort
-- Initialize_Attributes_Link
-- Finalize_Attributes_Link
with Ada.Exceptions;
-- Used for Raise_Exception
-with Unchecked_Conversion;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Conversion;
+with Ada.Unchecked_Deallocation;
pragma Elaborate_All (System.Tasking.Task_Attributes);
-- To ensure the initialization of object Local (below) will work
-- the compiler will generate warnings for the occurrences in the large
-- attribute case, even though they will not actually be used.
- function To_Attribute_Handle is new Unchecked_Conversion
+ function To_Attribute_Handle is new Ada.Unchecked_Conversion
(System.Address, Attribute_Handle);
- function To_Direct_Attribute_Element is new Unchecked_Conversion
+ function To_Direct_Attribute_Element is new Ada.Unchecked_Conversion
(System.Address, Direct_Attribute_Element);
-- For reference to directly addressed task attributes
type Access_Integer_Address is access all
System.Storage_Elements.Integer_Address;
- function To_Attribute_Handle is new Unchecked_Conversion
+ function To_Attribute_Handle is new Ada.Unchecked_Conversion
(Access_Integer_Address, Attribute_Handle);
-- For reference to directly addressed task attributes
-- End of warnings off region for directly addressed
-- attribute conversion functions.
- function To_Access_Address is new Unchecked_Conversion
+ function To_Access_Address is new Ada.Unchecked_Conversion
(Access_Node, Access_Address);
-- To store pointer to list of indirect attributes
pragma Warnings (Off);
- function To_Access_Wrapper is new Unchecked_Conversion
+ function To_Access_Wrapper is new Ada.Unchecked_Conversion
(Access_Dummy_Wrapper, Access_Wrapper);
pragma Warnings (On);
-- To fetch pointer to actual wrapper of attribute node. We turn off
-- real wrapper type (we never actually allocate objects of type
-- Dummy_Wrapper).
- function To_Access_Dummy_Wrapper is new Unchecked_Conversion
+ function To_Access_Dummy_Wrapper is new Ada.Unchecked_Conversion
(Access_Wrapper, Access_Dummy_Wrapper);
-- To store pointer to actual wrapper of attribute node
- function To_Task_Id is new Unchecked_Conversion
+ function To_Task_Id is new Ada.Unchecked_Conversion
(Task_Identification.Task_Id, Task_Id);
-- To access TCB of identified task
type Local_Deallocator is access procedure (P : in out Access_Node);
- function To_Lib_Level_Deallocator is new Unchecked_Conversion
+ function To_Lib_Level_Deallocator is new Ada.Unchecked_Conversion
(Local_Deallocator, Deallocator);
-- To defeat accessibility check
for Wrapper'Alignment use Standard'Maximum_Alignment;
procedure Free is
- new Unchecked_Deallocation (Wrapper, Access_Wrapper);
+ new Ada.Unchecked_Deallocation (Wrapper, Access_Wrapper);
procedure Deallocate (P : in out Access_Node) is
T : Access_Wrapper := To_Access_Wrapper (P.Wrapper);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Parameters;
with System.Soft_Links;
with System.Task_Primitives.Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
pragma Warnings (Off);
-- Allow withing of non-Preelaborated units in Ada 2005 mode where this
function Image (T : Task_Id) return String is
function To_Address is new
- Unchecked_Conversion (Task_Id, System.Address);
+ Ada.Unchecked_Conversion (Task_Id, System.Address);
begin
if T = Null_Task_Id then
-- --
-- B o d y --
-- --
--- Copyright (C) 2005-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 2005-2007, 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- --
-- use for Abort_Defer
-- Abort_Undefer
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Task_Termination is
-- Local subprograms --
-----------------------
- function To_TT is new Unchecked_Conversion
+ function To_TT is new Ada.Unchecked_Conversion
(System.Tasking.Termination_Handler, Termination_Handler);
- function To_ST is new Unchecked_Conversion
+ function To_ST is new Ada.Unchecked_Conversion
(Termination_Handler, System.Tasking.Termination_Handler);
- function To_Task_Id is new Unchecked_Conversion
+ function To_Task_Id is new Ada.Unchecked_Conversion
(Ada.Task_Identification.Task_Id, System.Tasking.Task_Id);
-----------------------------------
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2002 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with Interfaces.C_Streams; use Interfaces.C_Streams;
with System.File_IO;
with System.File_Control_Block;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Text_IO.C_Streams is
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
--------------
-- C_Stream --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.WCh_Cnv; use System.WCh_Cnv;
with System.WCh_Con; use System.WCh_Con;
-with Unchecked_Conversion;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Conversion;
+with Ada.Unchecked_Deallocation;
pragma Elaborate_All (System.File_IO);
-- Needed because of calls to Chain_File in package body elaboration
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
- function To_TIO is new Unchecked_Conversion (FCB.File_Mode, File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_TIO is new Ada.Unchecked_Conversion (FCB.File_Mode, File_Mode);
use type FCB.File_Mode;
use type System.CRTL.size_t;
type FCB_Ptr is access all Wide_Text_AFCB;
FT : FCB_Ptr := FCB_Ptr (File);
- procedure Free is new Unchecked_Deallocation (Wide_Text_AFCB, FCB_Ptr);
+ procedure Free is
+ new Ada.Unchecked_Deallocation (Wide_Text_AFCB, FCB_Ptr);
begin
Free (FT);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2002 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with Interfaces.C_Streams; use Interfaces.C_Streams;
with System.File_IO;
with System.File_Control_Block;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Wide_Text_IO.C_Streams is
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
--------------
-- C_Stream --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with Interfaces.C_Streams; use Interfaces.C_Streams;
with System.File_IO;
with System.File_Control_Block;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Ada.Wide_Wide_Text_IO.C_Streams is
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
--------------
-- C_Stream --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.WCh_Cnv; use System.WCh_Cnv;
with System.WCh_Con; use System.WCh_Con;
-with Unchecked_Conversion;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Conversion;
+with Ada.Unchecked_Deallocation;
pragma Elaborate_All (System.File_IO);
-- Needed because of calls to Chain_File in package body elaboration
subtype AP is FCB.AFCB_Ptr;
- function To_FCB is new Unchecked_Conversion (File_Mode, FCB.File_Mode);
- function To_TIO is new Unchecked_Conversion (FCB.File_Mode, File_Mode);
+ function To_FCB is new Ada.Unchecked_Conversion (File_Mode, FCB.File_Mode);
+ function To_TIO is new Ada.Unchecked_Conversion (FCB.File_Mode, File_Mode);
use type FCB.File_Mode;
use type System.CRTL.size_t;
FT : FCB_Ptr := FCB_Ptr (File);
procedure Free is new
- Unchecked_Deallocation (Wide_Wide_Text_AFCB, FCB_Ptr);
+ Ada.Unchecked_Deallocation (Wide_Wide_Text_AFCB, FCB_Ptr);
begin
Free (FT);
-- --
-- B o d y --
-- --
--- Copyright (C) 2001-2005, AdaCore --
+-- Copyright (C) 2001-2007, AdaCore --
-- --
-- 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body GNAT.CRC32 is
end Update;
procedure Update (C : in out CRC32; Value : Ada.Streams.Stream_Element) is
- function To_Char is new Unchecked_Conversion
+ function To_Char is new Ada.Unchecked_Conversion
(Ada.Streams.Stream_Element, Character);
V : constant Character := To_Char (Value);
begin
procedure Wide_Update (C : in out CRC32; Value : Wide_Character) is
subtype S2 is String (1 .. 2);
- function To_S2 is new Unchecked_Conversion (Wide_Character, S2);
+ function To_S2 is new Ada.Unchecked_Conversion (Wide_Character, S2);
VS : constant S2 := To_S2 (Value);
begin
Update (C, VS (1));
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2006, AdaCore --
+-- Copyright (C) 1998-2007, AdaCore --
-- --
-- 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- --
with Ada.Characters.Handling;
with Ada.Strings.Fixed;
-with Unchecked_Deallocation;
-with Unchecked_Conversion;
+with Ada.Unchecked_Deallocation;
+with Ada.Unchecked_Conversion;
with System; use System;
with System.CRTL; use System.CRTL;
-- 1024 is the value of FILENAME_MAX in stdio.h
procedure Free is new
- Unchecked_Deallocation (Dir_Type_Value, Dir_Type);
+ Ada.Unchecked_Deallocation (Dir_Type_Value, Dir_Type);
---------------
-- Base_Name --
type Path_String_Access is access Path_String;
function Address_To_Access is new
- Unchecked_Conversion
+ Ada.Unchecked_Conversion
(Source => Address,
Target => Path_String_Access);
-- --
-- B o d y --
-- --
--- Copyright (C) 2000-2006, AdaCore --
+-- Copyright (C) 2000-2007, AdaCore --
-- --
-- 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- --
with System; use System;
with System.Memory; use System.Memory;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body GNAT.Dynamic_Tables is
-- These unchecked conversions are in fact safe, since they never
-- generate improperly aliased pointer values.
- function To_Address is new Unchecked_Conversion (Table_Ptr, Address);
- function To_Pointer is new Unchecked_Conversion (Address, Table_Ptr);
+ function To_Address is new Ada.Unchecked_Conversion (Table_Ptr, Address);
+ function To_Pointer is new Ada.Unchecked_Conversion (Address, Table_Ptr);
pragma Warnings (On);
-- Local subprograms
function Index_Of (Idx : Natural) return Table_Index_Type;
- -- Apply Natural to indexs of the table
+ -- Return index of Idx'th element of table
function Lower_Than (Op1, Op2 : Natural) return Boolean;
-- Compare two components
-- --
-- B o d y --
-- --
--- Copyright (C) 2003-2005, AdaCore --
+-- Copyright (C) 2003-2007, AdaCore --
-- --
-- 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- --
with GNAT.IO; use GNAT.IO;
with GNAT.Debug_Utilities; use GNAT.Debug_Utilities;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body GNAT.Memory_Dump is
type Char_Ptr is access all Character;
- function To_Char_Ptr is new Unchecked_Conversion (Address, Char_Ptr);
+ function To_Char_Ptr is new Ada.Unchecked_Conversion (Address, Char_Ptr);
begin
while Ctr /= 0 loop
-- --
-- B o d y --
-- --
--- Copyright (C) 1999-2005, AdaCore --
+-- Copyright (C) 1999-2007, AdaCore --
-- --
-- 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Deallocation;
-with Ada.Exceptions;
-with GNAT.Case_Util;
+-- This package does not require a body, since it is a package renaming. We
+-- provide a dummy file containing a No_Body pragma so that previous versions
+-- of the body (which did exist) will not intefere.
-package body GNAT.Regexp is
-
- Open_Paren : constant Character := '(';
- Close_Paren : constant Character := ')';
- Open_Bracket : constant Character := '[';
- Close_Bracket : constant Character := ']';
-
- type State_Index is new Natural;
- type Column_Index is new Natural;
-
- type Regexp_Array is array
- (State_Index range <>, Column_Index range <>) of State_Index;
- -- First index is for the state number
- -- Second index is for the character type
- -- Contents is the new State
-
- type Regexp_Array_Access is access Regexp_Array;
- -- Use this type through the functions Set below, so that it
- -- can grow dynamically depending on the needs.
-
- type Mapping is array (Character'Range) of Column_Index;
- -- Mapping between characters and column in the Regexp_Array
-
- type Boolean_Array is array (State_Index range <>) of Boolean;
-
- type Regexp_Value
- (Alphabet_Size : Column_Index;
- Num_States : State_Index) is
- record
- Map : Mapping;
- States : Regexp_Array (1 .. Num_States, 0 .. Alphabet_Size);
- Is_Final : Boolean_Array (1 .. Num_States);
- Case_Sensitive : Boolean;
- end record;
- -- Deterministic finite-state machine
-
- -----------------------
- -- Local Subprograms --
- -----------------------
-
- procedure Set
- (Table : in out Regexp_Array_Access;
- State : State_Index;
- Column : Column_Index;
- Value : State_Index);
- -- Sets a value in the table. If the table is too small, reallocate it
- -- dynamically so that (State, Column) is a valid index in it.
-
- function Get
- (Table : Regexp_Array_Access;
- State : State_Index;
- Column : Column_Index)
- return State_Index;
- -- Returns the value in the table at (State, Column).
- -- If this index does not exist in the table, returns 0
-
- procedure Free is new Unchecked_Deallocation
- (Regexp_Array, Regexp_Array_Access);
-
- ------------
- -- Adjust --
- ------------
-
- procedure Adjust (R : in out Regexp) is
- Tmp : Regexp_Access;
-
- begin
- Tmp := new Regexp_Value (Alphabet_Size => R.R.Alphabet_Size,
- Num_States => R.R.Num_States);
- Tmp.all := R.R.all;
- R.R := Tmp;
- end Adjust;
-
- -------------
- -- Compile --
- -------------
-
- function Compile
- (Pattern : String;
- Glob : Boolean := False;
- Case_Sensitive : Boolean := True)
- return Regexp
- is
- S : String := Pattern;
- -- The pattern which is really compiled (when the pattern is case
- -- insensitive, we convert this string to lower-cases
-
- Map : Mapping := (others => 0);
- -- Mapping between characters and columns in the tables
-
- Alphabet_Size : Column_Index := 0;
- -- Number of significant characters in the regular expression.
- -- This total does not include special operators, such as *, (, ...
-
- procedure Create_Mapping;
- -- Creates a mapping between characters in the regexp and columns
- -- in the tables representing the regexp. Test that the regexp is
- -- well-formed Modifies Alphabet_Size and Map
-
- procedure Create_Primary_Table
- (Table : out Regexp_Array_Access;
- Num_States : out State_Index;
- Start_State : out State_Index;
- End_State : out State_Index);
- -- Creates the first version of the regexp (this is a non determinist
- -- finite state machine, which is unadapted for a fast pattern
- -- matching algorithm). We use a recursive algorithm to process the
- -- parenthesis sub-expressions.
- --
- -- Table : at the end of the procedure : Column 0 is for any character
- -- ('.') and the last columns are for no character (closure)
- -- Num_States is set to the number of states in the table
- -- Start_State is the number of the starting state in the regexp
- -- End_State is the number of the final state when the regexp matches
-
- procedure Create_Primary_Table_Glob
- (Table : out Regexp_Array_Access;
- Num_States : out State_Index;
- Start_State : out State_Index;
- End_State : out State_Index);
- -- Same function as above, but it deals with the second possible
- -- grammar for 'globbing pattern', which is a kind of subset of the
- -- whole regular expression grammar.
-
- function Create_Secondary_Table
- (First_Table : Regexp_Array_Access;
- Num_States : State_Index;
- Start_State : State_Index;
- End_State : State_Index)
- return Regexp;
- -- Creates the definitive table representing the regular expression
- -- This is actually a transformation of the primary table First_Table,
- -- where every state is grouped with the states in its 'no-character'
- -- columns. The transitions between the new states are then recalculated
- -- and if necessary some new states are created.
- --
- -- Note that the resulting finite-state machine is not optimized in
- -- terms of the number of states : it would be more time-consuming to
- -- add a third pass to reduce the number of states in the machine, with
- -- no speed improvement...
-
- procedure Raise_Exception
- (M : String;
- Index : Integer);
- pragma No_Return (Raise_Exception);
- -- Raise an exception, indicating an error at character Index in S
-
- --------------------
- -- Create_Mapping --
- --------------------
-
- procedure Create_Mapping is
-
- procedure Add_In_Map (C : Character);
- -- Add a character in the mapping, if it is not already defined
-
- ----------------
- -- Add_In_Map --
- ----------------
-
- procedure Add_In_Map (C : Character) is
- begin
- if Map (C) = 0 then
- Alphabet_Size := Alphabet_Size + 1;
- Map (C) := Alphabet_Size;
- end if;
- end Add_In_Map;
-
- J : Integer := S'First;
- Parenthesis_Level : Integer := 0;
- Curly_Level : Integer := 0;
-
- -- Start of processing for Create_Mapping
-
- begin
- while J <= S'Last loop
- case S (J) is
- when Open_Bracket =>
- J := J + 1;
-
- if S (J) = '^' then
- J := J + 1;
- end if;
-
- if S (J) = ']' or S (J) = '-' then
- J := J + 1;
- end if;
-
- -- The first character never has a special meaning
-
- loop
- if J > S'Last then
- Raise_Exception
- ("Ran out of characters while parsing ", J);
- end if;
-
- exit when S (J) = Close_Bracket;
-
- if S (J) = '-'
- and then S (J + 1) /= Close_Bracket
- then
- declare
- Start : constant Integer := J - 1;
-
- begin
- J := J + 1;
-
- if S (J) = '\' then
- J := J + 1;
- end if;
-
- for Char in S (Start) .. S (J) loop
- Add_In_Map (Char);
- end loop;
- end;
- else
- if S (J) = '\' then
- J := J + 1;
- end if;
-
- Add_In_Map (S (J));
- end if;
-
- J := J + 1;
- end loop;
-
- -- A close bracket must follow a open_bracket,
- -- and cannot be found alone on the line
-
- when Close_Bracket =>
- Raise_Exception
- ("Incorrect character ']' in regular expression", J);
-
- when '\' =>
- if J < S'Last then
- J := J + 1;
- Add_In_Map (S (J));
-
- else
- -- \ not allowed at the end of the regexp
-
- Raise_Exception
- ("Incorrect character '\' in regular expression", J);
- end if;
-
- when Open_Paren =>
- if not Glob then
- Parenthesis_Level := Parenthesis_Level + 1;
- else
- Add_In_Map (Open_Paren);
- end if;
-
- when Close_Paren =>
- if not Glob then
- Parenthesis_Level := Parenthesis_Level - 1;
-
- if Parenthesis_Level < 0 then
- Raise_Exception
- ("')' is not associated with '(' in regular "
- & "expression", J);
- end if;
-
- if S (J - 1) = Open_Paren then
- Raise_Exception
- ("Empty parenthesis not allowed in regular "
- & "expression", J);
- end if;
-
- else
- Add_In_Map (Close_Paren);
- end if;
-
- when '.' =>
- if Glob then
- Add_In_Map ('.');
- end if;
-
- when '{' =>
- if not Glob then
- Add_In_Map (S (J));
- else
- Curly_Level := Curly_Level + 1;
- end if;
-
- when '}' =>
- if not Glob then
- Add_In_Map (S (J));
- else
- Curly_Level := Curly_Level - 1;
- end if;
-
- when '*' | '?' =>
- if not Glob then
- if J = S'First then
- Raise_Exception
- ("'*', '+', '?' and '|' operators cannot be in "
- & "first position in regular expression", J);
- end if;
- end if;
-
- when '|' | '+' =>
- if not Glob then
- if J = S'First then
-
- -- These operators must apply to a sub-expression,
- -- and cannot be found at the beginning of the line
-
- Raise_Exception
- ("'*', '+', '?' and '|' operators cannot be in "
- & "first position in regular expression", J);
- end if;
-
- else
- Add_In_Map (S (J));
- end if;
-
- when others =>
- Add_In_Map (S (J));
- end case;
-
- J := J + 1;
- end loop;
-
- -- A closing parenthesis must follow an open parenthesis
-
- if Parenthesis_Level /= 0 then
- Raise_Exception
- ("'(' must always be associated with a ')'", J);
- end if;
-
- if Curly_Level /= 0 then
- Raise_Exception
- ("'{' must always be associated with a '}'", J);
- end if;
- end Create_Mapping;
-
- --------------------------
- -- Create_Primary_Table --
- --------------------------
-
- procedure Create_Primary_Table
- (Table : out Regexp_Array_Access;
- Num_States : out State_Index;
- Start_State : out State_Index;
- End_State : out State_Index)
- is
- Empty_Char : constant Column_Index := Alphabet_Size + 1;
-
- Current_State : State_Index := 0;
- -- Index of the last created state
-
- procedure Add_Empty_Char
- (State : State_Index;
- To_State : State_Index);
- -- Add a empty-character transition from State to To_State
-
- procedure Create_Repetition
- (Repetition : Character;
- Start_Prev : State_Index;
- End_Prev : State_Index;
- New_Start : out State_Index;
- New_End : in out State_Index);
- -- Create the table in case we have a '*', '+' or '?'.
- -- Start_Prev .. End_Prev should indicate respectively the start and
- -- end index of the previous expression, to which '*', '+' or '?' is
- -- applied.
-
- procedure Create_Simple
- (Start_Index : Integer;
- End_Index : Integer;
- Start_State : out State_Index;
- End_State : out State_Index);
- -- Fill the table for the regexp Simple.
- -- This is the recursive procedure called to handle () expressions
- -- If End_State = 0, then the call to Create_Simple creates an
- -- independent regexp, not a concatenation
- -- Start_Index .. End_Index is the starting index in the string S.
- --
- -- Warning: it may look like we are creating too many empty-string
- -- transitions, but they are needed to get the correct regexp.
- -- The table is filled as follow ( s means start-state, e means
- -- end-state) :
- --
- -- regexp state_num | a b * empty_string
- -- ------- ------------------------------
- -- a 1 (s) | 2 - - -
- -- 2 (e) | - - - -
- --
- -- ab 1 (s) | 2 - - -
- -- 2 | - - - 3
- -- 3 | - 4 - -
- -- 4 (e) | - - - -
- --
- -- a|b 1 | 2 - - -
- -- 2 | - - - 6
- -- 3 | - 4 - -
- -- 4 | - - - 6
- -- 5 (s) | - - - 1,3
- -- 6 (e) | - - - -
- --
- -- a* 1 | 2 - - -
- -- 2 | - - - 4
- -- 3 (s) | - - - 1,4
- -- 4 (e) | - - - 3
- --
- -- (a) 1 (s) | 2 - - -
- -- 2 (e) | - - - -
- --
- -- a+ 1 | 2 - - -
- -- 2 | - - - 4
- -- 3 (s) | - - - 1
- -- 4 (e) | - - - 3
- --
- -- a? 1 | 2 - - -
- -- 2 | - - - 4
- -- 3 (s) | - - - 1,4
- -- 4 (e) | - - - -
- --
- -- . 1 (s) | 2 2 2 -
- -- 2 (e) | - - - -
-
- function Next_Sub_Expression
- (Start_Index : Integer;
- End_Index : Integer)
- return Integer;
- -- Returns the index of the last character of the next sub-expression
- -- in Simple. Index cannot be greater than End_Index.
-
- --------------------
- -- Add_Empty_Char --
- --------------------
-
- procedure Add_Empty_Char
- (State : State_Index;
- To_State : State_Index)
- is
- J : Column_Index := Empty_Char;
-
- begin
- while Get (Table, State, J) /= 0 loop
- J := J + 1;
- end loop;
-
- Set (Table, State, J, To_State);
- end Add_Empty_Char;
-
- -----------------------
- -- Create_Repetition --
- -----------------------
-
- procedure Create_Repetition
- (Repetition : Character;
- Start_Prev : State_Index;
- End_Prev : State_Index;
- New_Start : out State_Index;
- New_End : in out State_Index)
- is
- begin
- New_Start := Current_State + 1;
-
- if New_End /= 0 then
- Add_Empty_Char (New_End, New_Start);
- end if;
-
- Current_State := Current_State + 2;
- New_End := Current_State;
-
- Add_Empty_Char (End_Prev, New_End);
- Add_Empty_Char (New_Start, Start_Prev);
-
- if Repetition /= '+' then
- Add_Empty_Char (New_Start, New_End);
- end if;
-
- if Repetition /= '?' then
- Add_Empty_Char (New_End, New_Start);
- end if;
- end Create_Repetition;
-
- -------------------
- -- Create_Simple --
- -------------------
-
- procedure Create_Simple
- (Start_Index : Integer;
- End_Index : Integer;
- Start_State : out State_Index;
- End_State : out State_Index)
- is
- J : Integer := Start_Index;
- Last_Start : State_Index := 0;
-
- begin
- Start_State := 0;
- End_State := 0;
- while J <= End_Index loop
- case S (J) is
- when Open_Paren =>
- declare
- J_Start : constant Integer := J + 1;
- Next_Start : State_Index;
- Next_End : State_Index;
-
- begin
- J := Next_Sub_Expression (J, End_Index);
- Create_Simple (J_Start, J - 1, Next_Start, Next_End);
-
- if J < End_Index
- and then (S (J + 1) = '*' or else
- S (J + 1) = '+' or else
- S (J + 1) = '?')
- then
- J := J + 1;
- Create_Repetition
- (S (J),
- Next_Start,
- Next_End,
- Last_Start,
- End_State);
-
- else
- Last_Start := Next_Start;
-
- if End_State /= 0 then
- Add_Empty_Char (End_State, Last_Start);
- end if;
-
- End_State := Next_End;
- end if;
- end;
-
- when '|' =>
- declare
- Start_Prev : constant State_Index := Start_State;
- End_Prev : constant State_Index := End_State;
- Start_J : constant Integer := J + 1;
- Start_Next : State_Index := 0;
- End_Next : State_Index := 0;
-
- begin
- J := Next_Sub_Expression (J, End_Index);
-
- -- Create a new state for the start of the alternative
-
- Current_State := Current_State + 1;
- Last_Start := Current_State;
- Start_State := Last_Start;
-
- -- Create the tree for the second part of alternative
-
- Create_Simple (Start_J, J, Start_Next, End_Next);
-
- -- Create the end state
-
- Add_Empty_Char (Last_Start, Start_Next);
- Add_Empty_Char (Last_Start, Start_Prev);
- Current_State := Current_State + 1;
- End_State := Current_State;
- Add_Empty_Char (End_Prev, End_State);
- Add_Empty_Char (End_Next, End_State);
- end;
-
- when Open_Bracket =>
- Current_State := Current_State + 1;
-
- declare
- Next_State : State_Index := Current_State + 1;
-
- begin
- J := J + 1;
-
- if S (J) = '^' then
- J := J + 1;
-
- Next_State := 0;
-
- for Column in 0 .. Alphabet_Size loop
- Set (Table, Current_State, Column,
- Value => Current_State + 1);
- end loop;
- end if;
-
- -- Automatically add the first character
-
- if S (J) = '-' or S (J) = ']' then
- Set (Table, Current_State, Map (S (J)),
- Value => Next_State);
- J := J + 1;
- end if;
-
- -- Loop till closing bracket found
-
- loop
- exit when S (J) = Close_Bracket;
-
- if S (J) = '-'
- and then S (J + 1) /= ']'
- then
- declare
- Start : constant Integer := J - 1;
-
- begin
- J := J + 1;
-
- if S (J) = '\' then
- J := J + 1;
- end if;
-
- for Char in S (Start) .. S (J) loop
- Set (Table, Current_State, Map (Char),
- Value => Next_State);
- end loop;
- end;
-
- else
- if S (J) = '\' then
- J := J + 1;
- end if;
-
- Set (Table, Current_State, Map (S (J)),
- Value => Next_State);
- end if;
- J := J + 1;
- end loop;
- end;
-
- Current_State := Current_State + 1;
-
- -- If the next symbol is a special symbol
-
- if J < End_Index
- and then (S (J + 1) = '*' or else
- S (J + 1) = '+' or else
- S (J + 1) = '?')
- then
- J := J + 1;
- Create_Repetition
- (S (J),
- Current_State - 1,
- Current_State,
- Last_Start,
- End_State);
-
- else
- Last_Start := Current_State - 1;
-
- if End_State /= 0 then
- Add_Empty_Char (End_State, Last_Start);
- end if;
-
- End_State := Current_State;
- end if;
-
- when '*' | '+' | '?' | Close_Paren | Close_Bracket =>
- Raise_Exception
- ("Incorrect character in regular expression :", J);
-
- when others =>
- Current_State := Current_State + 1;
-
- -- Create the state for the symbol S (J)
-
- if S (J) = '.' then
- for K in 0 .. Alphabet_Size loop
- Set (Table, Current_State, K,
- Value => Current_State + 1);
- end loop;
-
- else
- if S (J) = '\' then
- J := J + 1;
- end if;
-
- Set (Table, Current_State, Map (S (J)),
- Value => Current_State + 1);
- end if;
-
- Current_State := Current_State + 1;
-
- -- If the next symbol is a special symbol
-
- if J < End_Index
- and then (S (J + 1) = '*' or else
- S (J + 1) = '+' or else
- S (J + 1) = '?')
- then
- J := J + 1;
- Create_Repetition
- (S (J),
- Current_State - 1,
- Current_State,
- Last_Start,
- End_State);
-
- else
- Last_Start := Current_State - 1;
-
- if End_State /= 0 then
- Add_Empty_Char (End_State, Last_Start);
- end if;
-
- End_State := Current_State;
- end if;
-
- end case;
-
- if Start_State = 0 then
- Start_State := Last_Start;
- end if;
-
- J := J + 1;
- end loop;
- end Create_Simple;
-
- -------------------------
- -- Next_Sub_Expression --
- -------------------------
-
- function Next_Sub_Expression
- (Start_Index : Integer;
- End_Index : Integer)
- return Integer
- is
- J : Integer := Start_Index;
- Start_On_Alter : Boolean := False;
-
- begin
- if S (J) = '|' then
- Start_On_Alter := True;
- end if;
-
- loop
- exit when J = End_Index;
- J := J + 1;
-
- case S (J) is
- when '\' =>
- J := J + 1;
-
- when Open_Bracket =>
- loop
- J := J + 1;
- exit when S (J) = Close_Bracket;
-
- if S (J) = '\' then
- J := J + 1;
- end if;
- end loop;
-
- when Open_Paren =>
- J := Next_Sub_Expression (J, End_Index);
-
- when Close_Paren =>
- return J;
-
- when '|' =>
- if Start_On_Alter then
- return J - 1;
- end if;
-
- when others =>
- null;
- end case;
- end loop;
-
- return J;
- end Next_Sub_Expression;
-
- -- Start of Create_Primary_Table
-
- begin
- Table.all := (others => (others => 0));
- Create_Simple (S'First, S'Last, Start_State, End_State);
- Num_States := Current_State;
- end Create_Primary_Table;
-
- -------------------------------
- -- Create_Primary_Table_Glob --
- -------------------------------
-
- procedure Create_Primary_Table_Glob
- (Table : out Regexp_Array_Access;
- Num_States : out State_Index;
- Start_State : out State_Index;
- End_State : out State_Index)
- is
- Empty_Char : constant Column_Index := Alphabet_Size + 1;
-
- Current_State : State_Index := 0;
- -- Index of the last created state
-
- procedure Add_Empty_Char
- (State : State_Index;
- To_State : State_Index);
- -- Add a empty-character transition from State to To_State
-
- procedure Create_Simple
- (Start_Index : Integer;
- End_Index : Integer;
- Start_State : out State_Index;
- End_State : out State_Index);
- -- Fill the table for the S (Start_Index .. End_Index).
- -- This is the recursive procedure called to handle () expressions
-
- --------------------
- -- Add_Empty_Char --
- --------------------
-
- procedure Add_Empty_Char
- (State : State_Index;
- To_State : State_Index)
- is
- J : Column_Index := Empty_Char;
-
- begin
- while Get (Table, State, J) /= 0 loop
- J := J + 1;
- end loop;
-
- Set (Table, State, J,
- Value => To_State);
- end Add_Empty_Char;
-
- -------------------
- -- Create_Simple --
- -------------------
-
- procedure Create_Simple
- (Start_Index : Integer;
- End_Index : Integer;
- Start_State : out State_Index;
- End_State : out State_Index)
- is
- J : Integer := Start_Index;
- Last_Start : State_Index := 0;
-
- begin
- Start_State := 0;
- End_State := 0;
-
- while J <= End_Index loop
- case S (J) is
-
- when Open_Bracket =>
- Current_State := Current_State + 1;
-
- declare
- Next_State : State_Index := Current_State + 1;
-
- begin
- J := J + 1;
-
- if S (J) = '^' then
- J := J + 1;
- Next_State := 0;
-
- for Column in 0 .. Alphabet_Size loop
- Set (Table, Current_State, Column,
- Value => Current_State + 1);
- end loop;
- end if;
-
- -- Automatically add the first character
-
- if S (J) = '-' or S (J) = ']' then
- Set (Table, Current_State, Map (S (J)),
- Value => Current_State);
- J := J + 1;
- end if;
-
- -- Loop till closing bracket found
-
- loop
- exit when S (J) = Close_Bracket;
-
- if S (J) = '-'
- and then S (J + 1) /= ']'
- then
- declare
- Start : constant Integer := J - 1;
- begin
- J := J + 1;
-
- if S (J) = '\' then
- J := J + 1;
- end if;
-
- for Char in S (Start) .. S (J) loop
- Set (Table, Current_State, Map (Char),
- Value => Next_State);
- end loop;
- end;
-
- else
- if S (J) = '\' then
- J := J + 1;
- end if;
-
- Set (Table, Current_State, Map (S (J)),
- Value => Next_State);
- end if;
- J := J + 1;
- end loop;
- end;
-
- Last_Start := Current_State;
- Current_State := Current_State + 1;
-
- if End_State /= 0 then
- Add_Empty_Char (End_State, Last_Start);
- end if;
-
- End_State := Current_State;
-
- when '{' =>
- declare
- End_Sub : Integer;
- Start_Regexp_Sub : State_Index;
- End_Regexp_Sub : State_Index;
- Create_Start : State_Index := 0;
-
- Create_End : State_Index := 0;
- -- Initialized to avoid junk warning
-
- begin
- while S (J) /= '}' loop
-
- -- First step : find sub pattern
-
- End_Sub := J + 1;
- while S (End_Sub) /= ','
- and then S (End_Sub) /= '}'
- loop
- End_Sub := End_Sub + 1;
- end loop;
-
- -- Second step : create a sub pattern
-
- Create_Simple
- (J + 1,
- End_Sub - 1,
- Start_Regexp_Sub,
- End_Regexp_Sub);
-
- J := End_Sub;
-
- -- Third step : create an alternative
-
- if Create_Start = 0 then
- Current_State := Current_State + 1;
- Create_Start := Current_State;
- Add_Empty_Char (Create_Start, Start_Regexp_Sub);
- Current_State := Current_State + 1;
- Create_End := Current_State;
- Add_Empty_Char (End_Regexp_Sub, Create_End);
-
- else
- Current_State := Current_State + 1;
- Add_Empty_Char (Current_State, Create_Start);
- Create_Start := Current_State;
- Add_Empty_Char (Create_Start, Start_Regexp_Sub);
- Add_Empty_Char (End_Regexp_Sub, Create_End);
- end if;
- end loop;
-
- if End_State /= 0 then
- Add_Empty_Char (End_State, Create_Start);
- end if;
-
- End_State := Create_End;
- Last_Start := Create_Start;
- end;
-
- when '*' =>
- Current_State := Current_State + 1;
-
- if End_State /= 0 then
- Add_Empty_Char (End_State, Current_State);
- end if;
-
- Add_Empty_Char (Current_State, Current_State + 1);
- Add_Empty_Char (Current_State, Current_State + 3);
- Last_Start := Current_State;
-
- Current_State := Current_State + 1;
-
- for K in 0 .. Alphabet_Size loop
- Set (Table, Current_State, K,
- Value => Current_State + 1);
- end loop;
-
- Current_State := Current_State + 1;
- Add_Empty_Char (Current_State, Current_State + 1);
-
- Current_State := Current_State + 1;
- Add_Empty_Char (Current_State, Last_Start);
- End_State := Current_State;
-
- when others =>
- Current_State := Current_State + 1;
-
- if S (J) = '?' then
- for K in 0 .. Alphabet_Size loop
- Set (Table, Current_State, K,
- Value => Current_State + 1);
- end loop;
-
- else
- if S (J) = '\' then
- J := J + 1;
- end if;
-
- -- Create the state for the symbol S (J)
-
- Set (Table, Current_State, Map (S (J)),
- Value => Current_State + 1);
- end if;
-
- Last_Start := Current_State;
- Current_State := Current_State + 1;
-
- if End_State /= 0 then
- Add_Empty_Char (End_State, Last_Start);
- end if;
-
- End_State := Current_State;
-
- end case;
-
- if Start_State = 0 then
- Start_State := Last_Start;
- end if;
-
- J := J + 1;
- end loop;
- end Create_Simple;
-
- -- Start of processing for Create_Primary_Table_Glob
-
- begin
- Table.all := (others => (others => 0));
- Create_Simple (S'First, S'Last, Start_State, End_State);
- Num_States := Current_State;
- end Create_Primary_Table_Glob;
-
- ----------------------------
- -- Create_Secondary_Table --
- ----------------------------
-
- function Create_Secondary_Table
- (First_Table : Regexp_Array_Access;
- Num_States : State_Index;
- Start_State : State_Index;
- End_State : State_Index) return Regexp
- is
- pragma Warnings (Off, Num_States);
-
- Last_Index : constant State_Index := First_Table'Last (1);
- type Meta_State is array (1 .. Last_Index) of Boolean;
-
- Table : Regexp_Array (1 .. Last_Index, 0 .. Alphabet_Size) :=
- (others => (others => 0));
-
- Meta_States : array (1 .. Last_Index + 1) of Meta_State :=
- (others => (others => False));
-
- Temp_State_Not_Null : Boolean;
-
- Is_Final : Boolean_Array (1 .. Last_Index) := (others => False);
-
- Current_State : State_Index := 1;
- Nb_State : State_Index := 1;
-
- procedure Closure
- (State : in out Meta_State;
- Item : State_Index);
- -- Compute the closure of the state (that is every other state which
- -- has a empty-character transition) and add it to the state
-
- -------------
- -- Closure --
- -------------
-
- procedure Closure
- (State : in out Meta_State;
- Item : State_Index)
- is
- begin
- if State (Item) then
- return;
- end if;
-
- State (Item) := True;
-
- for Column in Alphabet_Size + 1 .. First_Table'Last (2) loop
- if First_Table (Item, Column) = 0 then
- return;
- end if;
-
- Closure (State, First_Table (Item, Column));
- end loop;
- end Closure;
-
- -- Start of procesing for Create_Secondary_Table
-
- begin
- -- Create a new state
-
- Closure (Meta_States (Current_State), Start_State);
-
- while Current_State <= Nb_State loop
-
- -- If this new meta-state includes the primary table end state,
- -- then this meta-state will be a final state in the regexp
-
- if Meta_States (Current_State)(End_State) then
- Is_Final (Current_State) := True;
- end if;
-
- -- For every character in the regexp, calculate the possible
- -- transitions from Current_State
-
- for Column in 0 .. Alphabet_Size loop
- Meta_States (Nb_State + 1) := (others => False);
- Temp_State_Not_Null := False;
-
- for K in Meta_States (Current_State)'Range loop
- if Meta_States (Current_State)(K)
- and then First_Table (K, Column) /= 0
- then
- Closure
- (Meta_States (Nb_State + 1), First_Table (K, Column));
- Temp_State_Not_Null := True;
- end if;
- end loop;
-
- -- If at least one transition existed
-
- if Temp_State_Not_Null then
-
- -- Check if this new state corresponds to an old one
-
- for K in 1 .. Nb_State loop
- if Meta_States (K) = Meta_States (Nb_State + 1) then
- Table (Current_State, Column) := K;
- exit;
- end if;
- end loop;
-
- -- If not, create a new state
-
- if Table (Current_State, Column) = 0 then
- Nb_State := Nb_State + 1;
- Table (Current_State, Column) := Nb_State;
- end if;
- end if;
- end loop;
-
- Current_State := Current_State + 1;
- end loop;
-
- -- Returns the regexp
-
- declare
- R : Regexp_Access;
-
- begin
- R := new Regexp_Value (Alphabet_Size => Alphabet_Size,
- Num_States => Nb_State);
- R.Map := Map;
- R.Is_Final := Is_Final (1 .. Nb_State);
- R.Case_Sensitive := Case_Sensitive;
-
- for State in 1 .. Nb_State loop
- for K in 0 .. Alphabet_Size loop
- R.States (State, K) := Table (State, K);
- end loop;
- end loop;
-
- return (Ada.Finalization.Controlled with R => R);
- end;
- end Create_Secondary_Table;
-
- ---------------------
- -- Raise_Exception --
- ---------------------
-
- procedure Raise_Exception
- (M : String;
- Index : Integer)
- is
- begin
- Ada.Exceptions.Raise_Exception
- (Error_In_Regexp'Identity, M & " at offset " & Index'Img);
- end Raise_Exception;
-
- -- Start of processing for Compile
-
- begin
- -- Special case for the empty string: it always matches, and the
- -- following processing would fail on it.
- if S = "" then
- return (Ada.Finalization.Controlled with
- R => new Regexp_Value'
- (Alphabet_Size => 0,
- Num_States => 1,
- Map => (others => 0),
- States => (others => (others => 1)),
- Is_Final => (others => True),
- Case_Sensitive => True));
- end if;
-
- if not Case_Sensitive then
- GNAT.Case_Util.To_Lower (S);
- end if;
-
- Create_Mapping;
-
- -- Creates the primary table
-
- declare
- Table : Regexp_Array_Access;
- Num_States : State_Index;
- Start_State : State_Index;
- End_State : State_Index;
- R : Regexp;
-
- begin
- Table := new Regexp_Array (1 .. 100,
- 0 .. Alphabet_Size + 10);
- if not Glob then
- Create_Primary_Table (Table, Num_States, Start_State, End_State);
- else
- Create_Primary_Table_Glob
- (Table, Num_States, Start_State, End_State);
- end if;
-
- -- Creates the secondary table
-
- R := Create_Secondary_Table
- (Table, Num_States, Start_State, End_State);
- Free (Table);
- return R;
- end;
- end Compile;
-
- --------------
- -- Finalize --
- --------------
-
- procedure Finalize (R : in out Regexp) is
- procedure Free is new
- Unchecked_Deallocation (Regexp_Value, Regexp_Access);
-
- begin
- Free (R.R);
- end Finalize;
-
- ---------
- -- Get --
- ---------
-
- function Get
- (Table : Regexp_Array_Access;
- State : State_Index;
- Column : Column_Index) return State_Index
- is
- begin
- if State <= Table'Last (1)
- and then Column <= Table'Last (2)
- then
- return Table (State, Column);
- else
- return 0;
- end if;
- end Get;
-
- -----------
- -- Match --
- -----------
-
- function Match (S : String; R : Regexp) return Boolean is
- Current_State : State_Index := 1;
-
- begin
- if R.R = null then
- raise Constraint_Error;
- end if;
-
- for Char in S'Range loop
-
- if R.R.Case_Sensitive then
- Current_State := R.R.States (Current_State, R.R.Map (S (Char)));
- else
- Current_State :=
- R.R.States (Current_State,
- R.R.Map (GNAT.Case_Util.To_Lower (S (Char))));
- end if;
-
- if Current_State = 0 then
- return False;
- end if;
-
- end loop;
-
- return R.R.Is_Final (Current_State);
- end Match;
-
- ---------
- -- Set --
- ---------
-
- procedure Set
- (Table : in out Regexp_Array_Access;
- State : State_Index;
- Column : Column_Index;
- Value : State_Index)
- is
- New_Lines : State_Index;
- New_Columns : Column_Index;
- New_Table : Regexp_Array_Access;
-
- begin
- if State <= Table'Last (1)
- and then Column <= Table'Last (2)
- then
- Table (State, Column) := Value;
- else
- -- Doubles the size of the table until it is big enough that
- -- (State, Column) is a valid index
-
- New_Lines := Table'Last (1) * (State / Table'Last (1) + 1);
- New_Columns := Table'Last (2) * (Column / Table'Last (2) + 1);
- New_Table := new Regexp_Array (Table'First (1) .. New_Lines,
- Table'First (2) .. New_Columns);
- New_Table.all := (others => (others => 0));
-
- for J in Table'Range (1) loop
- for K in Table'Range (2) loop
- New_Table (J, K) := Table (J, K);
- end loop;
- end loop;
-
- Free (Table);
- Table := New_Table;
- Table (State, Column) := Value;
- end if;
- end Set;
-
-end GNAT.Regexp;
+pragma No_Body;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2006, AdaCore --
+-- Copyright (C) 1998-2007, AdaCore --
-- --
-- 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- --
with System; use System;
-with Unchecked_Conversion;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Conversion;
+with Ada.Unchecked_Deallocation;
package body GNAT.Spitbol.Patterns is
subtype String_Ptr is Ada.Strings.Unbounded.String_Access;
subtype File_Ptr is Ada.Text_IO.File_Access;
- function To_Address is new Unchecked_Conversion (PE_Ptr, Address);
+ function To_Address is new Ada.Unchecked_Conversion (PE_Ptr, Address);
-- Used only for debugging output purposes
subtype AFC is Ada.Finalization.Controlled;
procedure Finalize (Object : in out Pattern) is
- procedure Free is new Unchecked_Deallocation (PE, PE_Ptr);
- procedure Free is new Unchecked_Deallocation (String, String_Ptr);
+ procedure Free is new Ada.Unchecked_Deallocation (PE, PE_Ptr);
+ procedure Free is new Ada.Unchecked_Deallocation (String, String_Ptr);
begin
-- Nothing to do if already freed
------------
function Str_BF (A : Boolean_Func) return String is
- function To_A is new Unchecked_Conversion (Boolean_Func, Address);
+ function To_A is new Ada.Unchecked_Conversion (Boolean_Func, Address);
begin
return "BF(" & Image (To_A (A)) & ')';
end Str_BF;
------------
function Str_NF (A : Natural_Func) return String is
- function To_A is new Unchecked_Conversion (Natural_Func, Address);
+ function To_A is new Ada.Unchecked_Conversion (Natural_Func, Address);
begin
return "NF(" & Image (To_A (A)) & ')';
end Str_NF;
------------
function Str_VF (A : VString_Func) return String is
- function To_A is new Unchecked_Conversion (VString_Func, Address);
+ function To_A is new Ada.Unchecked_Conversion (VString_Func, Address);
begin
return "VF(" & Image (To_A (A)) & ')';
end Str_VF;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2006, AdaCore --
+-- Copyright (C) 1998-2007, AdaCore --
-- --
-- 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- --
with GNAT.Debug_Utilities; use GNAT.Debug_Utilities;
with GNAT.IO; use GNAT.IO;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Deallocation;
package body GNAT.Spitbol is
package body Table is
procedure Free is new
- Unchecked_Deallocation (Hash_Element, Hash_Element_Ptr);
+ Ada.Unchecked_Deallocation (Hash_Element, Hash_Element_Ptr);
-----------------------
-- Local Subprograms --
-- --
-- B o d y --
-- --
--- Copyright (C) 1995-2002 Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, 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- --
-- --
------------------------------------------------------------------------------
-package body GNAT.Strings is
+-- This package does not require a body, since it is a package renaming. We
+-- provide a dummy file containing a No_Body pragma so that previous versions
+-- of the body (which did exist) will not intefere.
- ----------
- -- Free --
- ----------
-
- procedure Free (Arg : in out String_List_Access) is
- X : String_Access;
-
- procedure Free_Array is new Unchecked_Deallocation
- (Object => String_List, Name => String_List_Access);
-
- begin
- -- First free all the String_Access components if any
-
- if Arg /= null then
- for J in Arg'Range loop
- X := Arg (J);
- Free (X);
- end loop;
- end if;
-
- -- Now free the allocated array
-
- Free_Array (Arg);
- end Free;
-
-end GNAT.Strings;
+pragma No_Body;
-- --
-- S p e c --
-- --
--- Copyright (C) 1995-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, 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- --
-- Common String access types and related subprograms
-with Unchecked_Deallocation;
+-- See file s-string.ads for full documentation of the interface
-package GNAT.Strings is
- pragma Preelaborate;
+with System.Strings;
- type String_Access is access all String;
- -- General purpose string access type. Note that the caller is
- -- responsible for freeing allocated strings to avoid memory leaks.
-
- procedure Free is new Unchecked_Deallocation
- (Object => String, Name => String_Access);
- -- This procedure is provided for freeing allocated values of type
- -- String_Access.
-
- type String_List is array (Positive range <>) of String_Access;
- type String_List_Access is access all String_List;
- -- General purpose array and pointer for list of string accesses
-
- procedure Free (Arg : in out String_List_Access);
- -- Frees the given array and all strings that its elements reference,
- -- and then sets the argument to null. Provided for freeing allocated
- -- values of this type.
-
-end GNAT.Strings;
+package GNAT.Strings renames System.Strings;
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2005, AdaCore --
+-- Copyright (C) 1998-2007, AdaCore --
-- --
-- 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- --
with System; use System;
with System.Memory; use System.Memory;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body GNAT.Table is
-- internally in this package, and cannot never result in any instances
-- of improperly aliased pointers for the client of the package.
- function To_Address is new Unchecked_Conversion (Table_Ptr, Address);
- function To_Pointer is new Unchecked_Conversion (Address, Table_Ptr);
+ function To_Address is new Ada.Unchecked_Conversion (Table_Ptr, Address);
+ function To_Pointer is new Ada.Unchecked_Conversion (Address, Table_Ptr);
pragma Warnings (On);
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2006 AdaCore --
+-- Copyright (C) 1998-2007, AdaCore --
-- --
-- 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- --
with System.Tasking.Stages; use System.Tasking.Stages;
with System.OS_Interface; use System.OS_Interface;
with System.Soft_Links; use System.Soft_Links;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body GNAT.Threads is
-- The following unchecked conversions are aliasing safe, since they
-- are never used to create pointers to improperly aliased data.
- function To_Addr is new Unchecked_Conversion (Task_Id, Address);
- function To_Id is new Unchecked_Conversion (Address, Task_Id);
- function To_Id is new Unchecked_Conversion (Address, Tasking.Task_Id);
- function To_Tid is new Unchecked_Conversion
+ function To_Addr is new Ada.Unchecked_Conversion (Task_Id, Address);
+ function To_Id is new Ada.Unchecked_Conversion (Address, Task_Id);
+ function To_Id is new Ada.Unchecked_Conversion (Address, Tasking.Task_Id);
+ function To_Tid is new Ada.Unchecked_Conversion
(Address, Ada.Task_Identification.Task_Id);
- function To_Thread is new Unchecked_Conversion (Address, Thread_Id_Ptr);
+ function To_Thread is new Ada.Unchecked_Conversion (Address, Thread_Id_Ptr);
pragma Warnings (On);
is
TP : Tptr;
- function To_CP is new Unchecked_Conversion (Address, Code_Proc);
+ function To_CP is new Ada.Unchecked_Conversion (Address, Code_Proc);
begin
TP := new Thread (Size, Prio, Parm, To_CP (Code));
----------------
function To_Task_Id
- (Id : System.Address) return Ada.Task_Identification.Task_Id
+ (Id : System.Address) return Ada.Task_Identification.Task_Id
is
begin
return To_Tid (Id);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with Interfaces; use Interfaces;
with System; use System;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Interfaces.COBOL is
subtype B8 is Byte_Array (1 .. 8);
-- Representations for 1,2,4,8 byte binary values
- function To_B1 is new Unchecked_Conversion (Integer_8, B1);
- function To_B2 is new Unchecked_Conversion (Integer_16, B2);
- function To_B4 is new Unchecked_Conversion (Integer_32, B4);
- function To_B8 is new Unchecked_Conversion (Integer_64, B8);
+ function To_B1 is new Ada.Unchecked_Conversion (Integer_8, B1);
+ function To_B2 is new Ada.Unchecked_Conversion (Integer_16, B2);
+ function To_B4 is new Ada.Unchecked_Conversion (Integer_32, B4);
+ function To_B8 is new Ada.Unchecked_Conversion (Integer_64, B8);
-- Conversions from native binary to external binary
- function From_B1 is new Unchecked_Conversion (B1, Integer_8);
- function From_B2 is new Unchecked_Conversion (B2, Integer_16);
- function From_B4 is new Unchecked_Conversion (B4, Integer_32);
- function From_B8 is new Unchecked_Conversion (B8, Integer_64);
+ function From_B1 is new Ada.Unchecked_Conversion (B1, Integer_8);
+ function From_B2 is new Ada.Unchecked_Conversion (B2, Integer_16);
+ function From_B4 is new Ada.Unchecked_Conversion (B4, Integer_32);
+ function From_B8 is new Ada.Unchecked_Conversion (B8, Integer_64);
-- Conversions from external binary to signed native binary
- function From_B1U is new Unchecked_Conversion (B1, Unsigned_8);
- function From_B2U is new Unchecked_Conversion (B2, Unsigned_16);
- function From_B4U is new Unchecked_Conversion (B4, Unsigned_32);
- function From_B8U is new Unchecked_Conversion (B8, Unsigned_64);
+ function From_B1U is new Ada.Unchecked_Conversion (B1, Unsigned_8);
+ function From_B2U is new Ada.Unchecked_Conversion (B2, Unsigned_16);
+ function From_B4U is new Ada.Unchecked_Conversion (B4, Unsigned_32);
+ function From_B8U is new Ada.Unchecked_Conversion (B8, Unsigned_64);
-- Conversions from external binary to unsigned native binary
-----------------------
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2004 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with Interfaces.C.Strings; use Interfaces.C.Strings;
with System; use System;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Interfaces.C.Pointers is
type Addr is mod Memory_Size;
- function To_Pointer is new Unchecked_Conversion (Addr, Pointer);
- function To_Addr is new Unchecked_Conversion (Pointer, Addr);
- function To_Addr is new Unchecked_Conversion (ptrdiff_t, Addr);
- function To_Ptrdiff is new Unchecked_Conversion (Addr, ptrdiff_t);
+ function To_Pointer is new Ada.Unchecked_Conversion (Addr, Pointer);
+ function To_Addr is new Ada.Unchecked_Conversion (Pointer, Addr);
+ function To_Addr is new Ada.Unchecked_Conversion (ptrdiff_t, Addr);
+ function To_Ptrdiff is new Ada.Unchecked_Conversion (Addr, ptrdiff_t);
Elmt_Size : constant ptrdiff_t :=
(Element_Array'Component_Size
subtype A is Element_Array (L .. H);
type PA is access A;
- function To_PA is new Unchecked_Conversion (Pointer, PA);
+ function To_PA is new Ada.Unchecked_Conversion (Pointer, PA);
begin
return To_PA (Ref).all;
subtype A is Element_Array (L .. H);
type PA is access A;
- function To_PA is new Unchecked_Conversion (Pointer, PA);
+ function To_PA is new Ada.Unchecked_Conversion (Pointer, PA);
begin
return To_PA (Ref).all;
-- --
-- B o d y --
-- --
--- Copyright (C) 1996-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1996-2007, 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- --
-- This is the Alpha/VMS version
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Interfaces.C_Streams is
use type System.CRTL.size_t;
type Buffer_Type is array (size_t range 1 .. count,
size_t range 1 .. size) of Character;
type Buffer_Access is access Buffer_Type;
- function To_BA is new Unchecked_Conversion (voids, Buffer_Access);
+ function To_BA is new Ada.Unchecked_Conversion (voids, Buffer_Access);
BA : constant Buffer_Access := To_BA (buffer);
Ch : int;
type Buffer_Type is array (size_t range 1 .. count,
size_t range 1 .. size) of Character;
type Buffer_Access is access Buffer_Type;
- function To_BA is new Unchecked_Conversion (voids, Buffer_Access);
+ function To_BA is new Ada.Unchecked_Conversion (voids, Buffer_Access);
BA : constant Buffer_Access := To_BA (buffer);
Ch : int;
type Buffer_Type is array (size_t range 1 .. count,
size_t range 1 .. size) of Character;
type Buffer_Access is access Buffer_Type;
- function To_BA is new Unchecked_Conversion (voids, Buffer_Access);
+ function To_BA is new Ada.Unchecked_Conversion (voids, Buffer_Access);
BA : constant Buffer_Access := To_BA (buffer);
-- --
-- B o d y --
-- --
--- Copyright (C) 1996-2003 Free Software Foundation, Inc. --
+-- Copyright (C) 1996-2007, 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- --
-- Note: the reason that we provide for specialization here is that on
-- some systems, notably VMS, we may need to worry about buffering.
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Interfaces.C_Streams is
type Acc_Bytes is access all Byte_Buffer;
- function To_Acc_Bytes is new Unchecked_Conversion (voids, Acc_Bytes);
+ function To_Acc_Bytes is new Ada.Unchecked_Conversion (voids, Acc_Bytes);
function fread
(buffer : voids;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System; use System;
with System.Storage_Elements; use System.Storage_Elements;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body Interfaces.C.Strings is
-- this type will in fact be used for aliasing values of other types.
function To_chars_ptr is
- new Unchecked_Conversion (Address, chars_ptr);
+ new Ada.Unchecked_Conversion (Address, chars_ptr);
function To_Address is
- new Unchecked_Conversion (chars_ptr, Address);
+ new Ada.Unchecked_Conversion (chars_ptr, Address);
-----------------------
-- Local Subprograms --
-- B o d y --
-- (Version for IBM Mainframe Packed Decimal Format) --
-- --
--- Copyright (C) 1992-2001, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- --
------------------------------------------------------------------------------
-with System; use System;
-with Unchecked_Conversion;
+with System; use System;
+
+with Ada.Unchecked_Conversion;
package body Interfaces.Packed_Decimal is
-- The type used internally to represent packed decimal
type Packed_Ptr is access Packed;
- function To_Packed_Ptr is new Unchecked_Conversion (Address, Packed_Ptr);
+ function To_Packed_Ptr is
+ new Ada.Unchecked_Conversion (Address, Packed_Ptr);
-- The following array is used to convert a value in the range 0-99 to
-- a packed decimal format with two hexadecimal nibbles. It is worth
-- --
-- B o d y --
-- --
--- Copyright (C) 1992,1993,1994,1995,1996 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
function System.Address_Image (A : Address) return String is
type Bytes is array (1 .. Address'Size / Storage_Unit) of Byte;
for Bytes'Size use Address'Size;
- function To_Bytes is new Unchecked_Conversion (Address, Bytes);
+ function To_Bytes is new Ada.Unchecked_Conversion (Address, Bytes);
Byte_Sequence : constant Bytes := To_Bytes (A);
-- --
-- B o d y --
-- --
--- Copyright (C) 2004-2006 Free Software Foundation, Inc. --
+-- Copyright (C) 2004-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Address_Operations is
type IA is mod 2 ** Address'Size;
-- The type used to provide the actual desired operations
- function I is new Unchecked_Conversion (Address, IA);
- function A is new Unchecked_Conversion (IA, Address);
+ function I is new Ada.Unchecked_Conversion (Address, IA);
+ function A is new Ada.Unchecked_Conversion (IA, Address);
-- The operations are implemented by unchecked conversion to type IA,
-- followed by doing the intrinsic operation on the IA values, followed
-- by converting the result back to type Address.
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- --
------------------------------------------------------------------------------
-with System.Pure_Exceptions; use System.Pure_Exceptions;
-
with Interfaces; use Interfaces;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Arith_64 is
pragma Suppress (Range_Check);
subtype Uns64 is Unsigned_64;
- function To_Uns is new Unchecked_Conversion (Int64, Uns64);
- function To_Int is new Unchecked_Conversion (Uns64, Int64);
+ function To_Uns is new Ada.Unchecked_Conversion (Int64, Uns64);
+ function To_Int is new Ada.Unchecked_Conversion (Uns64, Int64);
subtype Uns32 is Unsigned_32;
procedure Raise_Error is
begin
- Raise_Exception (CE, "64-bit arithmetic overflow");
+ raise Constraint_Error with "64-bit arithmetic overflow";
end Raise_Error;
-------------------
-- --
-- S p e c --
-- --
--- Copyright (C) 1996-2006 Free Software Foundation, Inc. --
+-- Copyright (C) 1996-2007, 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- --
-- These definitions can be used directly by withing this package, or merged
-- with System using pragma Extend_System (Aux_DEC)
--- This is the VMS 64 bit version.
+-- This is the VMS 64 bit version
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.Aux_DEC is
pragma Preelaborate;
-- not available.
Short_Memory_Size : constant := 2 ** 32;
- -- Defined for convenience of porting.
+ -- Defined for convenience of porting
type Integer_8 is range -2 ** (8 - 1) .. +2 ** (8 - 1) - 1;
for Integer_8'Size use 8;
-- detectable by a program)
function To_Unsigned_Byte_A is new
- Unchecked_Conversion (Bit_Array_8, Unsigned_Byte);
+ Ada.Unchecked_Conversion (Bit_Array_8, Unsigned_Byte);
function To_Unsigned_Byte (X : Bit_Array_8) return Unsigned_Byte
renames To_Unsigned_Byte_A;
function To_Bit_Array_8_A is new
- Unchecked_Conversion (Unsigned_Byte, Bit_Array_8);
+ Ada.Unchecked_Conversion (Unsigned_Byte, Bit_Array_8);
function To_Bit_Array_8 (X : Unsigned_Byte) return Bit_Array_8
renames To_Bit_Array_8_A;
function To_Unsigned_Word_A is new
- Unchecked_Conversion (Bit_Array_16, Unsigned_Word);
+ Ada.Unchecked_Conversion (Bit_Array_16, Unsigned_Word);
function To_Unsigned_Word (X : Bit_Array_16) return Unsigned_Word
renames To_Unsigned_Word_A;
function To_Bit_Array_16_A is new
- Unchecked_Conversion (Unsigned_Word, Bit_Array_16);
+ Ada.Unchecked_Conversion (Unsigned_Word, Bit_Array_16);
function To_Bit_Array_16 (X : Unsigned_Word) return Bit_Array_16
renames To_Bit_Array_16_A;
function To_Unsigned_Longword_A is new
- Unchecked_Conversion (Bit_Array_32, Unsigned_Longword);
+ Ada.Unchecked_Conversion (Bit_Array_32, Unsigned_Longword);
function To_Unsigned_Longword (X : Bit_Array_32) return Unsigned_Longword
renames To_Unsigned_Longword_A;
function To_Bit_Array_32_A is new
- Unchecked_Conversion (Unsigned_Longword, Bit_Array_32);
+ Ada.Unchecked_Conversion (Unsigned_Longword, Bit_Array_32);
function To_Bit_Array_32 (X : Unsigned_Longword) return Bit_Array_32
renames To_Bit_Array_32_A;
function To_Unsigned_32_A is new
- Unchecked_Conversion (Bit_Array_32, Unsigned_32);
+ Ada.Unchecked_Conversion (Bit_Array_32, Unsigned_32);
function To_Unsigned_32 (X : Bit_Array_32) return Unsigned_32
renames To_Unsigned_32_A;
function To_Bit_Array_32_A is new
- Unchecked_Conversion (Unsigned_32, Bit_Array_32);
+ Ada.Unchecked_Conversion (Unsigned_32, Bit_Array_32);
function To_Bit_Array_32 (X : Unsigned_32) return Bit_Array_32
renames To_Bit_Array_32_A;
function To_Unsigned_Quadword_A is new
- Unchecked_Conversion (Bit_Array_64, Unsigned_Quadword);
+ Ada.Unchecked_Conversion (Bit_Array_64, Unsigned_Quadword);
function To_Unsigned_Quadword (X : Bit_Array_64) return Unsigned_Quadword
renames To_Unsigned_Quadword_A;
function To_Bit_Array_64_A is new
- Unchecked_Conversion (Unsigned_Quadword, Bit_Array_64);
+ Ada.Unchecked_Conversion (Unsigned_Quadword, Bit_Array_64);
function To_Bit_Array_64 (X : Unsigned_Quadword) return Bit_Array_64
renames To_Bit_Array_64_A;
-- want warnings when we compile on such systems.
function To_Address_A is new
- Unchecked_Conversion (Integer, Address);
+ Ada.Unchecked_Conversion (Integer, Address);
pragma Pure_Function (To_Address_A);
function To_Address (X : Integer) return Address
pragma Pure_Function (To_Address);
function To_Address_Long_A is new
- Unchecked_Conversion (Unsigned_Longword, Address);
+ Ada.Unchecked_Conversion (Unsigned_Longword, Address);
pragma Pure_Function (To_Address_Long_A);
function To_Address_Long (X : Unsigned_Longword) return Address
pragma Pure_Function (To_Address_Long);
function To_Integer_A is new
- Unchecked_Conversion (Address, Integer);
+ Ada.Unchecked_Conversion (Address, Integer);
function To_Integer (X : Address) return Integer
renames To_Integer_A;
function To_Unsigned_Longword_A is new
- Unchecked_Conversion (Address, Unsigned_Longword);
+ Ada.Unchecked_Conversion (Address, Unsigned_Longword);
function To_Unsigned_Longword (X : Address) return Unsigned_Longword
renames To_Unsigned_Longword_A;
function To_Unsigned_Longword_A is new
- Unchecked_Conversion (AST_Handler, Unsigned_Longword);
+ Ada.Unchecked_Conversion (AST_Handler, Unsigned_Longword);
function To_Unsigned_Longword (X : AST_Handler) return Unsigned_Longword
renames To_Unsigned_Longword_A;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
type LIU is mod 2 ** Largest_Integer'Size;
-- Unsigned type of same length as Largest_Integer
- function To_LI is new Unchecked_Conversion (LIU, Largest_Integer);
- function From_LI is new Unchecked_Conversion (Largest_Integer, LIU);
+ function To_LI is new Ada.Unchecked_Conversion (LIU, Largest_Integer);
+ function From_LI is new Ada.Unchecked_Conversion (Largest_Integer, LIU);
function "not" (Left : Largest_Integer) return Largest_Integer is
begin
type SA is range -(2 ** Asiz) .. 2 ** Asiz - 1;
-- Signed type of same size as Address
- function To_A is new Unchecked_Conversion (SA, Address);
- function From_A is new Unchecked_Conversion (Address, SA);
+ function To_A is new Ada.Unchecked_Conversion (SA, Address);
+ function From_A is new Ada.Unchecked_Conversion (Address, SA);
function "+" (Left : Address; Right : Integer) return Address is
begin
function Fetch_From_Address (A : Address) return Target is
type T_Ptr is access all Target;
- function To_T_Ptr is new Unchecked_Conversion (Address, T_Ptr);
+ function To_T_Ptr is new Ada.Unchecked_Conversion (Address, T_Ptr);
Ptr : constant T_Ptr := To_T_Ptr (A);
begin
return Ptr.all;
procedure Assign_To_Address (A : Address; T : Target) is
type T_Ptr is access all Target;
- function To_T_Ptr is new Unchecked_Conversion (Address, T_Ptr);
+ function To_T_Ptr is new Ada.Unchecked_Conversion (Address, T_Ptr);
Ptr : constant T_Ptr := To_T_Ptr (A);
begin
Ptr.all := T;
type BU is mod 2 ** Unsigned_Byte'Size;
-- Unsigned type of same length as Unsigned_Byte
- function To_B is new Unchecked_Conversion (BU, Unsigned_Byte);
- function From_B is new Unchecked_Conversion (Unsigned_Byte, BU);
+ function To_B is new Ada.Unchecked_Conversion (BU, Unsigned_Byte);
+ function From_B is new Ada.Unchecked_Conversion (Unsigned_Byte, BU);
function "not" (Left : Unsigned_Byte) return Unsigned_Byte is
begin
type WU is mod 2 ** Unsigned_Word'Size;
-- Unsigned type of same length as Unsigned_Word
- function To_W is new Unchecked_Conversion (WU, Unsigned_Word);
- function From_W is new Unchecked_Conversion (Unsigned_Word, WU);
+ function To_W is new Ada.Unchecked_Conversion (WU, Unsigned_Word);
+ function From_W is new Ada.Unchecked_Conversion (Unsigned_Word, WU);
function "not" (Left : Unsigned_Word) return Unsigned_Word is
begin
type LWU is mod 2 ** Unsigned_Longword'Size;
-- Unsigned type of same length as Unsigned_Longword
- function To_LW is new Unchecked_Conversion (LWU, Unsigned_Longword);
- function From_LW is new Unchecked_Conversion (Unsigned_Longword, LWU);
+ function To_LW is new Ada.Unchecked_Conversion (LWU, Unsigned_Longword);
+ function From_LW is new Ada.Unchecked_Conversion (Unsigned_Longword, LWU);
function "not" (Left : Unsigned_Longword) return Unsigned_Longword is
begin
type U32 is mod 2 ** Unsigned_32'Size;
-- Unsigned type of same length as Unsigned_32
- function To_U32 is new Unchecked_Conversion (U32, Unsigned_32);
- function From_U32 is new Unchecked_Conversion (Unsigned_32, U32);
+ function To_U32 is new Ada.Unchecked_Conversion (U32, Unsigned_32);
+ function From_U32 is new Ada.Unchecked_Conversion (Unsigned_32, U32);
function "not" (Left : Unsigned_32) return Unsigned_32 is
begin
type QWU is mod 2 ** 64; -- 64 = Unsigned_Quadword'Size
-- Unsigned type of same length as Unsigned_Quadword
- function To_QW is new Unchecked_Conversion (QWU, Unsigned_Quadword);
- function From_QW is new Unchecked_Conversion (Unsigned_Quadword, QWU);
+ function To_QW is new Ada.Unchecked_Conversion (QWU, Unsigned_Quadword);
+ function From_QW is new Ada.Unchecked_Conversion (Unsigned_Quadword, QWU);
function "not" (Left : Unsigned_Quadword) return Unsigned_Quadword is
begin
type IU is mod 2 ** Integer'Size;
type LU is mod 2 ** Long_Integer'Size;
- function To_IU is new Unchecked_Conversion (Integer, IU);
- function From_IU is new Unchecked_Conversion (IU, Integer);
+ function To_IU is new Ada.Unchecked_Conversion (Integer, IU);
+ function From_IU is new Ada.Unchecked_Conversion (IU, Integer);
- function To_LU is new Unchecked_Conversion (Long_Integer, LU);
- function From_LU is new Unchecked_Conversion (LU, Long_Integer);
+ function To_LU is new Ada.Unchecked_Conversion (Long_Integer, LU);
+ function From_LU is new Ada.Unchecked_Conversion (LU, Long_Integer);
procedure And_Atomic
(To : in out Aligned_Integer;
Backward : QR_Ptr;
end record;
- function To_QR_Ptr is new Unchecked_Conversion (Address, QR_Ptr);
- function From_QR_Ptr is new Unchecked_Conversion (QR_Ptr, Address);
+ function To_QR_Ptr is new Ada.Unchecked_Conversion (Address, QR_Ptr);
+ function From_QR_Ptr is new Ada.Unchecked_Conversion (QR_Ptr, Address);
------------
-- Insqhi --
-- --
-- S p e c --
-- --
--- Copyright (C) 1996-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1996-2007, 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- --
-- These definitions can be used directly by withing this package, or merged
-- with System using pragma Extend_System (Aux_DEC)
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.Aux_DEC is
pragma Preelaborate;
-- detectable by a program)
function To_Unsigned_Byte_A is new
- Unchecked_Conversion (Bit_Array_8, Unsigned_Byte);
+ Ada.Unchecked_Conversion (Bit_Array_8, Unsigned_Byte);
function To_Unsigned_Byte (X : Bit_Array_8) return Unsigned_Byte
renames To_Unsigned_Byte_A;
function To_Bit_Array_8_A is new
- Unchecked_Conversion (Unsigned_Byte, Bit_Array_8);
+ Ada.Unchecked_Conversion (Unsigned_Byte, Bit_Array_8);
function To_Bit_Array_8 (X : Unsigned_Byte) return Bit_Array_8
renames To_Bit_Array_8_A;
function To_Unsigned_Word_A is new
- Unchecked_Conversion (Bit_Array_16, Unsigned_Word);
+ Ada.Unchecked_Conversion (Bit_Array_16, Unsigned_Word);
function To_Unsigned_Word (X : Bit_Array_16) return Unsigned_Word
renames To_Unsigned_Word_A;
function To_Bit_Array_16_A is new
- Unchecked_Conversion (Unsigned_Word, Bit_Array_16);
+ Ada.Unchecked_Conversion (Unsigned_Word, Bit_Array_16);
function To_Bit_Array_16 (X : Unsigned_Word) return Bit_Array_16
renames To_Bit_Array_16_A;
function To_Unsigned_Longword_A is new
- Unchecked_Conversion (Bit_Array_32, Unsigned_Longword);
+ Ada.Unchecked_Conversion (Bit_Array_32, Unsigned_Longword);
function To_Unsigned_Longword (X : Bit_Array_32) return Unsigned_Longword
renames To_Unsigned_Longword_A;
function To_Bit_Array_32_A is new
- Unchecked_Conversion (Unsigned_Longword, Bit_Array_32);
+ Ada.Unchecked_Conversion (Unsigned_Longword, Bit_Array_32);
function To_Bit_Array_32 (X : Unsigned_Longword) return Bit_Array_32
renames To_Bit_Array_32_A;
function To_Unsigned_32_A is new
- Unchecked_Conversion (Bit_Array_32, Unsigned_32);
+ Ada.Unchecked_Conversion (Bit_Array_32, Unsigned_32);
function To_Unsigned_32 (X : Bit_Array_32) return Unsigned_32
renames To_Unsigned_32_A;
function To_Bit_Array_32_A is new
- Unchecked_Conversion (Unsigned_32, Bit_Array_32);
+ Ada.Unchecked_Conversion (Unsigned_32, Bit_Array_32);
function To_Bit_Array_32 (X : Unsigned_32) return Bit_Array_32
renames To_Bit_Array_32_A;
function To_Unsigned_Quadword_A is new
- Unchecked_Conversion (Bit_Array_64, Unsigned_Quadword);
+ Ada.Unchecked_Conversion (Bit_Array_64, Unsigned_Quadword);
function To_Unsigned_Quadword (X : Bit_Array_64) return Unsigned_Quadword
renames To_Unsigned_Quadword_A;
function To_Bit_Array_64_A is new
- Unchecked_Conversion (Unsigned_Quadword, Bit_Array_64);
+ Ada.Unchecked_Conversion (Unsigned_Quadword, Bit_Array_64);
function To_Bit_Array_64 (X : Unsigned_Quadword) return Bit_Array_64
renames To_Bit_Array_64_A;
-- want warnings when we compile on such systems.
function To_Address_A is new
- Unchecked_Conversion (Integer, Address);
+ Ada.Unchecked_Conversion (Integer, Address);
pragma Pure_Function (To_Address_A);
function To_Address (X : Integer) return Address
pragma Pure_Function (To_Address);
function To_Address_Long_A is new
- Unchecked_Conversion (Unsigned_Longword, Address);
+ Ada.Unchecked_Conversion (Unsigned_Longword, Address);
pragma Pure_Function (To_Address_Long_A);
function To_Address_Long (X : Unsigned_Longword) return Address
pragma Pure_Function (To_Address_Long);
function To_Integer_A is new
- Unchecked_Conversion (Address, Integer);
+ Ada.Unchecked_Conversion (Address, Integer);
function To_Integer (X : Address) return Integer
renames To_Integer_A;
function To_Unsigned_Longword_A is new
- Unchecked_Conversion (Address, Unsigned_Longword);
+ Ada.Unchecked_Conversion (Address, Unsigned_Longword);
function To_Unsigned_Longword (X : Address) return Unsigned_Longword
renames To_Unsigned_Longword_A;
function To_Unsigned_Longword_A is new
- Unchecked_Conversion (AST_Handler, Unsigned_Longword);
+ Ada.Unchecked_Conversion (AST_Handler, Unsigned_Longword);
function To_Unsigned_Longword (X : AST_Handler) return Unsigned_Longword
renames To_Unsigned_Longword_A;
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2006 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Compare_Array_Signed_8 is
-- Array type used to access by bytes
function To_Big_Words is new
- Unchecked_Conversion (System.Address, Big_Words_Ptr);
+ Ada.Unchecked_Conversion (System.Address, Big_Words_Ptr);
function To_Big_Bytes is new
- Unchecked_Conversion (System.Address, Big_Bytes_Ptr);
+ Ada.Unchecked_Conversion (System.Address, Big_Bytes_Ptr);
----------------------
-- Compare_Array_S8 --
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2006 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Compare_Array_Unsigned_8 is
-- Array type used to access by bytes
function To_Big_Words is new
- Unchecked_Conversion (System.Address, Big_Words_Ptr);
+ Ada.Unchecked_Conversion (System.Address, Big_Words_Ptr);
function To_Big_Bytes is new
- Unchecked_Conversion (System.Address, Big_Bytes_Ptr);
+ Ada.Unchecked_Conversion (System.Address, Big_Bytes_Ptr);
----------------------
-- Compare_Array_U8 --
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Compare_Array_Signed_16 is
type HP is access Half;
type UP is access Uhalf;
- function W is new Unchecked_Conversion (Address, WP);
- function H is new Unchecked_Conversion (Address, HP);
- function U is new Unchecked_Conversion (Address, UP);
+ function W is new Ada.Unchecked_Conversion (Address, WP);
+ function H is new Ada.Unchecked_Conversion (Address, HP);
+ function U is new Ada.Unchecked_Conversion (Address, UP);
-----------------------
-- Compare_Array_S16 --
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Compare_Array_Signed_32 is
type WP is access Word;
type UP is access Uword;
- function W is new Unchecked_Conversion (Address, WP);
- function U is new Unchecked_Conversion (Address, UP);
+ function W is new Ada.Unchecked_Conversion (Address, WP);
+ function U is new Ada.Unchecked_Conversion (Address, UP);
-----------------------
-- Compare_Array_S32 --
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Compare_Array_Signed_64 is
type WP is access Word;
type UP is access Uword;
- function W is new Unchecked_Conversion (Address, WP);
- function U is new Unchecked_Conversion (Address, UP);
+ function W is new Ada.Unchecked_Conversion (Address, WP);
+ function U is new Ada.Unchecked_Conversion (Address, UP);
-----------------------
-- Compare_Array_S64 --
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Compare_Array_Unsigned_16 is
type HP is access Half;
type UP is access Uhalf;
- function W is new Unchecked_Conversion (Address, WP);
- function H is new Unchecked_Conversion (Address, HP);
- function U is new Unchecked_Conversion (Address, UP);
+ function W is new Ada.Unchecked_Conversion (Address, WP);
+ function H is new Ada.Unchecked_Conversion (Address, HP);
+ function U is new Ada.Unchecked_Conversion (Address, UP);
-----------------------
-- Compare_Array_U16 --
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Compare_Array_Unsigned_32 is
type WP is access Word;
type UP is access Uword;
- function W is new Unchecked_Conversion (Address, WP);
- function U is new Unchecked_Conversion (Address, UP);
+ function W is new Ada.Unchecked_Conversion (Address, WP);
+ function U is new Ada.Unchecked_Conversion (Address, UP);
-----------------------
-- Compare_Array_U32 --
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Compare_Array_Unsigned_64 is
type WP is access Word;
type UP is access Uword;
- function W is new Unchecked_Conversion (Address, WP);
- function U is new Unchecked_Conversion (Address, UP);
+ function W is new Ada.Unchecked_Conversion (Address, WP);
+ function U is new Ada.Unchecked_Conversion (Address, UP);
-----------------------
-- Compare_Array_U64 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.CRTL;
with System.File_IO;
with System.Soft_Links;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Deallocation;
package body System.Direct_IO is
FT : FCB_Ptr := FCB_Ptr (File);
procedure Free is new
- Unchecked_Deallocation (Direct_AFCB, FCB_Ptr);
+ Ada.Unchecked_Deallocation (Direct_AFCB, FCB_Ptr);
begin
Free (FT);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with Interfaces.C_Streams; use Interfaces.C_Streams;
with System.CRTL;
with System.Soft_Links;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Deallocation;
package body System.File_IO is
-- environment task is finalized.
text_translation_required : Boolean;
+ for text_translation_required'Size use Character'Size;
pragma Import
(C, text_translation_required, "__gnat_text_translation_required");
-- If true, add appropriate suffix to control string for Open
-- Local Subprograms --
-----------------------
- procedure Free_String is new Unchecked_Deallocation (String, Pstring);
+ procedure Free_String is new Ada.Unchecked_Deallocation (String, Pstring);
subtype Fopen_String is String (1 .. 4);
-- Holds open string (longest is "w+b" & nul)
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
end record;
procedure Initialize (Object : in out Limited_Record_Controller);
- -- Does nothing currently.
+ -- Does nothing currently
procedure Finalize (Object : in out Limited_Record_Controller);
-- Finalize the controlled components of the enclosing record by following
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
with System.Address_Operations; use System.Address_Operations;
with System.Storage_Elements; use System.Storage_Elements;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Generic_Vector_Operations is
type Vector_Ptr is access all Vectors.Vector;
type Element_Ptr is access all Element;
- function VP is new Unchecked_Conversion (Address, Vector_Ptr);
- function EP is new Unchecked_Conversion (Address, Element_Ptr);
+ function VP is new Ada.Unchecked_Conversion (Address, Vector_Ptr);
+ function EP is new Ada.Unchecked_Conversion (Address, Element_Ptr);
SA : constant Address :=
AddA (XA, To_Address
type Vector_Ptr is access all Vectors.Vector;
type Element_Ptr is access all Element;
- function VP is new Unchecked_Conversion (Address, Vector_Ptr);
- function EP is new Unchecked_Conversion (Address, Element_Ptr);
+ function VP is new Ada.Unchecked_Conversion (Address, Vector_Ptr);
+ function EP is new Ada.Unchecked_Conversion (Address, Element_Ptr);
SA : constant Address :=
AddA (XA, To_Address
-- --
-- B o d y --
-- --
--- Copyright (C) 2000-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2000-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Img_Enum is
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- --
------------------------------------------------------------------------------
--- This is a OpenVMS/Alpha version of this package.
+-- This is a OpenVMS/Alpha version of this package
with System.OS_Interface;
-- used for various type, constant, and operations
with System.Task_Primitives.Operations.DEC;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Interrupt_Management.Operations is
use System.Tasking;
use type unsigned_short;
- function To_Address is new Unchecked_Conversion (Task_Id, System.Address);
+ function To_Address is
+ new Ada.Unchecked_Conversion (Task_Id, System.Address);
+
package POP renames System.Task_Primitives.Operations;
----------------------------
--------------------
function To_unsigned_long is new
- Unchecked_Conversion (System.Aux_DEC.Short_Address, unsigned_long);
+ Ada.Unchecked_Conversion (System.Aux_DEC.Short_Address, unsigned_long);
function Interrupt_Wait (Mask : access Interrupt_Mask)
return Interrupt_ID
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2006, Free Software Fundation --
+-- Copyright (C) 1998-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
with Interfaces.C;
-- used for int
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Interrupts is
subtype int is Interfaces.C.int;
- function To_System is new Unchecked_Conversion
+ function To_System is new Ada.Unchecked_Conversion
(Ada.Task_Identification.Task_Id, Task_Id);
type Handler_Kind is (Unknown, Task_Entry, Protected_Procedure);
type Handler_Ptr is access procedure (Sig : Interrupt_ID);
- function TISR is new Unchecked_Conversion (Handler_Ptr, isr_address);
+ function TISR is new Ada.Unchecked_Conversion (Handler_Ptr, isr_address);
--------------------
-- Signal_Handler --
Handler_Addr : System.Address;
end record;
- function To_Fat_Ptr is new Unchecked_Conversion
+ function To_Fat_Ptr is new Ada.Unchecked_Conversion
(Parameterless_Handler, Fat_Ptr);
Fat : Fat_Ptr;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
with System.Parameters;
-- used for Single_Lock
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Interrupts is
package IMNG renames System.Interrupt_Management;
package IMOP renames System.Interrupt_Management.Operations;
- function To_System is new Unchecked_Conversion
+ function To_System is new Ada.Unchecked_Conversion
(Ada.Task_Identification.Task_Id, Task_Id);
-----------------
Handler_Addr : System.Address;
end record;
- function To_Fat_Ptr is new Unchecked_Conversion
+ function To_Fat_Ptr is new Ada.Unchecked_Conversion
(Parameterless_Handler, Fat_Ptr);
Ptr : R_Link;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- This is the VxWorks version of this package, supporting vectored hardware
-- interrupts.
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
with System.OS_Interface; use System.OS_Interface;
package POP renames System.Task_Primitives.Operations;
- function To_Ada is new Unchecked_Conversion
+ function To_Ada is new Ada.Unchecked_Conversion
(System.Tasking.Task_Id, Ada.Task_Identification.Task_Id);
- function To_System is new Unchecked_Conversion
+ function To_System is new Ada.Unchecked_Conversion
(Ada.Task_Identification.Task_Id, Task_Id);
-----------------
Handler_Addr : System.Address;
end record;
- function To_Fat_Ptr is new Unchecked_Conversion
+ function To_Fat_Ptr is new Ada.Unchecked_Conversion
(Parameterless_Handler, Fat_Ptr);
Ptr : R_Link;
-- B o d y --
-- (Version for IRIX/MIPS) --
-- --
--- Copyright (C) 1999-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1999-2007, 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- --
with System.Machine_Code; use System.Machine_Code;
with System.Memory;
with System.Soft_Links; use System.Soft_Links;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Machine_State_Operations is
-- within the Sigcontext.
function To_Sigcontext_Ptr is
- new Unchecked_Conversion (Machine_State, Sigcontext_Ptr);
+ new Ada.Unchecked_Conversion (Machine_State, Sigcontext_Ptr);
type Addr_Int is mod 2 ** Long_Integer'Size;
-- An unsigned integer type whose size is the same as System.Address.
-- We rely on the fact that Long_Integer'Size = System.Address'Size in
-- all ABIs. Type Addr_Int can be converted to Uns64.
- function To_Code_Loc is new Unchecked_Conversion (Addr_Int, Code_Loc);
- function To_Addr_Int is new Unchecked_Conversion (System.Address, Addr_Int);
- function To_Uns32_Ptr is new Unchecked_Conversion (Addr_Int, Uns32_Ptr);
+ function To_Code_Loc is
+ new Ada.Unchecked_Conversion (Addr_Int, Code_Loc);
+ function To_Addr_Int is
+ new Ada.Unchecked_Conversion (System.Address, Addr_Int);
+ function To_Uns32_Ptr is
+ new Ada.Unchecked_Conversion (Addr_Int, Uns32_Ptr);
--------------------------------
-- ABI-Dependent Declarations --
type Address_Int is mod 2 ** Standard'Address_Size;
function To_I_Type_Ptr is new
- Unchecked_Conversion (Address_Int, I_Type_Ptr);
+ Ada.Unchecked_Conversion (Address_Int, I_Type_Ptr);
Ret_Ins : constant I_Type_Ptr := To_I_Type_Ptr (Address_Int (Scp.SC_PC));
GP_Ptr : Uns32_Ptr;
-- B o d y --
-- (Version for Alpha/VMS) --
-- --
--- Copyright (C) 2001-2006, AdaCore --
+-- Copyright (C) 2001-2007, AdaCore --
-- --
-- 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- --
with System.Memory;
with System.Aux_DEC; use System.Aux_DEC;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Machine_State_Operations is
function Fetch is new Fetch_From_Address (Code_Loc);
- function To_Invo_Handle_Access is new Unchecked_Conversion
+ function To_Invo_Handle_Access is new Ada.Unchecked_Conversion
(Machine_State, Invo_Handle_Access_Type);
- function To_Machine_State is new Unchecked_Conversion
+ function To_Machine_State is new Ada.Unchecked_Conversion
(System.Address, Machine_State);
----------------------------
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- Preelaborate. This package is designed to be a bottom-level (leaf) package.
with Interfaces.C;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
pragma Preelaborate;
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
type pthread_t is private;
subtype Thread_Id is pthread_t;
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- Preelaborate. This package is designed to be a bottom-level (leaf) package.
with Interfaces.C;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
pragma Preelaborate;
function To_Target_Priority
(Prio : System.Any_Priority) return Interfaces.C.int;
- -- Maps System.Any_Priority to a POSIX priority.
+ -- Maps System.Any_Priority to a POSIX priority
-------------
-- Process --
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
type pthread_t is private;
subtype Thread_Id is pthread_t;
-----------
Stack_Base_Available : constant Boolean := False;
- -- Indicates wether the stack base is available on this target.
+ -- Indicates wether the stack base is available on this target
function Get_Stack_Base (thread : pthread_t) return Address;
pragma Inline (Get_Stack_Base);
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- Preelaborate. This package is designed to be a bottom-level (leaf) package.
with Interfaces.C;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
pragma Preelaborate;
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
type pthread_t is private;
subtype Thread_Id is pthread_t;
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- Preelaborate. This package is designed to be a bottom-level (leaf) package.
with Interfaces.C;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
type pthread_t is private;
subtype Thread_Id is pthread_t;
-- (GNU/Linux-HPPA Version) --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- Preelaborate. This package is designed to be a bottom-level (leaf) package.
with Interfaces.C;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
pragma Preelaborate;
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
type pthread_t is new unsigned_long;
subtype Thread_Id is pthread_t;
- function To_pthread_t is new Unchecked_Conversion
+ function To_pthread_t is new Ada.Unchecked_Conversion
(unsigned_long, pthread_t);
type pthread_mutex_t is limited private;
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
with Interfaces.C;
with Interfaces.C.Strings;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
pragma Preelaborate;
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
procedure SwitchToThread;
pragma Import (Stdcall, SwitchToThread, "SwitchToThread");
pragma Convention (Stdcall, PTHREAD_START_ROUTINE);
function To_PTHREAD_START_ROUTINE is new
- Unchecked_Conversion (System.Address, PTHREAD_START_ROUTINE);
+ Ada.Unchecked_Conversion (System.Address, PTHREAD_START_ROUTINE);
type SECURITY_ATTRIBUTES is record
nLength : DWORD;
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- Preelaborate. This package is designed to be a bottom-level (leaf) package.
with Interfaces.C;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
pragma Preelaborate;
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
type pthread_t is private;
subtype Thread_Id is pthread_t;
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- Preelaborate. This package is designed to be a bottom-level (leaf) package.
with Interfaces.C;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
pragma Preelaborate;
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
THR_DETACHED : constant := 64;
THR_BOUND : constant := 1;
subtype Thread_Id is thread_t;
-- These types should be commented ???
- function To_thread_t is new Unchecked_Conversion (Integer, thread_t);
+ function To_thread_t is new Ada.Unchecked_Conversion (Integer, thread_t);
type mutex_t is limited private;
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1995-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- Preelaborate. This package is designed to be a bottom-level (leaf) package.
with Interfaces.C;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.OS_Interface is
pragma Preelaborate;
(Status : out Cond_Value_Type;
Devnam : String;
Chan : out unsigned_short;
- Acmode : in unsigned_short := 0;
+ Acmode : unsigned_short := 0;
Mbxnam : String := String'Null_Parameter;
- Flags : in unsigned_long := 0);
+ Flags : unsigned_long := 0);
pragma Interface (External, Sys_Assign);
pragma Import_Valued_Procedure
(Sys_Assign, "SYS$ASSIGN",
procedure Sys_Cantim
(Status : out Cond_Value_Type;
Reqidt : Address;
- Acmode : in unsigned);
+ Acmode : unsigned);
pragma Interface (External, Sys_Cantim);
pragma Import_Valued_Procedure
(Sys_Cantim, "SYS$CANTIM",
(Status : out Cond_Value_Type;
Prmflg : Boolean;
Chan : out unsigned_short;
- Maxmsg : in unsigned_long := 0;
- Bufquo : in unsigned_long := 0;
- Promsk : in unsigned_short := 0;
- Acmode : in unsigned_short := 0;
+ Maxmsg : unsigned_long := 0;
+ Bufquo : unsigned_long := 0;
+ Promsk : unsigned_short := 0;
+ Acmode : unsigned_short := 0;
Lognam : String;
- Flags : in unsigned_long := 0);
+ Flags : unsigned_long := 0);
pragma Interface (External, Sys_Crembx);
pragma Import_Valued_Procedure
(Sys_Crembx, "SYS$CREMBX",
procedure Sys_QIO
(Status : out Cond_Value_Type;
- EFN : in unsigned_long := 0;
- Chan : in unsigned_short;
- Func : in unsigned_long := 0;
+ EFN : unsigned_long := 0;
+ Chan : unsigned_short;
+ Func : unsigned_long := 0;
Iosb : out IO_Status_Block_Type;
Astadr : AST_Handler := No_AST_Handler;
Astprm : Address := Null_Address;
- P1 : in unsigned_long := 0;
- P2 : in unsigned_long := 0;
- P3 : in unsigned_long := 0;
- P4 : in unsigned_long := 0;
- P5 : in unsigned_long := 0;
- P6 : in unsigned_long := 0);
+ P1 : unsigned_long := 0;
+ P2 : unsigned_long := 0;
+ P3 : unsigned_long := 0;
+ P4 : unsigned_long := 0;
+ P5 : unsigned_long := 0;
+ P6 : unsigned_long := 0);
procedure Sys_QIO
(Status : out Cond_Value_Type;
- EFN : in unsigned_long := 0;
- Chan : in unsigned_short;
- Func : in unsigned_long := 0;
+ EFN : unsigned_long := 0;
+ Chan : unsigned_short;
+ Func : unsigned_long := 0;
Iosb : Address := Null_Address;
Astadr : AST_Handler := No_AST_Handler;
Astprm : Address := Null_Address;
- P1 : in unsigned_long := 0;
- P2 : in unsigned_long := 0;
- P3 : in unsigned_long := 0;
- P4 : in unsigned_long := 0;
- P5 : in unsigned_long := 0;
- P6 : in unsigned_long := 0);
+ P1 : unsigned_long := 0;
+ P2 : unsigned_long := 0;
+ P3 : unsigned_long := 0;
+ P4 : unsigned_long := 0;
+ P5 : unsigned_long := 0;
+ P6 : unsigned_long := 0);
pragma Interface (External, Sys_QIO);
pragma Import_Valued_Procedure
--
procedure Sys_Setimr
(Status : out Cond_Value_Type;
- EFN : in unsigned_long;
+ EFN : unsigned_long;
Tim : Long_Integer;
AST : AST_Handler;
Reqidt : Address;
- Flags : in unsigned_long);
+ Flags : unsigned_long);
pragma Interface (External, Sys_Setimr);
pragma Import_Valued_Procedure
(Sys_Setimr, "SYS$SETIMR",
function (arg : System.Address) return System.Address;
function Thread_Body_Access is new
- Unchecked_Conversion (System.Address, Thread_Body);
+ Ada.Unchecked_Conversion (System.Address, Thread_Body);
type pthread_t is private;
subtype Thread_Id is pthread_t;
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_03 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_03 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_05 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_05 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_06 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_06 or SetU_06 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_06 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_07 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_07 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_09 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_09 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_10 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_10 or SetU_10 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_10 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_11 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_11 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_12 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_12 or SetU_12 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_12 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_13 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_13 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_14 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_14 or SetU_14 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_14 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_15 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_15 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_17 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_17 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_18 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_18 or SetU_18 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_18 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_19 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_19 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_20 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_20 or SetU_20 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_20 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_21 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_21 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_22 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_22 or SetU_22 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_22 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_23 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_23 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_24 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_24 or SetU_24 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_24 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_25 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_25 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_26 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_26 or SetU_26 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_26 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_27 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_27 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_28 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_28 or SetU_28 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_28 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_29 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_29 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_30 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_30 or SetU_30 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_30 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_31 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_31 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_33 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_33 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_34 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_34 or SetU_34 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_34 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_35 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_35 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_36 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_36 or SetU_36 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_36 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_37 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_37 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_38 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_38 or SetU_38 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_38 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_39 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_39 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_40 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_40 or SetU_40 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_40 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_41 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_41 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_42 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_42 or SetU_42 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_42 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_43 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_43 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_44 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_44 or SetU_44 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_44 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_45 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_45 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_46 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_46 or SetU_46 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_46 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_47 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_47 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_48 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_48 or SetU_48 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_48 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_49 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_49 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_50 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_50 or SetU_50 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_50 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_51 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_51 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_52 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_52 or SetU_52 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_52 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_53 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_53 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_54 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_54 or SetU_54 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_54 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_55 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_55 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_56 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_56 or SetU_56 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_56 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_57 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_57 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_58 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_58 or SetU_58 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_58 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_59 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_59 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_60 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_60 or SetU_60 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_60 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_61 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_61 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_62 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
-- The following declarations are for the case where the address
-- passed to GetU_62 or SetU_62 is not guaranteed to be aligned.
type ClusterU_Ref is access ClusterU;
function To_Ref is new
- Unchecked_Conversion (System.Address, ClusterU_Ref);
+ Ada.Unchecked_Conversion (System.Address, ClusterU_Ref);
------------
-- Get_62 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Storage_Elements;
with System.Unsigned_Types;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pack_63 is
type Cluster_Ref is access Cluster;
function To_Ref is new
- Unchecked_Conversion (System.Address, Cluster_Ref);
+ Ada.Unchecked_Conversion (System.Address, Cluster_Ref);
------------
-- Get_63 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Memory;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pool_Local is
Pointers_Size : constant SSE.Storage_Offset := 2 * Pointer_Size;
type Acc_Address is access all Address;
- function To_Acc_Address is new Unchecked_Conversion (Address, Acc_Address);
+ function To_Acc_Address is
+ new Ada.Unchecked_Conversion (Address, Acc_Address);
-----------------------
-- Local Subprograms --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006 Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.Soft_Links;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Pool_Size is
type Storage_Count_Access is access SSE.Storage_Count;
function To_Storage_Count_Access is
- new Unchecked_Conversion (Address, Storage_Count_Access);
+ new Ada.Unchecked_Conversion (Address, Storage_Count_Access);
SC_Size : constant := SSE.Storage_Count'Object_Size / System.Storage_Unit;
-- --
-- B o d y --
-- --
--- Copyright (C) 2003-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 2003-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Scalar_Values is
-- values that are then converted to ByteLF.
pragma Warnings (Off);
- function To_ByteLF is new Unchecked_Conversion (Byte8, ByteLF);
+ function To_ByteLF is new Ada.Unchecked_Conversion (Byte8, ByteLF);
pragma Warnings (On);
type ByteLLF is
if not EFloat then
declare
- pragma Warnings (Off);
- function To_ByteLLF is new Unchecked_Conversion (ByteLF, ByteLLF);
+ pragma Warnings (Off); -- why???
+ function To_ByteLLF is
+ new Ada.Unchecked_Conversion (ByteLF, ByteLLF);
pragma Warnings (On);
begin
IV_Ill := To_ByteLLF (IV_Ilf);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
------------------------------------------------------------------------------
with System.File_IO;
-with Unchecked_Deallocation;
+with Ada.Unchecked_Deallocation;
package body System.Sequential_IO is
FT : FCB_Ptr := FCB_Ptr (File);
procedure Free is new
- Unchecked_Deallocation (Sequential_AFCB, FCB_Ptr);
+ Ada.Unchecked_Deallocation (Sequential_AFCB, FCB_Ptr);
begin
Free (FT);
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1998-2007, 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- --
with System.File_IO;
with System.HTable;
-with Unchecked_Deallocation;
-with Unchecked_Conversion;
+with Ada.Unchecked_Deallocation;
+with Ada.Unchecked_Conversion;
package body System.Shared_Storage is
package SFI renames System.File_IO;
type String_Access is access String;
- procedure Free is new Unchecked_Deallocation
+ procedure Free is new Ada.Unchecked_Deallocation
(Object => String, Name => String_Access);
Dir : String_Access;
-- Links for LRU chain
end record;
- procedure Free is new Unchecked_Deallocation
+ procedure Free is new Ada.Unchecked_Deallocation
(Object => Shared_Var_File_Entry,
Name => Shared_Var_File_Entry_Ptr);
- procedure Free is new Unchecked_Deallocation
+ procedure Free is new Ada.Unchecked_Deallocation
(Object => File_Stream_Type'Class,
Name => File_Stream_Access);
function To_AFCB_Ptr is
- new Unchecked_Conversion (SIO.File_Type, FCB.AFCB_Ptr);
+ new Ada.Unchecked_Conversion (SIO.File_Type, FCB.AFCB_Ptr);
LRU_Head : Shared_Var_File_Entry_Ptr;
LRU_Tail : Shared_Var_File_Entry_Ptr;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- elaboration circularities with Ada.Exceptions if polling is on.
with System;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.Standard_Library is
pragma Warnings (Off);
-- 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 --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with Ada.IO_Exceptions;
with Ada.Streams; use Ada.Streams;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Stream_Attributes is
subtype SEA is Ada.Streams.Stream_Element_Array;
subtype SEO is Ada.Streams.Stream_Element_Offset;
- generic function UC renames Unchecked_Conversion;
+ generic function UC renames Ada.Unchecked_Conversion;
-- Subtypes used to define Stream_Element_Array values that map
-- into the elementary types, using unchecked conversion.
-- --
-- B o d y --
-- --
--- Copyright (C) 2002-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2002-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.String_Compare is
-- Array type used to access by bytes
function To_Big_Words is new
- Unchecked_Conversion (System.Address, Big_Words_Ptr);
+ Ada.Unchecked_Conversion (System.Address, Big_Words_Ptr);
function To_Big_Bytes is new
- Unchecked_Conversion (System.Address, Big_Bytes_Ptr);
+ Ada.Unchecked_Conversion (System.Address, Big_Bytes_Ptr);
-----------------
-- Str_Compare --
-- --
-- B o d y --
-- --
--- Copyright (C) 1998-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1998-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
with System.Traces.Tasking;
-- used for Send_Trace_Info
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Tasking.Async_Delays is
use System.Traces;
use System.Traces.Tasking;
- function To_System is new Unchecked_Conversion
+ function To_System is new Ada.Unchecked_Conversion
(Ada.Task_Identification.Task_Id, Task_Id);
Timer_Server_ID : ST.Task_Id;
-- --
-- B o d y --
-- --
--- Copyright (C) 1997-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 1997-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
with System.CRTL;
with System.Task_Primitives.Operations;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Tasking.Debug is
package STPO renames System.Task_Primitives.Operations;
function To_Integer is new
- Unchecked_Conversion (Task_Id, System.Address);
+ Ada.Unchecked_Conversion (Task_Id, System.Address);
type Trace_Flag_Set is array (Character) of Boolean;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- cond_t
-- thread_t
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.Task_Primitives is
pragma Preelaborate;
-- and the RTS_Lock is that the later one serves only as a semaphore so
-- that do not check for ceiling violations.
- function To_Lock_Ptr is new Unchecked_Conversion (RTS_Lock_Ptr, Lock_Ptr);
+ function To_Lock_Ptr is
+ new Ada.Unchecked_Conversion (RTS_Lock_Ptr, Lock_Ptr);
type Suspension_Object is limited private;
-- Should be used for the implementation of Ada.Synchronous_Task_Control
type Owner_ID is access all Owner_Int;
function To_Owner_ID is
- new Unchecked_Conversion (System.Address, Owner_ID);
+ new Ada.Unchecked_Conversion (System.Address, Owner_ID);
type Lock is record
L : aliased Base_Lock;
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
-- This package provides RTS Internal Declarations.
-- These declarations are not part of the GNARLI
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.Tasking.Utilities is
function ATCB_To_Address is new
- Unchecked_Conversion (Task_Id, System.Address);
+ Ada.Unchecked_Conversion (Task_Id, System.Address);
---------------------------------
-- Task_Stage Related routines --
-- S p e c --
-- --
-- Copyright (C) 1991-1994, Florida State University --
--- Copyright (C) 1995-2005, AdaCore --
+-- Copyright (C) 1995-2007, AdaCore --
-- --
-- GNARL 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- --
type Access_Node is access all Node;
-- This needs comments ???
- function To_Access_Node is new Unchecked_Conversion
+ function To_Access_Node is new Ada.Unchecked_Conversion
(Access_Address, Access_Node);
-- Used to fetch pointer to indirect attribute list. Declaration is in
-- spec to avoid any problems with aliasing assumptions.
-- --
-- S p e c --
-- --
--- Copyright (C) 1992-2006, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
with Ada.Finalization;
-- used for Limited_Controlled
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package System.Tasking.Protected_Objects.Entries is
pragma Elaborate_Body;
-- generated by this declaration.
function To_Address is
- new Unchecked_Conversion (Protection_Entries_Access, System.Address);
+ new Ada.Unchecked_Conversion (Protection_Entries_Access, System.Address);
function To_Protection is
- new Unchecked_Conversion (System.Address, Protection_Entries_Access);
+ new Ada.Unchecked_Conversion (System.Address, Protection_Entries_Access);
function Get_Ceiling
(Object : Protection_Entries_Access) return System.Any_Priority;
-- ceiling violation.
procedure Lock_Entries
- (Object : Protection_Entries_Access; Ceiling_Violation : out Boolean);
+ (Object : Protection_Entries_Access;
+ Ceiling_Violation : out Boolean);
-- Same as above, but return the ceiling violation status instead of
-- raising Program_Error.
-- --
-- B o d y --
-- --
--- Copyright (C) 2000-2005 Free Software Foundation, Inc. --
+-- Copyright (C) 2000-2007, Free Software Foundation, Inc. --
-- --
-- GNARL 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- --
with System.OS_Interface;
with System.Parameters;
with System.Tasking;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
with System.Soft_Links;
package body System.Task_Primitives.Operations.DEC is
-- Task_Id is 64 bits wide (but only 32 bits significant) on Integrity/VMS
function To_Unsigned_Longword is new
- Unchecked_Conversion (Task_Id, Unsigned_Longword);
+ Ada.Unchecked_Conversion (Task_Id, Unsigned_Longword);
function To_Task_Id is new
- Unchecked_Conversion (Unsigned_Longword, Task_Id);
+ Ada.Unchecked_Conversion (Unsigned_Longword, Task_Id);
pragma Warnings (On);
function To_FAB_RAB is new
- Unchecked_Conversion (Address, FAB_RAB_Access_Type);
+ Ada.Unchecked_Conversion (Address, FAB_RAB_Access_Type);
---------------------------
-- Interrupt_AST_Handler --
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2000, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
with System.Val_Util; use System.Val_Util;
package body System.Val_Enum is
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
-- --
------------------------------------------------------------------------------
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.Wid_Enum is
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
-- --
-- B o d y --
-- --
--- Copyright (C) 1992-2005, Free Software Foundation, Inc. --
+-- Copyright (C) 1992-2007, 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- --
with System.WCh_StW; use System.WCh_StW;
with System.WCh_Con; use System.WCh_Con;
-with Unchecked_Conversion;
+with Ada.Unchecked_Conversion;
package body System.WWd_Enum is
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);
type Index_Table_Ptr is access Index_Table;
function To_Index_Table_Ptr is
- new Unchecked_Conversion (System.Address, Index_Table_Ptr);
+ new Ada.Unchecked_Conversion (System.Address, Index_Table_Ptr);
IndexesT : constant Index_Table_Ptr := To_Index_Table_Ptr (Indexes);