note

	description:
		"Tags of subset of the HTML language. 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_CONSTANTS

feature -- Constants

	Bold_start: STRING = "<B>"
			-- Bold face start tag.

	Bold_end: STRING = "</B>"
			-- Bold face end tag.

	Glossary_start: STRING = "<DL>"
			-- Glossary list start tag.

	Glossary_end: STRING = "</DL>"
			-- Glossary list end tag.

	Glossary_term: STRING = "<DT>"
			-- Glossary list term.

	Glossary_definition: STRING = "<DD>"
			-- Glossary list definition.

	H1_start: STRING = "<H1>"
			-- Header level 1 start tag.

	H1_end: STRING = "</H1>"
			-- Header level 1 end tag.

	H2_start: STRING = "<H2>"
			-- Header level 2 start tag.

	H2_end: STRING = "</H2>"
			-- Header level 2 end tag.

	H3_start: STRING = "<H3>"
			-- Header level 3 start tag.

	H3_end: STRING = "</H3>"
			-- Header level 3 end tag.

	H4_start: STRING = "<H4>"
			-- Header level 4 start tag.

	H4_end: STRING = "</H4>"
			-- Header level 4 end tag.

	H5_start: STRING = "<H5>"
			-- Header level 5 start tag.

	H5_end: STRING = "</H5>"
			-- Header level 5 end tag.

	H6_start: STRING = "<H6>"
			-- Header level 6 start tag.

	H6_end: STRING = "</H6>"
			-- Header level 6 end tag.

	Horizontal_rule: STRING = "<HR>"
			-- Horizontal rule tag.

	Italic_start: STRING = "<I>"
			-- Italic start tag.

	Italic_end: STRING = "</I>"
			-- Italic end tag.

	Line_break: STRING = "<BR>"
			-- Line break tag.

	List_item_start: STRING = "<LI>"
			-- List item start tag.

	List_item_end: STRING = "</LI>"
			-- List item end tag.

	Ordered_list_start: STRING = "<OL>"
			-- Ordered list start tag.

	Ordered_list_end: STRING = "</OL>"
			-- Ordered list end tag.

	Paragraph_start: STRING = "<P>"
			-- Paragraph start tag.

	Paragraph_end: STRING = "</P>"
			-- Paragraph end tag.

	Preformatted_start: STRING = "<PRE>"
			-- Preformatted text start tag.

	Preformatted_end: STRING = "</PRE>"
			-- Preformatted text end tag.

	Unordered_list_start: STRING = "<UL>"
			-- Unordered list start tag.

	Unordered_list_end: STRING = "</UL>";
			-- Unordered list end tag.

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_CONSTANTS