- 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