/[eiffelstudio]/trunk/eweasel/tests/assert006/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/assert006/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 89316 - (show annotations)
Tue Aug 7 18:26:55 2012 UTC (7 years, 4 months ago) by manus
File size: 335 byte(s)
New test (not yet failing though) showing a bug where preconditions will not be checked after checking an invariant.

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

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23