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