Spec-Zone .ru
спецификации, руководства, описания, API
|
LEAVE label
Этот оператор используется, чтобы выйти из конструкции управления потоками, у которой есть данная метка. Если
метка для наиболее удаленного сохраненного блока программы, LEAVE
выходит из программы.
LEAVE
может использоваться в пределах BEGIN ... END
или конструкции цикла (LOOP
, REPEAT
,
WHILE
).
Для примера см. Раздел 13.6.5.5,"LOOP
Синтаксис".