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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 86925 - (show annotations)
Mon Aug 1 22:50:42 2011 UTC (8 years, 6 months ago) by manus
File size: 386 byte(s)
Adapted code to detect that now we are triggering a precondition violation in `own_from_pointer' rather than accepting a null pointer and violating our invariant.

1 class TEST
2 inherit
3 EXCEPTION_MANAGER
4
5 create
6 make
7 feature
8 make
9 local
10 p: MANAGED_POINTER
11 retried: BOOLEAN
12 do
13 if not retried then
14 create p.own_from_pointer (default_pointer, 0)
15 end
16 rescue
17 if
18 attached last_exception as l_exception and then
19 attached {PRECONDITION_VIOLATION} l_exception.original
20 then
21 retried := True
22 retry
23 end
24 end
25 end
26
27

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23