note
	description: "EiffelVision screen. Cococa implementation."
	author: "Daniel Furrer"
	keywords: "screen, root, window, visual, top"
	date: "$Date$"
	revision: "$Revision$"


class
	EV_SCREEN_IMP

inherit
	EV_SCREEN_I
		redefine
			interface
		select
			copy
		end

	EV_DRAWABLE_IMP
		redefine
			interface,
			make
		end

	NS_SCREEN
		rename
			copy as copy_cocoa
		undefine
			is_equal
		end

	NS_ENVIRONEMENT

create
	make

feature {NONE} -- Initialization

	make
			-- Initialize Current to be the main screen
		do
			item := main_screen.item
			Precursor {EV_DRAWABLE_IMP}
		end

feature -- Status report

	pointer_position: EV_COORDINATE
			-- Position of the screen pointer.
		local
			point: NS_POINT
		do
			create point.make_from_mouse_location
			create Result.make (point.x.rounded, point.y.rounded)
		end

	widget_at_position (x, y: INTEGER): detachable EV_WIDGET
			-- Widget at position ('x', 'y') if any.
		do
		end

	widget_imp_at_pointer_position: detachable EV_WIDGET_IMP
			-- Widget implementation at current mouse pointer position (if any)
		do
		end

feature -- Status setting

	set_default_colors
			-- Set foreground and background color to their default values.
		local
			a_default_colors: EV_STOCK_COLORS
		do
			create a_default_colors
			set_background_color (a_default_colors.default_background_color)
			set_foreground_color (a_default_colors.default_foreground_color)
		end

feature -- Basic operation

	redraw
			-- Redraw the entire area.
		do
		end

	x_test_capable: BOOLEAN
			-- Is current display capable of performing x tests.
		do
		end

	set_pointer_position (a_x, a_y: INTEGER)
			-- Set pointer position to (a_x, a_y).
		do
		end

	fake_pointer_button_press (a_button: INTEGER)
			-- Fake button `a_button' press on pointer.
		do
		end

	fake_pointer_button_release (a_button: INTEGER)
			-- Fake button `a_button' release on pointer.
		do
		end

	fake_pointer_wheel_up
			-- Simulate the user rotating the mouse wheel up.
		do
				--| Mouse pointer button number 4 relates to mouse wheel up
			fake_pointer_button_press (4)
		end

	fake_pointer_wheel_down
			-- Simulate the user rotating the mouse wheel down.
		do
				--| Mouse pointer button number 5 relates to mouse wheel up
			fake_pointer_button_press (5)
		end

	fake_key_press (a_key: EV_KEY)
			-- Fake key `a_key' press.
		do
		end

	fake_key_release (a_key: EV_KEY)
			-- Fake key `a_key' release.
		do
		end

feature -- Measurement

	horizontal_resolution: INTEGER
			-- Number of pixels per inch along horizontal axis
		local
			resolution: NS_VALUE
			l_size: NS_SIZE
		do
			create resolution.share_from_pointer (device_description.object_for_key ({NS_WINDOW}.device_resolution))
			create l_size.make
			{NS_VALUE_API}.size_value (item, l_size.item)
			Result := l_size.width.rounded
		end

	vertical_resolution: INTEGER
			-- Number of pixels per inch along vertical axis
		local
			resolution: NS_VALUE
			l_size: NS_SIZE
		do
			create resolution.share_from_pointer (device_description.object_for_key ({NS_WINDOW}.device_resolution))
			create l_size.make
			{NS_VALUE_API}.size_value (item, l_size.item)
			Result := l_size.height.rounded
		end

	height: INTEGER
			-- Vertical size in pixels.
		do
			Result := frame.size.height.rounded
		end

	width: INTEGER
			-- Horizontal size in pixels.
		do
			Result := frame.size.width.rounded
		end

feature {NONE} -- Implementation

	flush
			-- Force all queued draw to be called.
		do
			-- By default do nothing
		end

	update_if_needed
			-- Update `Current' if needed
		do
			-- By default do nothing
		end

	destroy
		do
		end

feature {EV_ANY, EV_ANY_I} -- Implementation

	interface: detachable EV_SCREEN note option: stable attribute end;

end -- class EV_SCREEN_IMP