Руководство по Ada (Ada 2022)

J.15.8 Предикаты для общих переменных

Синтаксис

Следующие предикаты определены с указанными формами:

предикат Atomic (local_name);

предикат Volatile (local_name);

предикат Independent (component_local_name);

предикат Atomic_Components (array_local_name);

предикат Volatile_Components (array_local_name);

предикат Independent_Components (local_name);

Правила разрешения имен

local_name в предикате Atomic или Volatile должен указывать на объявление object_declaration, неунаследованное объявление component_declaration или full_type_declaration. local_name в предикате Independent должен указывать на неунаследованное component_declaration. local_name в предикатах Atomic_Components или Volatile_Components должен указывать на объявление типа массива или объекта массива анонимного типа. local_name в предикате Independent_Components должен указывать на объявление типа массива или записи, или объект массива анонимного типа.

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

Эти предикаты являются предикатами представления (см. 13.1). Каждый из этих предикатов указывает, что соответствующий аспект (см. C.6) типа, объекта или компонента, указанного его аргументом, равен True.

Правила легальности

Имя local_name каждого из этих предикатов должно указывать на объявление, для которого может быть задан соответствующий аспект.