A.3 Das Paket System

package System is
pragma Preelaborate(System);

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

-System-DependentNamedNumbers:

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;

-Storage-relatedDeclarations:

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;

-AddressComparison:
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)returnBoolean;
-''/ $=$ ''isimplicitlydefined
pragma Convention(Intrinsic, " $<$ ");
$...$ -andsoonforalllanguage-definedsubprogramsinthispackage

-OtherSystem-DependentDeclarations:
type Bit_Order is (High_Order_First, Low_Order_First);
Default_Bit_Order : constant Bit_Order;

-Priority-relateddeclarations(seeD.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
$...$ -notspecifiedbythelanguage
end System;