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