Атрибуты входов защищенных объектов
Входы защищенных объектов имеют атрибуты, назначение которых подобно назначению атрибутов для входов задач:
| E'Caller | - |
Возвращает значение типа Task_ID, которое идентифицирует обрабатываемую в текущий момент задачу, обратившуюся на вход защищенного объекта E. Использование этого атрибута допустимо только внутри тела входа (для защищенного объекта). |
| E'Count | - |
Возвращает значение типа Universal_Integer, показывающее число обращений на входе E, которые находятся в очереди. |
Здесь, подразумевается, что E - это имя любого входа защищенного объекта.
Так же как и в случае задач, при использовании этих средств следует учитывать, что по истечении некоторого времени ничто не гарантирует активность задачи или ее присутствие в области видимости.
