13.7 Пакет System

package System is
pragma Pure(System);

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;
function "<="(Left, Right : Address) return Boolean;
function ">" (Left, Right : Address) return Boolean;
function ">="(Left, Right : Address) return Boolean;
function "=" (Left, Right : Address) return Boolean;
-- function "/=" (Left, Right : Address) return Boolean;
-- "/=" неявно определен
pragma Convention(Intrinsic, "<");
... -- и так далее для всех определённых языком подпрограмм в этом пакете

-- Другие зависимые от системы декларации:
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;