Spec-Zone.ru › Ada 2012
Справочник по Ada 2012

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