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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 92745 - (hide annotations)
Thu Jun 27 12:19:25 2013 UTC (6 years, 3 months ago) by alexk
File size: 481 byte(s)
Added an example for bug#18167.
1 alexk 92745 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