Справочник по Ada 2005
13.12.1 Явно определённые ограничения языка
Статические семантики
Следующие ограничения_идентификатор определены языком (дополнительные ограничения определены в Приложениях для особых случаев):
No_Implementation_Attributes
Нет атрибутов, определяемых реализацией. Это ограничение применяется только к текущей компиляции или среде, а не ко всему разделу.
No_Implementation_Pragmas
Нет определяемых реализацией пragma или аргументов pragma. Это ограничение применяется только к текущей компиляции или среде, а не ко всему разделу.
No_Obsolescent_Features
Нет использования языковых элементов, определённых в Приложении J. Определяется реализацией, если использование переименований из J.1 обнаружено этим ограничением. Это ограничение применяется только к текущей компиляции или среде, а не ко всему разделу.
Следующее ограничение_параметр_идентификатор определён языком:
No_Dependence
Указывает на единицу библиотеки, на которую нет семантических зависимостей.
Правила легальности
Аргумент ограничение_параметр_аргумент ограничения No_Dependence должен быть именем; это имя должно иметь вид полного расширенного имени единицы библиотеки, но не обязательно указывать на единицу, присутствующую в среде.
Правила после компиляции
Ни одна единица компиляции, включённая в раздел, не должна иметь семантической зависимости от единицы библиотеки, идентифицируемой именем.
