Spec-Zone .ru
спецификации, руководства, описания, API

13.6.5.4. LEAVE Синтаксис

LEAVE label

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

LEAVE может использоваться в пределах BEGIN ... END или конструкции цикла (LOOP, REPEAT, WHILE).

Для примера см. Раздел 13.6.5.5,"LOOP Синтаксис".