File : s-stoele.ads
------------------------------------------------------------------------------
-- --
-- GNAT COMPILER COMPONENTS --
-- --
5 -- S Y S T E M . S T O R A G E _ E L E M E N T S --
-- --
-- S p e c --
-- --
-- $Revision: 1.23 $ --
10 -- --
-- This specification is adapted from the Ada Reference Manual for use with --
-- GNAT. In accordance with the copyright of that document, you can freely --
-- copy and modify this specification, provided that if you redistribute a --
-- modified version, any changes that you have made are clearly indicated. --
15 -- --
------------------------------------------------------------------------------
-- Warning: declarations in this package are ambiguous with respect to the
-- extra declarations that can be introduced into System using Extend_System.
20 -- It is a good idea to avoid use clauses for this package!
pragma Warnings (Off);
-- This is to stop bootstrap problems with the use of Inline_Always
-- To be removed (along with redundant Inline pragmas) in 3.13.
25
package System.Storage_Elements is
pragma Pure (Storage_Elements);
-- Note that we take advantage of the implementation permission to make
-- this unit Pure instead of Preelaborable; see RM 13.7.1(15).
30
type Storage_Offset is range
-(2 ** (Standard."-" (Standard'Address_Size, 1))) ..
+(2 ** (Standard."-" (Standard'Address_Size, 1))) - 1;
-- Note: the reason for the qualification of "-" here by Standard is
35 -- that we have a current bug in GNAT that otherwise causes a bogus
-- ambiguity when this unit is analyzed in an Rtsfind context.
subtype Storage_Count is Storage_Offset range 0 .. Storage_Offset'Last;
40 type Storage_Element is mod 2 ** Storage_Unit;
for Storage_Element'Size use Storage_Unit;
type Storage_Array is
array (Storage_Offset range <>) of aliased Storage_Element;
45 for Storage_Array'Component_Size use Storage_Unit;
-- Address arithmetic
function "+" (Left : Address; Right : Storage_Offset) return Address;
50 pragma Convention (Intrinsic, "+");
pragma Inline ("+");
pragma Inline_Always ("+");
function "+" (Left : Storage_Offset; Right : Address) return Address;
55 pragma Convention (Intrinsic, "+");
pragma Inline ("+");
pragma Inline_Always ("+");
function "-" (Left : Address; Right : Storage_Offset) return Address;
60 pragma Convention (Intrinsic, "-");
pragma Inline ("-");
pragma Inline_Always ("-");
function "-" (Left, Right : Address) return Storage_Offset;
65 pragma Convention (Intrinsic, "-");
pragma Inline ("-");
pragma Inline_Always ("-");
function "mod"
70 (Left : Address;
Right : Storage_Offset)
return Storage_Offset;
pragma Convention (Intrinsic, "mod");
pragma Inline ("mod");
75 pragma Inline_Always ("mod");
-- Conversion to/from integers
type Integer_Address is mod Memory_Size;
80
function To_Address (Value : Integer_Address) return Address;
pragma Convention (Intrinsic, To_Address);
pragma Inline (To_Address);
pragma Inline_Always (To_Address);
85
function To_Integer (Value : Address) return Integer_Address;
pragma Convention (Intrinsic, To_Integer);
pragma Inline (To_Integer);
pragma Inline_Always (To_Integer);
90
end System.Storage_Elements;