indexing
	description: "Window where output is generated."
	date: "$Date$"
	revision: "$Revision$"

deferred class OUTPUT_WINDOW

inherit
	TEXT_FORMATTER
		redefine
			process_string_text, process_difference_text_item,
			process_feature_error
		end

feature {TEXT_ITEM} -- Text processing

	process_basic_text (text: BASIC_TEXT) is
		do
			put_string (text.image)
		end

	process_string_text (text: STRING_TEXT) is
		do
			put_string (text.image)
		end

	process_comment_text (text: COMMENT_TEXT) is
			-- Process comment text. 
		do
			put_string (text.image)
		end

	process_quoted_text (text: QUOTED_TEXT) is
			-- Process the quoted `text' within a comment.
		do
			put_string (text.image)
		end

	process_cluster_name_text (text: CLUSTER_NAME_TEXT) is
			-- Process class name text `t'.
		do
			put_string (text.image)
		end

	process_class_name_text (text: CLASS_NAME_TEXT) is
			-- Process class name text `t'.
		do
			put_string (text.image)
		end

	process_feature_name_text (text: FEATURE_NAME_TEXT) is
			-- Process feature name text `t'.
		do
			put_string (text.image)
		end

	process_exported_feature_name_text (text: EXPORTED_FEATURE_NAME_TEXT) is
			-- Process feature name text `t'.
		do
			put_string (text.image)
		end

	process_feature_text (text: FEATURE_TEXT) is
			-- Process feature text `text'.
		do
			put_string (text.image)
		end

	process_breakpoint_index (text: BREAKPOINT_TEXT) is
			-- Process feature text `text'.
		do
			put_string (text.image)
		end

	process_breakpoint (a_bp: BREAKPOINT_ITEM) is
			-- Process breakpoint.
		do
		end

	process_padded is
			-- Process padded item at start of non breakpoint line.
		do
		end

	process_new_line (text: NEW_LINE_ITEM) is
			-- Process new line text `t'.
		do
			put_new_line
		end

	process_indentation (text: INDENT_TEXT) is
			-- Process indentation `t'.
		do
			put_string (text.image)
		end

	process_after_class (text: AFTER_CLASS) is
			-- Process after class text `t'.
		do
			put_string (text.image)
		end

	process_before_class (text: BEFORE_CLASS) is
			-- Process before class `t'.
		do
		end

	process_filter_item (text: FILTER_ITEM) is
			-- Process information on syntax `text'.
		do
		end

	process_symbol_text (text: SYMBOL_TEXT) is
			-- Process symbol text.
		do
			put_string (text.image)
		end

	process_keyword_text (text: KEYWORD_TEXT) is
			-- Process keyword text.
		do
			put_string (text.image)
		end

	process_operator_text (text: OPERATOR_TEXT) is
			-- Process operator text.
		do
			put_string (text.image)
		end


	process_address_text (text: ADDRESS_TEXT) is
			-- Process address text.
		do
			put_string (text.address)
		end

	process_error_text (text: ERROR_TEXT) is
			-- Process error text.
		do
			put_string (text.error_text)
		end

	process_cl_syntax (text: CL_SYNTAX_ITEM) is
			-- Process class syntax text.
		do
			put_string (text.error_text)
		end

	process_ace_syntax (text: ACE_SYNTAX_ITEM) is
			-- Process Ace syntax text.
		do
			put_string (text.error_text)
		end

	process_difference_text_item (text: DIFFERENCE_TEXT_ITEM) is
			-- Process difference text.
		do
			put_string (text.image)
		end

	process_feature_error (text: FEATURE_ERROR_TEXT) is
			-- Process error feature text.
		do
			process_feature_text (text)
		end

feature -- Output
	
	display is 
			-- Display the contents of window.
		do 
		end

	clear_window is 		
			-- Clear the contents of window.
		do 
		end

feature -- Obsolete
	
	put_new_line is 
			-- Put a new line at current position.
		deferred 
		end

	put_string (s: STRING) is 
			-- Put string `s' at current position.
		require
			valid_s: s /= Void
		deferred 
		end

	put_one_indent is
			-- Put one indent to Current.
		do
			put_indent (1)
		end

	put_indent (nbr_of_tabs: INTEGER) is
			-- Put indent of `nbr_of_tabs'.
		require
			valid_tabs: nbr_of_tabs > 0
		local
			str: STRING
		do
			str := "%T"
			if nbr_of_tabs > 1 then
				str.multiply (nbr_of_tabs)
			end
			put_string (str)
		end

	put_cluster (e_cluster: CLUSTER_I; str: STRING) is
			-- Put `e_cluster' with string representation
			-- `str' at current position.
		require
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_class (e_class: CLASS_C; str: STRING) is
			-- Put `e_class' with string representation
			-- `str' at current position.
		require
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_classi (class_i: CLASS_I; str: STRING) is
			-- Put `class_i' with string representation
			-- `str' at current position.
		require
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_error (error: ERROR; str: STRING) is
			-- Put `error' with string representation
			-- `str' at current position.
		require
			valid_error: error /= Void
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_feature (feat: E_FEATURE; str: STRING) is
			-- Put feature `feat' with string 
			-- representation `str' at current position.
		require
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_feature_name (f_name: STRING; e_class: CLASS_C) is
			-- Put feature name `f_name' defined in `e_class'.
		require
			valid_f_name: f_name /= Void
		do
			put_string (f_name)
		end

	put_exported_feature_name (f_name: STRING; class_c: CLASS_C; alias_name: STRING) is
		require
			valid_f_name: f_name /= Void
		do
			put_string (f_name)
		end

	put_feature_error (feat: E_FEATURE; str: STRING; pos: INTEGER) is
			-- Put feature `feat' with error at charcter
			-- position `pos'
		require
			valid_str: str /= Void
			positive_pos: pos > 0 
		do
			put_feature (feat, str)
		end

	put_address (address: STRING; a_name: STRING; e_class: CLASS_C) is
			-- Put `address' with `a_name' for `e_class'.
		require
			valid_address: address /= Void
			valid_name: a_name /= Void
		do
			put_string (address)
		end

	put_class_syntax (syn: SYNTAX_ERROR; eclass: CLASS_C; str: STRING) is
			-- Put `syn' for `e_class' with `str' as representation.
		require
			valid_syn: syn /= Void
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_ace_syntax (syn: SYNTAX_ERROR; str: STRING) is
			-- Put `syn' with `str' as representation.
		require
			valid_syn: syn /= Void
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_after_class (e_class: CLASS_C; str: STRING) is
			-- Put `str' as representation of quoted text.
		require
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_before_class (e_class: CLASS_C) is
			-- Put `str' as representation of quoted text.
		require
			valid_e_class: e_class /= Void
		do
		end

	put_filter_item (construct: STRING; is_before: BOOLEAN) is
			-- Put `str' as representation of quoted text.
		require
			valid_construct: construct /= Void
		do
		end

	put_symbol (str: STRING) is
			-- Put `str' as representation of quoted text.
		require
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_keyword (str: STRING) is
			-- Put `str' as representation of quoted text.
		require
			valid_str: str /= Void
		do
			put_string (str)
		end

	put_operator (str: STRING; e_feature: E_FEATURE; is_keyword: BOOLEAN) is
			-- Put `str' as representation of quoted text.
		require
			valid_str: str /= Void
			valid_e_feature: e_feature /= Void
		do
			put_string (str)
		end

end -- class OUTPUT_WINDOW