Справочник Ada 2005
13.7.2 Пакет System.Address_To_Access_Conversions
Статические Семантика
Существует следующий языковой обобщенный пакет библиотеки:
generic
type Объект(<>) is limited private;
package System.Address_To_Access_Conversions is
pragma Preelaborate(Address_To_Access_Conversions);
type Объект(<>) is limited private;
package System.Address_To_Access_Conversions is
pragma Preelaborate(Address_To_Access_Conversions);
type Указатель_на_объект is access all Объект;
function To_Pointer(Value : Address) return Указатель_на_объект;
function To_Address(Value : Указатель_на_объект) return Address;
function To_Pointer(Value : Address) return Указатель_на_объект;
function To_Address(Value : Указатель_на_объект) return Address;
pragma Convention(Intrinsic, To_Pointer);
pragma Convention(Intrinsic, To_Address);
end System.Address_To_Access_Conversions;
pragma Convention(Intrinsic, To_Address);
end System.Address_To_Access_Conversions;
Подпрограммы To_Pointer и To_Address преобразуют значения типов Object_Pointer и Address друг в друга. To_Pointer(X'Address) равно X'Unchecked_Access для любого X, позволяющего Unchecked_Access. To_Pointer(Null_Address) возвращает null. Для других адресов поведение не определено. To_Address(null) возвращает Null_Address. To_Address(Y), где Y /= null, возвращает Y.all'Address.
Разрешения для реализации
Реализация может ввести ограничения на инстанцирование Address_To_Access_Conversions.
