/[eiffelstudio]/trunk/eweasel/tests/free018/a.e
ViewVC logotype

Contents of /trunk/eweasel/tests/free018/a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 101755 - (show annotations)
Sun May 20 10:56:07 2018 UTC (16 months, 3 weeks ago) by alexk
File size: 331 byte(s)
Added tests for class features with assertions using unqualified calls.
1 deferred class A
2
3 feature {NONE} -- Tests
4
5 a: BOOLEAN
6 deferred
7 end
8
9 c1: INTEGER_8
10 do
11 Result := 1
12 ensure
13 a
14 end
15
16 c2: INTEGER_8
17 do
18 Result := 1
19 ensure
20 a
21 end
22
23 c3: INTEGER_8
24 deferred
25 ensure
26 a
27 end
28
29 e1
30 do
31 ensure
32 a
33 end
34
35 e2
36 do
37 ensure
38 a
39 end
40
41 e3
42 deferred
43 ensure
44 a
45 end
46
47 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23