pragma Unimplemented_Unit;
- type Timer (T : access Ada.Task_Identification.Task_Id) is
+ type Timer (T : not null access constant Ada.Task_Identification.Task_Id) is
tagged limited private;
- type Timer_Handler is
- access protected procedure (TM : in out Timer);
+ type Timer_Handler is access protected procedure (TM : in out Timer);
Min_Handler_Ceiling : constant System.Any_Priority := System.Priority'Last;
procedure Cancel_Handler
(TM : in out Timer;
- Cancelled : in out Boolean);
+ Cancelled : out Boolean);
function Time_Remaining (TM : Timer) return Ada.Real_Time.Time_Span;
-- --
-- B o d y --
-- --
--- Copyright (C) 2004-2005 Free Software Foundation, Inc. --
--- --
--- This specification is derived from the Ada Reference Manual for use with --
--- GNAT. The copyright notice above, and the license provisions that follow --
--- apply solely to the contents of the part following the private keyword. --
+-- Copyright (C) 2004-2006, 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- --
-- --
-- B o d y --
-- --
--- Copyright (C) 2006, AdaCore --
+-- Copyright (C) 2006-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- --
function As_U64 is new Ada.Unchecked_Conversion
(Source => Item, Target => Unsigned_64);
- X : Unsigned_64 renames As_U64 (Input);
+ X : constant Unsigned_64 := As_U64 (Input);
type Two_Words is array (0 .. 1) of Unsigned_32;
for Two_Words'Component_Size use Unsigned_32'Size;
-- Swap2 --
-----------
- procedure Swap2 (Location : in System.Address) is
+ procedure Swap2 (Location : System.Address) is
X : Unsigned_16;
for X'Address use Location;
-- Swap4 --
-----------
- procedure Swap4 (Location : in System.Address) is
+ procedure Swap4 (Location : System.Address) is
X : Unsigned_32;
for X'Address use Location;
-- Swap8 --
-----------
- procedure Swap8 (Location : in System.Address) is
+ procedure Swap8 (Location : System.Address) is
X : Unsigned_64;
for X'Address use Location;
-- --
-- S p e c --
-- --
--- Copyright (C) 2006, AdaCore --
+-- Copyright (C) 2006-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- --
-- --
------------------------------------------------------------------------------
--- Simple routines for swapping the bytes of 16-, 32-, and 64-bit objects.
+-- Simple routines for swapping the bytes of 16-, 32-, and 64-bit objects
--- The generic functions should be instantiated with types that
--- are of a size in bytes corresponding to the name of the generic. For
--- example, a 2-byte integer type would be compatible with Swapped2, 4-byte
--- integer with Swapped4, and so on. Failure to do so will result in a
--- warning when compiling the instantiation; this warning should be heeded.
--- Ignoring this warning can result in unexpected results.
+-- The generic functions should be instantiated with types that are of a size
+-- in bytes corresponding to the name of the generic. For example, a 2-byte
+-- integer type would be compatible with Swapped2, 4-byte integer with
+-- Swapped4, and so on. Failure to do so will result in a warning when
+-- compiling the instantiation; this warning should be heeded. Ignoring this
+-- warning can result in unexpected results.
-- An example of proper usage follows:
-- ...
-- end;
--- A properly-sized record type will also be acceptable, and so forth.
+-- A properly-sized record type will also be acceptable, and so forth
--- However, as described, a size mismatch must be avoided. In the following
--- we instantiate one of the generics with a type that is too large. The
--- result of the function call is undefined, such that assignment to an
--- object can result in garbage values.
+-- However, as described, a size mismatch must be avoided. In the following we
+-- instantiate one of the generics with a type that is too large. The result
+-- of the function call is undefined, such that assignment to an object can
+-- result in garbage values.
-- Wrong: declare
-- subtype String16 is String (1 .. 16);
-- Put_Line (S);
-- end Wrong;
--- When the size of the type is larger than 8 bytes, the use of the
--- non-generic procedures is an alternative because no function result is
+-- When the size of the type is larger than 8 bytes, the use of the non-
+-- generic procedures is an alternative because no function result is
-- involved; manipulation of the object is direct.
-- The procedures are passed the address of an object to manipulate. They will
-- Put_Line (S8);
-- end;
--- If an object of a type larger than N is passed, the remaining
--- bytes of the object are undisturbed. For example:
+-- If an object of a type larger than N is passed, the remaining bytes of the
+-- object are undisturbed. For example:
-- declare
-- subtype String16 is String (1 .. 16);
-- --
-- S p e c --
-- --
--- 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- --
SIZEOF_tv_sec : constant := 8; -- tv_sec
SIZEOF_tv_usec : constant := 8; -- tv_usec
+ ----------------------------------------
+ -- Properties of supported interfaces --
+ ----------------------------------------
+
+ Need_Netdb_Buffer : constant := 0; -- Need buffer for Netdb ops
+
+ ----------------------
+ -- Additional flags --
+ ----------------------
+
+ Thread_Blocking_IO : constant Boolean := True;
+ -- Set False for contexts where socket i/o are process blocking
+
end GNAT.Sockets.Constants;
-- --
-- S p e c --
-- --
--- 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- --
SIZEOF_tv_sec : constant := 8; -- tv_sec
SIZEOF_tv_usec : constant := 8; -- tv_usec
+ ----------------------------------------
+ -- Properties of supported interfaces --
+ ----------------------------------------
+
+ Need_Netdb_Buffer : constant := 1; -- Need buffer for Netdb ops
+
+ ----------------------
+ -- Additional flags --
+ ----------------------
+
+ Thread_Blocking_IO : constant Boolean := True;
+ -- Set False for contexts where socket i/o are process blocking
+
end GNAT.Sockets.Constants;
function Get_Active_Partition_ID
(Name : Partition_Interface.Unit_Name) return RPC.Partition_ID
renames Partition_Interface.Get_Active_Partition_ID;
- -- Returns the partition ID of the partition in which Name resides
+ -- Return the partition ID of the partition in which unit Name resides
+
+ function Get_Local_Partition_ID return RPC.Partition_ID
+ renames Partition_Interface.Get_Local_Partition_ID;
+ -- Return the Partition_ID of the current partition
+
+ function Get_Passive_Partition_ID
+ (Name : Partition_Interface.Unit_Name) return RPC.Partition_ID
+ renames Partition_Interface.Get_Passive_Partition_ID;
+ -- Return the Partition_ID of the given shared passive partition
end System.DSA_Services;