Ada 编程/库/System.Storage_Elements

计算 » 计算机科学 » 计算机编程 » Ada 编程

---

此语言特性从 Ada 95 开始可用。

System.Storage_Elements 是 预定义语言环境 自 Ada 95 以来的一部分。

规范

--                     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 (System.Storage_Elements);

   type Storage_Offset is
     range implementation_defined .. implementation_defined;

   subtype Storage_Count is Storage_Offset range 0 .. 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 <>) 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 System.Storage_Elements;

另请参阅

华夏公益教科书

• Ada 编程/库/System

外部示例

• 在以下位置搜索 示例：Rosetta Code，GitHub (gists)，任何 Alire 包 或 本华夏公益教科书。
• 在以下位置搜索 帖子：Stack Overflow，comp.lang.ada 或 任何与 Ada 相关的页面。

Ada 参考手册

Ada 95

• 13.7.1: 包 System.Storage_Elements ^{[带注释的]}

Ada 2005

• 13.7.1: 包 System.Storage_Elements ^{[带注释的]}

Ada 2012

• 13.7.1: 包 System.Storage_Elements ^{[带注释的]}

开源实现

FSF GNAT

• 规范：s-stoele.ads
• 主体：s-stoele.adb

drake

• 规范：s-stoele.ads
• 主体：s-stoele.adb