INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
indexing
title:
""
project:
"Visual Eiffel"
revision:
"$Revision: 1.1 $"
copyright:
"Copyright (C) 1996-2005 Object Tools Group"
license:
"http://visual-eiffel.com/license"
cluster:
dm
class
DM_POINT
inherit
WAPI_POINT
redefine
is_equal
end
DM_WAPI_SERVER
redefine
is_equal
end
creation
make
feature
make
(
px
,
py
:
INTEGER
)
move_at
(
dx
,
dy
:
INTEGER
)
feature
is_equal
(
other
:
like
Current
):
BOOLEAN
feature
-- util
distance
(
other
:
DM_POINT
):
INTEGER
-- distance to other point
require
other
/=
void
distance_to_line
(
a
,
b
:
DM_POINT
):
INTEGER
-- distance to line ab (piece of line)
-- if a=b then Result = distance(a)
require
a
/=
void
and
b
/=
void
feature
-- util
ClientToScreen
(
hwnd
:
INTEGER
)
ScreenToClient
(
hwnd
:
INTEGER
)
end
-- class
DM_POINT
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES