Книга: Основы объектно-ориентированного программирования
Циклы
Циклы
Синтаксис циклов описан при обсуждении Проектирования по Контракту (лекция 11):
from
initialization_instructions
invariant
invariant
variant
variant
until
exit_condition
loop
loop_instructions
end
Предложения invariant и variant факультативны. Предложение from требуется, хотя и может быть пустым. Оно задает инициализацию параметров цикла. Не рассматривая сейчас факультативные предложения, выполнение цикла можно описать следующим образом. Вначале происходит инициализация, и выполняются initialization_instructions. Затем следует "циклический процесс", определяемый так: если exit_condition верно, то циклический процесс - пустая инструкция (null instruction); если условие неверно, то циклический процесс - это выполнение loop_instructions, затем следует (рекурсивно) повторение циклического процесса.
Оглавление книги
- Жизненные циклы продуктов
- 1.2.6. Циклы и ветвление
- Лекция 3. Формы и циклы
- ВЛОЖЕННЫЕ ЦИКЛЫ
- Про Apple, мотоциклы и издержки словоохотливости: общение
- Циклы в Python
- 6. ЦИКЛЫ
- Про Apple, мотоциклы издержки словоохотливости: общение
- Лекция 3. Формы и циклы
- Циклы Do
- Циклы while и do
- Глава 3 Жизненные циклы банковских автоматизированных систем и внутрибанковских процессов