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

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

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

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

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

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

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

проверяется условие выполнения цикла;
если условие приняло значение false или условие не может быть вычислено, то цикл завершается. Если условие приняло значение true, то выполняется тело цикла;
происходит переход на проверку условия выполнения цикла.

Если условие не может быть вычислено или условие приняло зн false ачение к началу цикла, то цикл не будет иметь ни одной итерации.

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

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

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

Пример

// экзотический способ уничтожения таблицы
while modifier getFirst TmpTable = tsOk
  do modifier delete current TmpTable;