root/cobra/trunk/Tests/100-basics/110-while.cobra

#.require. clr
@platform clr
namespace Test

    class Test

        def main

            # Note: You wouldn't actually use while loops for counting,
            # but counting makes a good basic test.

            i as int = 0
            while i < 100
                i += 1
            assert i == 100

            i = 0
            while i > 0
                i = -1
            assert i == 0

            i = 0
            post while i > 0
                i = -1
            assert i == -1

            i = 100
            while i
                i -= 1
            assert i == 0

            # 2006-12-16: there was a bug where post while generates both a while loop and a do-while loop
            count = 0
            i = 10
            post while i > 0
                i -= 1
                count += 1
            assert count == 10

            random = Random()
            a = 1
            while a <= 3
                post while .check(a, b)  # using local var `b` which is first assigned below
                    b = random.next(3) + 1
                a += 1
    
        def check(a as int, b as int) as bool
            assert b <> 0  # verifies that the while condition is not checked immediately
            return a <> b