Тогда для циклов вида LOOP (без общего предиката для всего блока) можно ввести ограничения (кому нужно) -- нельзя размещать операции после оператора EXIT или любого блока, его содержащего. В отношение Р-схем (что нагляднее) -- дуга со структурным выходом (с "*") должна "упираться" в правую границу циклической структуры:
## Код:
```
LOOP IF c1 THEN
  p1;
  BEGIN
  | c2 & c3 & c4:
      p2; p3
  | c3:
      p4
  ELSE EXIT
  END
ELSE EXIT
END END
```

Вложение:
loop_bg_ex.png [ 4.27 КБ | Просмотров: 8367 ]
