note
	description: "Objects that represent the Vision2 application.%
		%The original version of this class has been generated by EiffelBuild."
	generator: "EiffelBuild"
	date: "$Date$"
	revision: "$Revision$"

class
	<APPLICATION>

inherit
	EV_APPLICATION
		redefine
			create_interface_objects
		end

create
	make_and_launch
	
feature {NONE} -- Initialization

	make_and_launch
			-- Create `Current', build and display `main_window',
			-- then launch the application.
		do
			default_create
			main_window.show
			launch
		end
		
feature {NONE} -- Implementation

	create_interface_objects
			-- <Precursor>
		do
			create main_window
		end

	main_window: <MAIN_WINDOW>
		-- Main window of `Current'.

end