indexing
	description: "Context that represents a menu (EV_MENU)."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class
	MENU_C

inherit
	MENU_ITEM_HOLDER_C
		redefine
			gui_object,
			create_context
		end

feature -- Type data

	symbol: EV_PIXMAP is
		do
			create Result.make_with_size (0, 0)
		end

	type: CONTEXT_TYPE [like Current] is
		do
			Result := context_catalog.menu_page.menu_type
		end

	data_type: EV_PND_TYPE is
		do
			Result := Pnd_types.menu_child_type
		end

feature -- Context creation

	create_context (a_parent: MENU_HOLDER_C): like Current is
			-- Create a context of the same type.
		do
			Result ?= Precursor (a_parent)
			a_parent.append (Result)
		end

feature -- GUI object creation

	create_gui_object (a_parent: EV_MENU_HOLDER) is
		do
			create gui_object.make (a_parent)
		end

feature -- Status report

	shown: BOOLEAN is
		do
--			Result := gui_object.parent /= Void
		end

feature -- Status setting

	show is
		local
			a_tree_item: MENU_HOLDER_C
		do
--			a_tree_item ?= parent
--			gui_object.set_parent (a_tree_item.gui_object)
		end

	hide is
		do
--			gui_object.set_parent (Void)
		end

feature {NONE} 

	copy_attributes (other_context: like Current) is
			-- Copy the attributes of Current to `other_context'.
		do
		end

feature {NONE} -- Callbacks

	add_gui_callbacks is
			-- Define the general behavior of the GUI object.
		do
			add_pnd_callbacks
		end

	remove_gui_callbacks is
			-- Remove callbacks.
			-- (Need to only remove callbacks part of a list
			-- since set_action will overwrite previous callbacks).
		do
			remove_pnd_callbacks
		end

feature {NONE} -- Internal namer

	namer: NAMER is
		once
			create Result.make ("Menu")
		end

feature -- Code generation

	eiffel_type: STRING is
		do
			Result := "EV_MENU"
		end

	full_type_name: STRING is
		do
			Result := "Menu"
		end

feature -- Implementation

	gui_object: EV_MENU

end -- class MENU_C