ВУЗ:
Составители:
31
В качестве разделителя в списках выбираемых вариантов
используется вертикальная черта.
Ключевое слово others определяет операторы, которые исполняются,
если значение ключевого выражения не совпадает ни с одним вариантом и
не входит в объявленные диапазоны. Если алгоритм предусматривает
варианты, при которых не производится никаких действий, то в
операторной части таких вариантов записывается
пустой оператор null.
Оператор ожидания
Исполнение операторов, записанных в теле процесса,
приостанавливается, если очередной оператор является оператором
ожидания WAIT. При этом результаты исполнения предшествующих
операторов заносятся в календарь событий и могут быть инициали-
зированы другие процессы. Определено несколько модификаций
оператора wait:
wait;
wait on <имя сигнала> «,<имя сигнала> »;
wait until <условие>;
wait for <выражение времени>;
Вариант оператора wait
без дополнительных уточняющих
конструкций соответствует "бесконечной паузе". В этом случае после
достижения такого оператора процесс никогда больше не будет
исполняться. Указанную версию можно использовать для описания
процедур инициализации систем, а также фрагментов, работа которых при
некоторых условиях прекращается навсегда. Обычно такой оператор
завершает программы генерации тестов, означая окончание тестовой
последовательности.
Список сигналов в варианте wait on эквивалентен списку
инициализаторов процесса: продолжение исполнения будет после того, как
один из сигналов списка изменит свое значение.
Пауза, заданная конструкцией wait until, заканчивается, когда вы-
полнено заданное оператором условие, т. е. соответствующее выражение
принимает значение true.
Процесс, содержащий оператор wait, не может иметь списка
инициализаторов.
Это связано с тем, что трудно описать систему, в
которой может произойти повторная инициализация действий, в то время
как реакция на предыдущее событие еще не реализована, например,
произошло изменение одного из инициирующих сигналов, когда время
ожидания еще не вышло. Оператор wait, как и другие последовательные
31 В качестве разделителя в списках выбираемых вариантов используется вертикальная черта. Ключевое слово others определяет операторы, которые исполняются, если значение ключевого выражения не совпадает ни с одним вариантом и не входит в объявленные диапазоны. Если алгоритм предусматривает варианты, при которых не производится никаких действий, то в операторной части таких вариантов записывается пустой оператор null. Оператор ожидания Исполнение операторов, записанных в теле процесса, приостанавливается, если очередной оператор является оператором ожидания WAIT. При этом результаты исполнения предшествующих операторов заносятся в календарь событий и могут быть инициали- зированы другие процессы. Определено несколько модификаций оператора wait: wait; wait on <имя сигнала> «,<имя сигнала> »; wait until <условие>; wait for <выражение времени>; Вариант оператора wait без дополнительных уточняющих конструкций соответствует "бесконечной паузе". В этом случае после достижения такого оператора процесс никогда больше не будет исполняться. Указанную версию можно использовать для описания процедур инициализации систем, а также фрагментов, работа которых при некоторых условиях прекращается навсегда. Обычно такой оператор завершает программы генерации тестов, означая окончание тестовой последовательности. Список сигналов в варианте wait on эквивалентен списку инициализаторов процесса: продолжение исполнения будет после того, как один из сигналов списка изменит свое значение. Пауза, заданная конструкцией wait until, заканчивается, когда вы- полнено заданное оператором условие, т. е. соответствующее выражение принимает значение true. Процесс, содержащий оператор wait, не может иметь списка инициализаторов. Это связано с тем, что трудно описать систему, в которой может произойти повторная инициализация действий, в то время как реакция на предыдущее событие еще не реализована, например, произошло изменение одного из инициирующих сигналов, когда время ожидания еще не вышло. Оператор wait, как и другие последовательные
Страницы
- « первая
- ‹ предыдущая
- …
- 29
- 30
- 31
- 32
- 33
- …
- следующая ›
- последняя »