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

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

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

Существуют следующие library_unit_renaming_declarationы:
с 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