class
	HTML_TABLE

General
	cluster: web.table
	create: make

Ancestors
	ARRAY2 [G]
	HTML_TABLE_CONSTANTS

Queries
	infix "@" (i: INTEGER): STRING
	additional_space: INTEGER
	Align: STRING
	all_default: BOOLEAN
	area: SPECIAL [STRING]
	attribute_out (an_attribute, its_value: STRING): STRING
	attributes_out: STRING
	Background: STRING
	Bgcolor: STRING
	body_out: STRING
	Border: STRING
	border_value: INTEGER
	Bordercolor: STRING
	Bordercolordark: STRING
	Bordercolorlight: STRING
	Bottom: STRING
	capacity: INTEGER
	caption: STRING
	caption_attributes_out: STRING
	Caption_end: STRING
	caption_out: STRING
	Caption_start: STRING
	Center: STRING
	changeable_comparison_criterion: BOOLEAN
	col_attributes_out (row, col: INTEGER): STRING
	Col_end: STRING
	Col_start: STRING
	col_value: INTEGER
	Colspan: STRING
	count: INTEGER
	entry (i: INTEGER): STRING
	extendible: BOOLEAN
	full: BOOLEAN
	Growth_percentage: INTEGER
	has (v: STRING): BOOLEAN
	height: INTEGER
	index_set: INTEGER_INTERVAL
	is_empty: BOOLEAN
	is_equal (other: [like Current] HTML_TABLE): BOOLEAN
	is_inserted (v: STRING): BOOLEAN
	item (row, column: INTEGER): STRING
	Left: STRING
	linear_representation: LINEAR [STRING]
	lower: INTEGER
	Minimal_increase: INTEGER
	Newline: STRING
	Nowrap: STRING
	object_comparison: BOOLEAN
	occurrences (v: STRING): INTEGER
	out: STRING
	prunable: BOOLEAN
	resizable: BOOLEAN
	Right: STRING
	row_attributes_out (row, col: INTEGER): STRING
	Row_end: STRING
	Row_start: STRING
	row_value: INTEGER
	Rowspan: STRING
	same_items (other: [like Current] HTML_TABLE): BOOLEAN
	subarray (start_pos, end_pos: INTEGER): [like Current] HTML_TABLE
	Table_end: STRING
	Table_start: STRING
	Table_width: STRING
	Tag_end: STRING
	Tag_start: STRING
	to_c: ANY
	Top: STRING
	upper: INTEGER
	valid_index (i: INTEGER): BOOLEAN
	valid_index_set: BOOLEAN
	Valign: STRING
	width: INTEGER

Commands
	add_col (a_row: ARRAY [STRING])
	add_row (a_row: ARRAY [STRING])
	array2_make (nb_rows, nb_columns: INTEGER)
	automatic_grow
	clear_all
	compare_objects
	compare_references
	copy (other: [like Current] HTML_TABLE)
	discard_items
	enter (v: [like item] STRING; i: INTEGER)
	fill (other: CONTAINER [STRING])
	force (v: [like item] STRING; row, column: INTEGER)
	grow (i: INTEGER)
	initialize (v: STRING)
	make (nb_row, nb_col: INTEGER)
	make_from_array (a: ARRAY [STRING])
	prune_all (v: STRING)
	put (v: [like item] STRING; row, column: INTEGER)
	put_col (a_row: ARRAY [STRING])
	put_row (a_row: ARRAY [STRING])
	resize (nb_rows, nb_columns: INTEGER)
	set_border (n: INTEGER)
	set_caption (s: STRING)
	set_caption_to_bottom
	set_caption_to_top
	set_col (n: INTEGER)
	set_row (n: INTEGER)
	subcopy (other: [like Current] HTML_TABLE; start_pos, end_pos, index_pos: INTEGER)
	wipe_out