indexing

	description: 
		"Representation of a menu for the batch compiler%
		%invoked by the -loop. It is an array of ewb_cmd%
		%which can be executed.";
	date: "$Date$";
	revision: "$Revision $"

class EWB_MENU

inherit

	ARRAY [EWB_CMD]
	SHARED_EWB_HELP
		undefine
			copy, is_equal
		end
	SHARED_EWB_CMD_NAMES
		undefine
			copy, is_equal
		end
	SHARED_EWB_ABBREV
		undefine
			copy, is_equal
		end
create

	make

feature -- Properties

	is_main: BOOLEAN

	parent: EWB_MENU

feature -- Access

	abbrev_item (abb: CHARACTER): EWB_CMD is
			-- Command with abbreviated character `abb'
		local
			i: INTEGER
			cmd: EWB_CMD
		do
			from
				i := lower
			until
				i > upper or else Result /= Void
			loop
				cmd := item (i);
				if cmd.abbreviation = abb then
					Result := cmd
				else
					i := i + 1
				end;
			end;
		end;

	cmd_name_item (cmd_name: STRING): EWB_CMD is
			-- Command with command name `cmd_name'
		local
			i: INTEGER
			cmd: EWB_CMD
			s : STRING
		do
			from
				s := cmd_name.as_lower
				i := lower
			until
				i > upper or else Result /= Void
			loop
				cmd := item (i);
				if cmd.name.is_equal (s) then
					Result := cmd
				else
					i := i + 1
				end;
			end;
		end;

	option_item (cmd_name: STRING): EWB_CMD is
			-- Command with command name `cmd_name'.
		do
			if cmd_name.count = 1 then
				Result := abbrev_item (cmd_name.item(1).lower)
			else
				Result := cmd_name_item (cmd_name)
			end
		end

feature -- Element change

	add_entry (cmd: EWB_CMD) is
			-- Add command entry `cmd' to Current menu.
		local
			i: INTEGER
		do
			from
				i := lower
			until
				i > upper or else item (i) = Void
			loop
				i := i + 1
			end;
			put (cmd, i)
		end;

feature -- Setting

	set_is_main is
		do
			is_main := True
		end;

	set_parent (new_parent: EWB_MENU) is
		do
			parent := new_parent;
		end;

feature -- Output

	print_help is
			-- Display the help information for menu.
		local
			cmd: EWB_CMD
			i: INTEGER
		do
			from
				i := lower
			until
				i > upper
			loop
				cmd := item (i);
				print_one_help (cmd.name, cmd.help_message, cmd.abbreviation);
				i := i + 1
			end;
			io.put_new_line;
			print_one_help (loop_help_cmd_name, loop_help_help, help_abb);
			if not is_main then
				print_one_help (main_cmd_name, main_help, main_abb);
			end;
			if parent /= Void and then not parent.is_main then
				print_one_help (parent_cmd_name, parent_help, parent_abb);
			end;
			print_one_help (quit_cmd_name, quit_help, quit_abb);
			print_one_help (yank_cmd_name, yank_help, yank_abb);
			io.put_new_line;
		end;

feature {NONE} -- Implementation

	print_one_help (opt: STRING; txt: STRING; abb: CHARACTER) is
			-- Display the help information for option `opt'
			-- with help text `txt' and abbreviation `abb'.
		local
			i: INTEGER;
			s: STRING;
		do
				-- First letter in upper case
			s := opt.twin
			s.put (s.item (1).upper, 1);

			io.put_string ("%T(");
			io.put_character (abb.upper);
			io.put_string (") ");
			io.put_string (s);
			from
				i := s.count+1
			until
				i > 13
			loop
				io.put_character (' ')
				i := i + 1;
			end;
			io.put_string (": ");
			io.put_string (txt);
			io.put_string (".%N")
		end;

end -- class EWB_MENU