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