indexing description: "Implementation of XmTextSource."; status: "See notice at end of class."; date: "$Date$"; revision: "$Revision$" class MEL_TEXT_SOURCE create make_from_existing feature {NONE} -- Initialization make_from_existing (a_xm_text_source: POINTER) is -- Create the MEL_TEXT_SOURCE object from an existing text source. require xm_text_source_not_null: a_xm_text_source /= default_pointer do handle := a_xm_text_source; ensure exists: not is_destroyed end; feature -- Access handle: POINTER -- Associated C handle pointing to a XmTextSource structure feature -- Status report is_destroyed: BOOLEAN is -- Is the text source destroyed? do Result := handle = default_pointer end; feature -- Removal destroy is -- Free the object. require exists: not is_destroyed do handle := default_pointer ensure destroyed: is_destroyed end; end -- class MEL_TEXT_SOURCE --|---------------------------------------------------------------- --| Motif Eiffel Library: library of reusable components for ISE Eiffel. --| Copyright (C) 1986-2001 Interactive Software Engineering Inc. --| All rights reserved. Duplication and distribution prohibited. --| May be used only with ISE Eiffel, under terms of user license. --| Contact ISE for any other use. --| --| Interactive Software Engineering Inc. --| ISE Building --| 360 Storke Road, Goleta, CA 93117 USA --| Telephone 805-685-1006, Fax 805-685-6869 --| Electronic mail --| Customer support: http://support.eiffel.com> --| For latest info see award-winning pages: http://www.eiffel.com --|----------------------------------------------------------------