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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 92745 - (show annotations)
Thu Jun 27 12:19:25 2013 UTC (6 years, 4 months ago) by alexk
File size: 481 byte(s)
Added an example for bug#18167.
1 class B [G -> attached TEST]
2
3 create
4
5 make
6
7 feature
8
9 make (y: G)
10 do
11 x := y
12 end
13
14 f (a: G)
15 do
16 ensure
17 attached a.generating_type
18 attached x.generating_type
19 end
20
21 g (a: G)
22 do
23 check attached a then end
24 check attached x then end
25 ensure
26 attached a.generating_type
27 attached x.generating_type
28 end
29
30 h (y: G): G
31 do
32 x := y
33 Result := y
34 ensure
35 attached x.generating_type
36 attached Result.generating_type
37 end
38
39 feature -- Data
40
41 x: G
42
43 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23