INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES
indexing
title:
"Display Machine Run Time interface"
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_RUNTIME
inherit
DMRT_CORE
end
feature
sys_id
:
INTEGER
display_form
(
form_no
:
INTEGER
):
BOOLEAN
independed_display_form
(
form_no
:
INTEGER
):
BOOLEAN
display_it
(
class_name
:
STRING
;
form_no
:
INTEGER
):
BOOLEAN
require
non_void_class_name
:
class_name
/=
void
independed_display_it
(
class_name
:
STRING
;
form_no
:
INTEGER
):
BOOLEAN
require
non_void_class_name
:
class_name
/=
void
activate_form
(
form_no
:
INTEGER
):
BOOLEAN
activate_class_form
(
class_name
:
STRING
;
form_no
:
INTEGER
):
BOOLEAN
require
non_void_class_name
:
class_name
/=
void
close_form
(
accept_data
:
BOOLEAN
)
add_resource_file
(
resource_filename
:
STRING
)
require
non_void_resource_filename
:
resource_filename
/=
void
remove_resource_file
(
resource_filename
:
STRING
)
require
non_void_resource_filename
:
resource_filename
/=
void
set_icon
(
icon_id
:
INTEGER
)
is_default
(
a
:
ANY
):
BOOLEAN
-- can be used as inversion
peek_messages
reattach
(
obj
:
ANY
)
exc
:
EXCEPTIONS
end
-- class
DM_RUNTIME
INDEX
CLUSTER
FEATURES
SHORT
FRAMES
NO FRAMES