/[eiffelstudio]/branches/eth/eve/eweasel/tests/melt071/a.e
ViewVC logotype

Contents of /branches/eth/eve/eweasel/tests/melt071/a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 83441 - (show annotations)
Sat Jun 5 13:52:53 2010 UTC (9 years, 7 months ago) by jasonw
File size: 256 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 class
2 A [G]
3
4 create
5 make
6
7 feature
8
9 make (v: G) is
10 do
11 item := v
12 end
13
14 feature -- Initialization
15
16 bad is
17 -- Initialize
18 do
19 ensure
20 item = old i_th
21 end
22
23 feature -- Access
24
25 item: G
26
27 i_th: G is
28 do
29 Result := item
30 end
31
32 end -- class A

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23