indexing
	description: "Object representing a state of the application."
	date: "$Date$"
	id: "$Id$"
	revision: "$Revision$"

class BUILD_STATE 

inherit
	BUILD_FUNCTION
		redefine
			func_editor, input_data, output_data,
			drop_pair
		end

	GRAPH_ELEMENT

	WINDOWS
		redefine
			popuper_parent
		end

	NAMABLE
		redefine
			is_valid_new_name,
			check_new_name
		end

	EDITABLE

	SHARED_APPLICATION

	ERROR_POPUPER

creation
	make

feature {NONE} -- Initialisation

	make is
		do
			create input_list.make
			create output_list.make
			int_generator.next
			identifier := int_generator.value
		end

feature -- Access

	reset_namer is
		do
			namer.reset
			int_generator.reset
		end

	symbol: EV_PIXMAP is
		do
			Result := Pixmaps.state_pixmap_small
		end

	help_file_name: STRING is
		do
			Result := Help_const.state_help_fn
		end

feature -- Editable

	create_editor is
		local
			ed: STATE_EDITOR
		do
			if not edited then
				ed := window_mgr.state_editor
				ed.set_edited_function (Current)
			end
			window_mgr.display (func_editor)
		end

feature -- Anchors

	func_editor: STATE_EDITOR

	input_data: CONTEXT

	output_data: BEHAVIOR

	data: like Current is
		do
			Result := Current
		end

feature -- Command Labels

	copy_contents (func: like Current) is
		local
			il: like input_list
			ol: like output_list
--			b: BEHAVIOR
		do
--			il := func.input_list
--			ol := func.output_list
--			from
--				il.start
--				ol.start
--			until
--				ol.after
--			loop
--				!! b.make
--				b.copy_contents (ol.item)
--				b.set_internal_name ("")
--				add (il.item, b)
--				il.forth
--				ol.forth
--			end
		end

	labels: LINKED_LIST [CMD_LABEL] is
			-- All command labels in Current state
		local
			old_pos: INTEGER
			sublist: LINKED_LIST [CMD_LABEL]
		do
			!!Result.make
--			from
--				old_pos := output_list.index
--				output_list.start
--			until
--				output_list.after
--			loop
--				sublist := output_list.item.labels
--				from
--					sublist.start
--				until
--					sublist.after
--				loop
--					Result.put_right (sublist.item)
--					sublist.forth
--				end
--				output_list.forth
--			end
--			output_list.go_i_th (old_pos)
		end

	identifier: INTEGER

	set_internal_name (s: STRING) is
		do
			if s.empty then
				namer.next
				set_label (namer.value)
			else
				set_label (s)
			end
		end

feature {NONE}

	int_generator: INT_GENERATOR is
		once
			create Result
		end

	namer: NAMER is
			-- Unique strings generator
		once
			create Result.make ("State")
		end

feature -- Query

	has_command (cmd: CMD): BOOLEAN is
		local
			old_pos: INTEGER
		do
--			old_pos := output_list.index
--			from
--				output_list.start
--			until
--				output_list.after
--			loop
--				Result := output_list.item.has_command (cmd)
--				output_list.forth
--			end
--			output_list.go_i_th (old_pos)
		end

feature -- Namable

	is_valid_new_name: BOOLEAN

	popuper_parent: EV_CONTAINER is
		once
			Result := namer_window
		end

	check_new_name (new_name: STRING) is
		local
			a_name: STRING
			id: IDENTIFIER
		do
			is_valid_new_name := True
			a_name := new_name
			if not Shared_app_graph.has_state_name (a_name) then
				create id.make (a_name.count)
				id.append (a_name)
				if not id.is_valid then
					is_valid_new_name := False
					error_dialog.popup (Current,
							Messages.invalid_state_name_er,
							a_name)
				end
			else
				is_valid_new_name := False
				error_dialog.popup (Current,
						Messages.state_name_exists_er,
						a_name)
			end
		end

feature -- Editing

	internal_name: STRING

	visual_name: STRING

--	behaviors: LINKED_LIST [BEHAVIOR] is
--			-- Non empty behaviors defined
--			-- in Current state
--		do
--			!!Result.make
--			from
--				start
--			until
--				after
--			loop
--				if 
--					not (output.empty or input.deleted)
--				then
--					Result.put_right (output)
--				end
--				forth	
--			end
--		end

	drop_pair is
		local
			drop_cmd: FUNC_DROP
			arg: EV_ARGUMENT1 [like Current]
		do
--			if pair_is_valid then
--				if not has_input (input_data) then
--					add (input_data, output_data)
--					create drop_cmd
--					create arg.make (Current)
--					drop_cmd.execute (arg, Void)
--				end
--				func_editor.reset_stones
--			elseif
--				output_set and then output_data.context /= Void and then
--				(not has_input (output_data.context.data))
--			then
--				set_input_data (output_data.context.data)
--				add (input_data, output_data)
--				create drop_cmd
--				create arg.make (Current)
--				drop_cmd.execute (arg, Void)
--				func_editor.reset_stones
--			end
		end

	edited: BOOLEAN is
			-- Is currrent State being edited?
		do
			Result := func_editor /= Void
		end

	label: STRING is
			-- Just kept for historical purposes
		do
			if visual_name = Void then
				Result := internal_name
			else
				Result := visual_name
			end
		end

	raise_editor is
		do
			if func_editor /= Void then
				func_editor.show
			end
		end

	set_label (s: STRING) is
		do
			internal_name := s
		end

	set_visual_name (s: STRING) is
		do
			if s = Void then
				visual_name := Void
			else
				visual_name := clone (s)
			end
			App_editor.update_circle_text (Current)
--			Context_catalog.update_state_name_in_behavior_page (Current)
		end

	retrieve_set_visual_name (s: STRING) is
		require
			valid_s: s /= Void
		do
			visual_name := clone (s)
		end

	remove_line_command_for_context (c: CONTEXT): FUNC_CUT is
		do
			find_input (c)
			if not input_list.after then
				create Result
				Result.set_not_record
			end
		end

end -- class BUILD_STATE