411 REFERENCE · Wikibooks
Ada Programming/Libraries/System.Storage Elements
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
System.Storage_Elements
__TOC__
System Storage_Elements is a unit of the Predefined Language Environment since Ada 95.
Specification
Standard Ada library specification
Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com>
Copyright (c) 2004-2016 AXE Consultants
Copyright (c) 2004, 2005, 2006 Ada-Europe
Copyright (c) 2000 The MITRE Corporation, Inc.
Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc.
SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual
-------------------------------------------------------------------------
package System Storage_Elements is
pragma Pure (Systemdot .Storage_Elements);
type Storage_Offset is
range implementation_defined double_dot .. implementation_defined;
subtype Storage_Count is Storage_Offset range 0 double_dot .. Storage_Offset'Last;
type Storage_Element is mod implementation_defined;
for Storage_Element'Size use Storage_Unit;
type Storage_Array is array
(Storage_Offset range box <>) of aliased Storage_Element;
for Storage_Array'Component_Size use Storage_Unit;
Address Arithmetic:
function "+" (Left : Address; Right : Storage_Offset)
return Address;
function "+" (Left : Storage_Offset; Right : Address)
return Address;
function "-" (Left : Address; Right : Storage_Offset)
return Address;
function "-" (Left, Right : Address)
return Storage_Offset;
function "mod" (Left : Address; Right : Storage_Offset)
return Storage_Offset;
Conversion to/from integers:
type Integer_Address is mod implementation_defined;
function To_Address (Value : Integer_Address) return Address;
function To_Integer (Value : Address) return Integer_Address;
pragma Convention (Intrinsic, "+");
pragma Convention (Intrinsic, "-");
pragma Convention (Intrinsic, "mod");
pragma Convention (Intrinsic, "To_Address");
pragma Convention (Intrinsic, "To_Integer");
and so on for all language-defined subprograms declared in this package.
end Systemdot .Storage_Elements;
See also
Wikibook
Ada Programming/Libraries/System
Ada Reference Manual
Ada 95
13 7 1 The Package System.Storage_Elements
Ada 2005
13 7 1 The Package System.Storage_Elements
Ada 2012
13 7 1 The Package System.Storage_Elements
Open-Source Implementations
s-stoele.ads s-stoele.adb
s-stoele.ads s-stoele.adb