13.7 Пакет System

package System
with Pure is

type Name is implementation-defined-enumeration-type;
System_Name : constant Name := implementation-defined;

-- Числовые значения, зависящие от системы:

Min_Int : constant := root_integer'First;
Max_Int : constant := root_integer'Last;

Max_Binary_Modulus : constant := implementation-defined;
Max_Nonbinary_Modulus : constant := implementation-defined;

Max_Base_Digits : constant := root_real'Digits;
Max_Digits : constant := implementation-defined;

Max_Mantissa : constant := implementation-defined;
Fine_Delta : constant := implementation-defined;

Tick : constant := implementation-defined;

-- Объявления, связанные с хранением:

type Address is implementation-defined;
Null_Address : constant Address;

Storage_Unit : constant := implementation-defined;
Word_Size : constant := implementation-defined * Storage_Unit;
Memory_Size : constant := implementation-defined;

-- Сравнение адресов:
function "<" (Left, Right : Address) return Boolean
with Convention => Intrinsic;
function "<="(Left, Right : Address) return Boolean
with Convention => Intrinsic;
function ">" (Left, Right : Address) return Boolean
with Convention => Intrinsic;
function ">="(Left, Right : Address) return Boolean
with Convention => Intrinsic;
function "=" (Left, Right : Address) return Boolean
with Convention => Intrinsic;
-- function "/=" (Left, Right : Address) return Boolean;
-- "/=" неявно определён

-- Другие объявления, зависящие от системы:
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order := implementation-defined;

-- Объявления, связанные с приоритетом (см. D.1):
subtype Any_Priority is Integer range implementation-defined;
subtype Priority is Any_Priority range Any_Priority'First ..
implementation-defined;
subtype Interrupt_Priority is Any_Priority range Priority'Last+1 ..
Any_Priority'Last;

Default_Priority : constant Priority :=
(Priority'First + Priority'Last)/2;

private
... -- не определено языком
end System;