indexing
	description: "Main arguments received in the WinMain Windows function."
	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class interface
	WEL_MAIN_ARGUMENTS

feature -- Access

	command_line: STRING
			-- Command line argument received in WinMain
		ensure
			result_not_void: Result /= void

	command_show: INTEGER
			-- Command show argument received in WinMain

	current_instance: WEL_INSTANCE
			-- Current instance argument received in WinMain
		ensure
			result_not_void: Result /= void

	previous_instance: WEL_INSTANCE
			-- Previous instance argument received in WinMain
		ensure
			result_not_void: Result /= void
	
invariant

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

end -- class WEL_MAIN_ARGUMENTS