Справочник по Ada 2012
J.13 Идентификаторы ограничений зависимости
Следующие ограничения связаны с зависимостью от определенных единиц языка. Более общее ограничение No_Dependence (см. 13.12.1) следует использовать для этой цели.
Статическая семантика
Существуют следующие ограничения_идентификаторы:
No_Asynchronous_Control
Семантическая зависимость от предопределенного пакета Asynchronous_Task_Control запрещена.
No_Unchecked_Conversion
Семантическая зависимость от предопределенной обобщенной функции Unchecked_Conversion запрещена.
No_Unchecked_Deallocation
Семантическая зависимость от предопределенной обобщенной процедуры Unchecked_Deallocation запрещена.
