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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 78759 - (show annotations)
Tue May 19 04:09:25 2009 UTC (10 years, 8 months ago) by manus
File size: 276 byte(s)
Added the case of constants since they may also fail.

1 deferred class TEST1
2
3 feature
4
5 f
6 do
7 print (x)
8 print (y)
9 print (z)
10 print (w)
11 end
12
13 x: STRING
14 deferred
15 end
16
17 y: STRING
18 deferred
19 ensure
20 y_attached: Result /= Void
21 end
22
23 z: STRING
24 deferred
25 end
26
27 w: INTEGER
28 deferred
29 ensure
30 w > 0
31 end
32
33 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23