Crawly Crypt Collection 1/crawlyvol1.bin/program/compiler/vici_102/examples/ff.e

Text File | 1992-10-20 | 257b | 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