Принудительно изменяет текущее состояние экземпляра семейства era на начальное состояние.
Тип: call-политика.
Синтаксис
restart()
Возвращаемое значение
Возвращает решение "разрешено" (KSS_GRANT).
Пример
...
policy era0_restart = era0.restart;
entity foo {
...
security call initialize = era0_restart;
}