Spec-Zone.ru › Ada 2022
Руководство по Ada (Ada 2022)

J.1 Переименования библиотек

Статическая семантика

Существуют следующие объявления_переименований_библиотечных_единиц:
с Ada.Unchecked_Conversion;
обобщенный функция Unchecked_Conversion переименовывает Ada.Unchecked_Conversion;
с Ada.Unchecked_Deallocation;
обобщенный процедура Unchecked_Deallocation переименовывает Ada.Unchecked_Deallocation;
с Ada.Sequential_IO;
обобщенный пакет Sequential_IO переименовывает Ada.Sequential_IO;
с Ada.Direct_IO;
обобщенный пакет Direct_IO переименовывает Ada.Direct_IO;
с Ada.Text_IO;
пакет Text_IO переименовывает Ada.Text_IO;
с Ada.IO_Exceptions;
пакет IO_Exceptions переименовывает Ada.IO_Exceptions;
с Ada.Calendar;
пакет Calendar переименовывает Ada.Calendar;
с System.Machine_Code;
пакет Machine_Code переименовывает System.Machine_Code; -- Если поддерживается.

Требования к реализации

Реализация должна позволять пользователю заменить эти переименования.


Spec-Zone.ru

Настройки Оффлайн Что нового Помощь О нас
Spec-Zone .ru
спецификации, руководства, описания, API