Справочник Ada 2012
9.9 Атрибуты задач и входов
Динамическая семантика
Для префикса T, являющегося типом задачи (после явного разыменования), определены следующие атрибуты:
T'Callable
Возвращает значение True, если задача, обозначаемая T, доступна, и False в противном случае; задача доступна, если она не завершена и не находится в аварийном состоянии. Значение этого атрибута имеет тип Boolean.
T'Terminated
Возвращает значение True, если задача, обозначаемая T, завершена, и False в противном случае. Значение этого атрибута имеет тип Boolean.
Для префикса E, обозначающего вход задачи или защищенного блока, определен следующий атрибут. Этот атрибут разрешен только внутри тела задачи или защищенного блока, но исключая, в случае входа в задачу, любые единицы программы, вложенные в тело задачи.
E'Count
Возвращает количество вызовов, находящихся в очереди на вход E текущего экземпляра блока. Значение этого атрибута имеет тип universal_integer.
ПРИМЕЧАНИЯ
45 Для атрибута Count вход может быть как отдельным, так и входом семейства. Имя входа или семейства входов может быть прямым именем или расширенным именем.
46 Внутри задач алгоритмы, использующие атрибут E'Count, должны учитывать возможность увеличения значения этого атрибута при поступивших вызовах входа и его уменьшение, например, с помощью timed_entry_call. Также вызов conditional_entry_call может временно увеличить это значение, даже если условный вызов не принят.
47 Внутри защищенных блоков алгоритмы, использующие атрибут E'Count в entry_barrier для входа E, должны учитывать возможность оценки условия барьера как до, так и после постановки вызова в очередь.
