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