indexing
	description: "Interface on the MessageBox function."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_MESSAGE_BOX

feature -- Status report

	message_box_result: INTEGER
			-- Last result for the message_box and
			-- error_message_box routines.
			-- See class WEL_ID_CONSTANTS for values.
	
feature -- Basic operations

	error_message_box (a_text: STRING; a_style: INTEGER)
			-- Show a error message box with a_text
			-- inside using a_style.
			-- See class WEL_MB_CONSTANTS for a_style value.
		require
			text_not_void: a_text /= void

	message_box (a_text, a_title: STRING; a_style: INTEGER)
			-- Show a message box with a_text inside and
			-- a_title using a_style.
			-- See class WEL_MB_CONSTANTS for a_style value.
		require
			text_not_void: a_text /= void
			title_not_void: a_title /= void
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class WEL_MESSAGE_BOX