File: point.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 (47 lines) | stat: -rw-r--r-- 771 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
45
46
47
 
class POINT
-- Description of POINTs objects.
   
creation make
   
feature
   
   x: DOUBLE
	 -- The `x' coordinate.
   
   y: DOUBLE
	 -- The `y' coordinate.
   
   translate(dx, dy: DOUBLE) is
	 -- To translate `Current' using `dx' and `dy'.
      do
	 x := x + dx
	 y := y + dy
      ensure 
	 x = dx + old x
	 y = dy + old y 
      end
   
   display_on(stream: OUTPUT_STREAM) is
	 -- Display `Current' on the `stream'.
      require
	 stream.is_connected
      do
	 stream.put_string("POINT[")
	 stream.put_double(x)
	 stream.put_character(',')
	 stream.put_double(y)
	 stream.put_string("]%N")
      ensure
	 stream.is_connected
      end
   
feature {NONE}
   
   make(vx, vy: DOUBLE) is
	 -- To create a new POINT.
      do
	 x := vx
	 y := vy
      end
   
end