/[eiffelstudio]/trunk/eweasel/tests/exec050/test1.e
ViewVC logotype

Contents of /trunk/eweasel/tests/exec050/test1.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (12 years, 9 months ago) by manus
File size: 642 byte(s)
Moved from trunk/Src/eweasel to trunk/eweasel so that a simple checkout of the source code is not penalized by the lenghty process of checking out all the tests of eweasel.
1
2 --| Copyright (c) 1993-2006 University of Southern California and contributors.
3 --| All rights reserved.
4 --| Your use of this work is governed under the terms of the GNU General
5 --| Public License version 2.
6
7 class TEST1
8 inherit
9 SHOW
10 TEST2
11 rename
12 try1 as try,
13 try2 as try,
14 try3 as try
15 end
16 creation
17 make
18 feature
19 make is
20 local
21 tried: BOOLEAN
22 do
23 if not tried then
24 try
25 end
26 rescue
27 tried := True;
28 io.putstring ("In rescue clause%N");
29 retry;
30 end
31
32 try is
33 require else
34 assert: show ("Precondition of try in TEST1");
35 do
36 ensure then
37 assert: show ("Postcondition of try in TEST1");
38 end
39
40 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23