Whiteline: Alpha/Whiteline Alpha.iso/progtool/eiffel/vici/examples/ff.e

Text File | 1994-09-22 | 257 b | 21 lines

class ff
feature
    i: integer;
    create is
    do
    from
    i:=0;
    until i = 10
    loop io.putint(i);io.new_line;i:=i+1
    end;

    from i :=10
    invariant i >=0 and i <=10
    variant i
    until i = 0
    loop
        io.putint(i);io.new_line;i:=i-1
    end
    end
end