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

Contents of /branches/eth/eve/eweasel/tests/melt071/b.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: 343 byte(s)
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.
1 class
2 B [G]
3
4 inherit
5 A [G]
6 redefine
7 bad
8 end
9
10 create
11 make
12
13 feature -- Initialization
14
15 bad is
16 -- Exchange item at `i'-th position with item
17 -- at cursor position.
18 do
19 Precursor
20 ensure then
21 item_in_lookup_table: has (old item)
22 end
23
24 has (v: G): BOOLEAN is
25 -- Initialize
26 do
27 Result := True
28 end
29
30 end -- class B

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23