File: example3.e

package info (click to toggle)
smarteiffel 1.1-11
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 12,288 kB
  • ctags: 40,785
  • sloc: ansic: 35,791; lisp: 4,036; sh: 1,783; java: 895; ruby: 613; python: 209; makefile: 115; csh: 78; cpp: 50
file content (44 lines) | stat: -rw-r--r-- 796 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
 
class EXAMPLE3 -- Test of the customized is_equal/copy of class TRIANGLE.

creation main
   
feature
   
   main is
      local
	 x, y, z: POINT
      do
	 create x.make(1.0 , 2.0)
	 create y.make(1.0 , 2.0)
	 create z.make(3.0 , 4.0)
	 
	 if x = y then
	    io.put_string("x = y%N")
	 end
	 if x /= y then
	    io.put_string("x /= y%N")
	 end
	 if x.is_equal(y) then
	    io.put_string("x.is_equal(y)%N")
	 end
	 if y.is_equal(z) then
	    io.put_string("x.is_equal(y)%N")
	 end
	 
	 y := x
	 if x = y then
	    io.put_string("x = y%N")
	 end
	 if x.is_equal(y) then
	    io.put_string("x.is_equal(y)%N")
	 end;	 
	 io.put_string("To get a clone of x:%N")
	 y := x.twin
	 if x /= y and then x.is_equal(y) then
	    io.put_string("x /= y and then x.is_equal(y)%N")
	 end
	 
      end
   
end