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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 87426 - (show annotations)
Sat Oct 8 10:44:48 2011 UTC (8 years ago) by alexk
File size: 534 byte(s)
Prepared tests for new syntax defaults.
1 class A
2
3 inherit
4 ANY
5 redefine
6 copy,
7 is_equal
8 end
9
10 feature -- Duplication
11
12 copy (other: like Current)
13 do
14 value := other.value + 1
15 io.put_string (generating_type)
16 io.put_string (" := ")
17 io.put_string (other.generating_type)
18 io.put_string (" (")
19 io.put_integer (value)
20 io.put_string (")")
21 end
22
23 feature -- Comparison
24
25 is_equal (other: like Current): BOOLEAN
26 -- Make sure `copy' fulfills the postcondition.
27 do
28 Result := True
29 end
30
31 feature {A} -- Data
32
33 value: INTEGER
34 -- Current value
35
36 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23