Возвращает текущее состояние объекта класса Flow
.
Тип: политика-выражение.
Синтаксис
query {sid: Handle}
Здесь:
Handle
– дескриптор ресурса, с которым ассоциирован конечный автомат.Возвращаемое значение
Текущее состояние объекта класса Flow
.
Пример
...
/* При отправке запроса сущностью "ResourceDriver" будет проверено состояние объекта "service_flow".
Если "service_flow" находится в состоянии "started" или "stopped", то отправка запроса разрешена,
иначе – запрещена. */
request src=ResourceDriver {
choice (service_flow.query {sid: src_sid}) {
"started" : grant ()
"stopped" : grant ()
_ : deny ()
}
}
В начало