Политика enter

Переводит экземпляр семейства flow в состояние, указанное в конфигурации политики, если такой переход разрешен в конфигурации этого экземпляра семейства.

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

Синтаксис

enter <configuration> ()

Конфигурация политики

<configuration> ::= <state>

Элементы конфигурации

<state>

Имя состояния, в которое необходимо перейти.

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

KSS_GRANT, если переход в указанное состояние разрешен, или KSS_DENY, если не разрешен.

Пример

...

policy service_start = service_flow.enter started;

policy service_stop = service_flow.enter stopped;

policy service_finish = service_flow.enter finished;

entity service {

security call start = service_start;

security call stop = service_stop;

security call finish = service_finish;

}

В начало