loop (min,max)

[system]

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

[rat010104]

loop (min,max)
Hi wenn ich in einem loop habe, bei dem als minimum 5 angegeben ist. Wird er dann 5 mal ausgeführt ohne die abbruchbedingung zu berücksichtigen? oder geht der erst garnicht rein, wenn die bedingung nicht stimmt?

Attachment:
frage.png: https://fsi.cs.fau.de/unb-attachments/post_128348/frage.png

[bulsa]

---

The Guard may include a lower and an upper number of iterations of the loop as well as a Boolean expression. The
semantics is such that a loop will iterate minimum the ‘minint’ number of times (given by the iteration expression in the
guard) and at most the ‘maxint’ number of times. After the minimum number of iterations have executed and the Boolean
expression is false the loop will terminate. The loop construct represents a recursive application of the seq operator where
the loop operand is sequenced after the result of earlier iterations.

Spec lesen hilft (manchmal).