Возвращает текущее состояние домена безопасности в экземпляре семейства flow2.
Тип: attr-политика.
Синтаксис
state(in SID sid)
Параметры
|
SID домена безопасности, ассоциированный с конечным автоматом. |
Возвращаемое значение
Текущее состояние указанного домена безопасности.
Пример
...
policy service_state = service_flow.state;
entity service {
security call is_working [self] = choice (service_state(self)) {
started : grant;
_ : deny;
};
}