Оператор цикла с постпроверкой DO..WHILE

<оператор-do-while> = do <тело-цикла> while <условие>;

<тело-цикла> - оператор программы.

<тело-цикла> = <оператор-программы>

<условие> - условие продолжения цикла.

<условие> = <логическое-выражение>

Условие является условием продолжения цикла в отличие от цикла языка Паскаль REPEAT..UNTIL, где условие является условием выхода из цикла.

Алгоритм выполнения цикла с постпроверкой:

• выполняется тело цикла;

• проверяется условие продолжения цикла;

• если условие не может быть вычислено или условие приняло значение false, выполнение цикла прекращается;

• если условие приняло значение true, то выполняется тело цикла.

Для выхода из цикла до момента его нормального завершения используется оператор break.

Для выхода из цикла с одновременным выходом из процедуры или обработчика событий, в которые введен цикл, предназначен оператор exit.

Для выхода из очередной итерации цикла до момента ее нормального завершения и перехода к следующей итерации используется оператор continue.

Пример

! перебор всех записей таблицы
if modifier getFirst Employee = tsOk then
		do... // здесь делаем что-нибудь с каждой записью
		while modifier getNext Employee = tsOk;