/[eiffelstudio]/trunk/eweasel/tests/dotnet033/b.e
ViewVC logotype

Contents of /trunk/eweasel/tests/dotnet033/b.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65297 - (show annotations)
Thu Nov 30 20:22:33 2006 UTC (13 years, 2 months ago) by manus
File size: 313 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 indexing
2 description: ""
3 date: "$Date$"
4 revision: "$Revision$"
5
6 class
7 B
8
9 inherit
10 A
11 redefine f end
12
13 feature
14 f
15 require else
16 r_b
17 do
18 ensure then
19 e_b
20 end
21
22 r_b: BOOLEAN
23 do
24 print ("require_b%N")
25 Result := True
26 end
27
28 e_b: BOOLEAN
29 do
30 print ("ensure_b%N")
31 Result := True
32 end
33
34 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23