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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
class TRIANGLE
-- Description of TRIANGLEs objects.
inherit ANY redefine is_equal, copy end;
creation make
feature
p1: POINT
-- First point.
p2: POINT
-- Second point.
p3: POINT
-- Third point.
translate(dx, dy: DOUBLE) is
-- To translate `Current' using `dx' and `dy'.
do
p1.translate(dx,dy)
p2.translate(dx,dy)
p3.translate(dx,dy)
end
display_on(stream: OUTPUT_STREAM) is
-- To display `Current' on the `stream'.
require
stream.is_connected
do
stream.put_string("TRIANGLE[%N%T")
p1.display_on(stream)
stream.put_string("%N%T")
p2.display_on(stream)
stream.put_string("%N%T")
p3.display_on(stream)
stream.put_string("%T]%N")
ensure
stream.is_connected
end
is_equal(other: TRIANGLE): BOOLEAN is
do
if p1.is_equal(other.p1) then
if p2.is_equal(other.p2) then
Result := p3.is_equal(other.p3)
end
end
end
copy(other: TRIANGLE) is
-- Modify `Current' in order to become like `other'.
do
p1 := other.p1.twin
p2 := other.p2.twin
p3 := other.p3.twin
end
feature {NONE}
make(a, b, c: POINT) is
-- To create a new TRIANGLE.
require
a /= Void
b /= Void
c /= Void
do
p1 := a
p2 := b
p3 := c
ensure
p1 = a
p2 = b
p3 = c
end
invariant
p1 /= Void
p2 /= Void
p3 /= Void
end
|
