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