class interface
	HTML_TABLE_CONSTANTS

feature 

	Align: STRING is " ALIGN="

	Background: STRING is " BACKGROUND="

	Bgcolor: STRING is " BGCOLOR="

	Border: STRING is " BORDER="

	Bordercolor: STRING is " BORDERCOLOR="

	Bordercolordark: STRING is " BORDERCOLORDARK="

	Bordercolorlight: STRING is " BORDERCOLORLIGHT="

	Bottom: STRING is "BOTTOM"

	Caption_end: STRING is "</CAPTION>"

	Caption_start: STRING is "<CAPTION"

	Center: STRING is "CENTER"

	Col_end: STRING is "</TD>"

	Col_start: STRING is "<TD"

	Colspan: STRING is " COLSPAN="

	Left: STRING is "LEFT"

	Newline: STRING is ""

	Nowrap: STRING is " NOWRAP"

	Right: STRING is "RIGHT"

	Row_end: STRING is "</TR>"

	Row_start: STRING is "<TR"

	Rowspan: STRING is " ROWSPAN="

	Table_end: STRING is "</TABLE>"

	Table_start: STRING is "<TABLE"

	Tag_end: STRING is ">"

	Tag_start: STRING is "<"

	Top: STRING is "TOP"

	Valign: STRING is " VALIGN="

	Width: STRING is " WIDTH="
	
invariant

		-- from ANY
	reflexive_equality: standard_is_equal (Current)
	reflexive_conformance: conforms_to (Current)

end -- class HTML_TABLE_CONSTANTS