INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Control with a text. ", "WEL: library of reusable components for Eiffel. ", "Based on WEL library for ISE Eiffel, used with permission. "
project: "Windows Eiffel Library"
copyright: "(c) 1986-1997 Interactive Software Engineering Inc. ", "Modifications and extensions: ", "(c) 1997-2001 Object Tools ", "All rights reserved. Duplication and distribution prohibited", "May be used only with Visual Eiffel under terms of user ", "license "
cluster: wel
class WEL_STATIC
inherit

WEL_CONTROL
end

WEL_SS_CONSTANTS
export
{NONE}
all
end
creation

make,
make_by_id
feature {NONE}-- Initialization

make (a_parent: WEL_WINDOW; a_name: STRING; a_x, a_y, a_width, a_height, an_id: INTEGER)
-- Make a static control
require
a_parent_not_void: a_parent /= void
a_parent_exists: a_parent.exists
a_name_not_void: a_name /= void
ensure
parent_set: parent = a_parent
exists: exists
name_set: text.is_equal (a_name)
id_set: id = an_id
feature -- Basic operations

clear
-- Clear the text
require
exists: exists
ensure
text_empty: text.is_empty
end -- class WEL_STATIC

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES