Политика state

Возвращает текущее состояние экземпляра семейства era.

Тип: attr-политика.

Синтаксис

state()

Возвращаемое значение

Текущее состояние экземпляра семейства era.

Пример

...

policy era0_state = era0.state;

entity foo {

...

/* действия можно выполнять, только если

era0 находится в состоянии process */

security call action = choice (era0_state) {

process : grant;

_ : deny;

};

}

В начало