note
	description: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	EDK_WINDOW

inherit
	EDK_SESSION_ID_OBJECT_I
		redefine
			default_create,
			create_underlying_implementation
		end

feature {NONE} -- Initialization

	frozen default_create
			-- Create and initialize `Current'
		do
			check application_created: message_manager_available end
			create_underlying_implementation
		end

	create_underlying_implementation
			-- <Precursor>
		local
			l_session_id: like session_id
		do
			l_session_id := session_id;

				-- Use generating type which will be TYPE [like Current] for registration of `Current'
			message_manager.type_manager.register_window (Current)

			message_manager.put_message_on_queue (create {EDK_MESSAGE})
				-- Fire off EDK_CREATE_WINDOW message			
		end

feature {NONE} -- Properties

	get_property (a_property_data: EDK_PROPERTY_DATA)
			-- Get the property associated with `a_property_data'
		do
		end

	set_property (a_property_data: EDK_PROPERTY_DATA)
			-- Set the property data associated with `a_property_data'
		do
		end

feature {NONE} -- Events

	message_handler (a_event: EDK_MESSAGE)
			-- Message handler for `Current'
		do
		end

feature {EDK_TYPE_MANAGER} -- Registration

	frozen set_property_structure (a_structure: like property_structure)
		require
			property_structure_unset: not attached property_structure
		do
			property_structure_internal := a_structure
		end

	property_structure: SPECIAL [detachable SPECIAL [detachable ANY]]
		require
			property_structure_set: attached property_structure_internal
		do
			check
				from_precondition: attached property_structure_internal as s
			then
				Result := s
			end
		end

	property_structure_internal: detachable like property_structure
		-- Property structure of `Current'
		-- Used for storing property values.

	register_messages (type_registration: EDK_TYPE_REGISTRATION)
			-- Register events of `Current'
		require
			window_type_unregistered: True
		do
			type_registration.register_message_data (window_create, {detachable STRING_8}, {STRING_8})
				-- Passes weak reference to event manager or display
			type_registration.register_message_data (property_set, {detachable STRING_8}, {NATURAL_8})
				-- Passes property data to set multiple values properties such as 'child'.
			type_registration.register_message_data (property_get, {detachable STRING_8}, {NATURAL_8})
				-- Passes property data to query multiple values properties such as 'child'.
			type_registration.register_message_data (property_listen, {detachable STRING_8}, {detachable ANY})
			type_registration.register_message_data (timer, {NATURAL_16}, {detachable ANY})
			type_registration.register_message_data (child_add, {NATURAL_16}, {detachable ANY})
			type_registration.register_message_data (child_remove, {NATURAL_16}, {detachable ANY})
		end

	register_properties (type_registration: EDK_TYPE_REGISTRATION)
			-- Register properties of `Current'.
		do
			type_registration.register_property_data (default_namespace, {detachable STRING_8}, {NONE}, False)
			type_registration.register_property_data (full_namespace, {detachable STRING_8}, {NONE}, False)
			type_registration.register_property_data (width, {NATURAL_16}, {NONE}, True)
			type_registration.register_property_data (height, {NATURAL_16}, {NONE}, True)
			type_registration.register_property_data (x_position, {INTEGER_16}, {NONE}, True)
			type_registration.register_property_data (y_position, {INTEGER_16}, {NONE}, True)
			type_registration.register_property_data (alpha, {NATURAL_8}, {NONE}, True)
			type_registration.register_property_data (focus, {BOOLEAN}, {NONE}, True)
			type_registration.register_property_data (sensitivity, {BOOLEAN}, {NONE}, True)
			type_registration.register_property_data (preferred_width, {NATURAL_16}, {NONE}, False)
			type_registration.register_property_data (preferred_height, {NATURAL_16}, {NONE}, False)
			type_registration.register_property_data (child, {NATURAL_16}, {NATURAL_16}, False)
			type_registration.register_property_data (child_count, {NATURAL_16}, {NONE}, False)
		end

feature {NONE} -- Default Event Strings

	window_create: STRING_8 = "window_create"
	property_set: STRING_8 = "property_set"
	property_get: STRING_8 = "property_get"
	property_listen: STRING_8 = "property_listen"
	timer: STRING_8 = "timer"
	child_add: STRING_8 = "child_add"
	child_remove: STRING_8 = "child_remove"

feature {NONE} -- Default Property Strings

	default_namespace: STRING_8 = "default_namespace"
	full_namespace: STRING_8 = "full_namespace"
	width: STRING_8 = "width"
	height: STRING_8 = "height"
	x_position: STRING_8 = "x_position"
	y_position: STRING_8 = "y_position"
	alpha: STRING_8 = "alpha"
	focus: STRING_8 = "focus"
	sensitivity: STRING_8 = "sensitivity"
	preferred_width: STRING_8 = "preferred_width"
	preferred_height: STRING_8 = "preferred_height"
	child: STRING_8 = "child"
	child_count: STRING_8 = "child_count"

note
	copyright: "Copyright (c) 1984-2016, Eiffel Software and others"
	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
	source: "[
			Eiffel Software
			5949 Hollister Ave., Goleta, CA 93117 USA
			Telephone 805-685-1006, Fax 805-685-6869
			Website http://www.eiffel.com
			Customer support http://support.eiffel.com
		]"
end