eiffel:faq:loops_across_iteration

This is an old revision of the document!

Table of Contents

Eiffel Loops and Iteration
- Loop
- Iteration with across

Eiffel Loops and Iteration

Loop

from
    i := 0
    n := 10
invariant
    n
until
    i >= 10
loop
    i := i + 1
variant
    n-i
end

Iteration with across

eiffel/faq/loops_across_iteration.1526580449.txt.gz · Last modified: 2018/05/17 18:07 by jonathan