Книга: Основы объектно-ориентированного программирования

Циклы

Циклы

Синтаксис циклов описан при обсуждении Проектирования по Контракту (лекция 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, затем следует (рекурсивно) повторение циклического процесса.

Оглавление книги


Генерация: 0.124. Запросов К БД/Cache: 2 / 0
поделиться
Вверх Вниз