tests/assert006/test.e

class
        TEST

inherit
        EXCEPTIONS

create
        make

feature

        make
                local
                        a: A
                        retried: BOOLEAN
                do
                        if not retried then
                                create a.make
                                a.f
                        end
                rescue
                        retried := True
                        if exception = Precondition then
                                io.put_string ("Got the expected precondition violation.")
                                io.put_new_line
                                retry
                        end
                end

end
1	class
2	TEST
3
4	inherit
5	EXCEPTIONS
6
7	create
8	make
9
10	feature
11
12	make
13	local
14	a: A
15	retried: BOOLEAN
16	do
17	if not retried then
18	create a.make
19	a.f
20	end
21	rescue
22	retried := True
23	if exception = Precondition then
24	io.put_string ("Got the expected precondition violation.")
25	io.put_new_line
26	retry
27	end
28	end
29
30	end
Name	Value
svn:eol-style	native
svn:keywords	Author Date Id Revision