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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 87425 by manus, Thu Nov 30 20:22:33 2006 UTC revision 87426 by alexk, Sat Oct 8 10:44:48 2011 UTC
# Line 9  inherit Line 9  inherit
9    
10  feature -- Duplication  feature -- Duplication
11    
12          copy (other: like Current) is          copy (other: like Current)
13                  do                  do
14                          value := other.value + 1                          value := other.value + 1
15                          io.put_string (generating_type)                          io.put_string (generating_type)
# Line 22  feature -- Duplication Line 22  feature -- Duplication
22    
23  feature -- Comparison  feature -- Comparison
24    
25          is_equal (other: like Current): BOOLEAN is          is_equal (other: like Current): BOOLEAN
26                          -- Make sure `copy' fulfills the postcondition.                          -- Make sure `copy' fulfills the postcondition.
27                  do                  do
28                          Result := True                          Result := True

Legend:
Removed from v.87425  
changed lines
  Added in v.87426

  ViewVC Help
Powered by ViewVC 1.1.23