<< Prev | - Up - | Next >> |
<<leave>>
terminates the current loop
<<next>>
goes on to the next iteration of the current loop
<<named L>>
introduces variable L to refer to the current loop
<<leave L>>
terminate the loop referred to by L
<<next L>>
goes on to the next iteration of the loop referred to by L
<<while B>>
equivalent to if B then skip else <<leave>> end
<<until B>>
equivalent to if B then <<leave>> end
<< Prev | - Up - | Next >> |