Редактирование: ВПнМ/Теормин
Материал из eSyr's wiki.
Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.
ПРЕДУПРЕЖДЕНИЕ: Длина этой страницы составляет 92 килобайт. Страницы, размер которых приближается к 32 КБ или превышает это значение, могут неверно отображаться в некоторых браузерах. Пожалуйста, рассмотрите вариант разбиения страницы на меньшие части.
Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия | Ваш текст | ||
Строка 958: | Строка 958: | ||
'''Конструкция never''' | '''Конструкция never''' | ||
* может быть как детерминированной, так и нет; | * может быть как детерминированной, так и нет; | ||
- | * содержит только выражения без побочных эффектов (соотв. булевым высказываниям на состояниях); | + | * содержит только выражения без побочных эффектов (соотв. булевым |
+ | высказываниям на состояниях); | ||
* используются для описания неправильного поведения системы; | * используются для описания неправильного поведения системы; | ||
* прерывается при блокировании: | * прерывается при блокировании: | ||
** блокируется => наблюдаемое поведение не соответствует описанному, | ** блокируется => наблюдаемое поведение не соответствует описанному, | ||
- | ** паузы в выполнении тела never должны быть явно заданы как бесконечные циклы; | + | ** паузы в выполнении тела never должны быть явно заданы как бесконечные |
+ | циклы; | ||
* never нарушается, если: | * never нарушается, если: | ||
** достигнута закрывающая скобка, | ** достигнута закрывающая скобка, | ||
** завершена конструкция accept (допускающий цикл); | ** завершена конструкция accept (допускающий цикл); | ||
- | * бездействие может быть описано как конструкция never или её часть (для цикла бездействия есть тело never по умолчанию). | + | * бездействие может быть описано как конструкция never или её часть |
+ | (для цикла бездействия есть тело never по умолчанию). | ||
'''Видимость''' | '''Видимость''' |