note
	description:
		"HTML generation. This class may be used as ancestor by classes %
		%needing its facilities"
	legal: "See notice at end of class."

	status: "See notice at end of class."
	date: "$Date$"
	revision: "$Revision$"

class
	HTML_GENERATOR

inherit
	HTML_CONSTANTS
	SHARED_STDOUT

feature -- Miscellaneous

	put_bold (text: STRING)
			-- Put `text' in bold face.
		require
			text_not_Void: text /= Void
		do
			put_basic (Bold_start)
			put_basic (text)
			put_basic (Bold_end)
		end

	put_glossary_start
			-- Start glossary list.
		do
			put_basic (Glossary_start)
		end

	put_glossary_end
			-- End glossary list.
		do
			put_basic (Glossary_end)
		end

	put_glossary_term (text: STRING)
			-- Put `text' as glossary term.
		require
			text_not_Void: text /= Void
		do
			put_basic (Glossary_term)
			put_basic (text)
		end

	put_glossary_definition
			-- Put glossary definition tag.
		do
			put_basic (Glossary_definition)
		end

	put_header1 (title: STRING)
			-- Put `title' as level 1 header.
		require
			title_not_Void: title /= Void
		do
			put_basic (H1_start)
			put_basic (title)
			put_basic (H1_end)
			put_basic ("%N")
		end

	put_header2 (title: STRING)
			-- Put `title' as level 2 header.
		require
			title_not_Void: title /= Void
		do
			put_basic (H2_start)
			put_basic (title)
			put_basic (H2_end)
			put_basic ("%N")
		end

	put_header3 (title: STRING)
			-- Put `title' as level 3 header.
		require
			title_not_Void: title /= Void
		do
			put_basic (H3_start)
			put_basic (title)
			put_basic (H3_end)
			put_basic ("%N")
		end

	put_header4 (title: STRING)
			-- Put `title' as level 4 header.
		require
			title_not_Void: title /= Void
		do
			put_basic (H4_start)
			put_basic (title)
			put_basic (H4_end)
			put_basic ("%N")
		end

	put_header5 (title: STRING)
			-- Put `title' as level 5 header.
		require
			title_not_Void: title /= Void
		do
			put_basic (H5_start)
			put_basic (title)
			put_basic (H5_end)
			put_basic ("%N")
		end

	put_header6 (title: STRING)
			-- Put `title' as level 6 header.
		require
			title_not_Void: title /= Void
		do
			put_basic (H6_start)
			put_basic (title)
			put_basic (H6_end)
			put_basic ("%N")
		end

	put_horizontal_rule
			-- Put a horizontal rule.
		do
			put_basic (Horizontal_rule)
			put_basic ("%N")
		end

	put_italic (text: STRING)
			-- Put `text' in italic.
		require
			text_not_Void: text /= Void
		do
			put_basic (Italic_start)
			put_basic (text)
			put_basic (Italic_end)
		end

	put_line_break
			-- Put line break.
		do
			put_basic (Line_break)
		end

	put_link (url, anchor: STRING)
			-- Attach text `anchor' to `url'
		require
			anchor_not_Void: anchor /= Void;
			url_not_Void: url /= Void
		do
			put_basic ("<A HREF=%"")
			put_basic (url)
			put_basic ("%">")
			put_basic (anchor)
			put_basic ("</A>")
		end

	put_list_item_start
			-- Put list item start tag.
		do
			put_basic (List_item_start)
		end

	put_list_item_end
			-- Put list item end tag.
		do
			put_basic (List_item_end)
		end

	put_ordered_list_start
			-- Start ordered list.
		do
			put_basic (Ordered_list_start)
		end

	put_ordered_list_end
			-- End ordered list.
		do
			put_basic (Ordered_list_end)
		end

	put_paragraph_start
			-- Start paragraph.
		do
			put_basic (Paragraph_start)
		end

	put_paragraph_end
			-- End paragraph
		do
			put_basic (Paragraph_end)
		end

	put_preformatted (text: STRING)
			-- Put preformatted text `text'.
		require
			text_not_Void: text /= Void
		do
			put_basic (Preformatted_start)
			put_basic (text)
			put_basic (Preformatted_end)
			put_basic ("%N")
		end

	put_unordered_list_start
			-- Start unordered list.
		do
			put_basic (Unordered_list_start)
		end

	put_unordered_list_end
			-- End unordered list.
		do
			put_basic (Unordered_list_end)
		end

feature -- Transformation

	put_basic (s: STRING)
			-- Write `s' to medium.
		require
			string_not_Void: s /= Void
		do
			stdout.putstring (s)
		end

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




end -- class HTML_GENERATOR