class HTML_TABLE General cluster: table create: array2_make, make Ancestors ARRAY2 [G] HTML_TABLE_CONSTANTS Queries additional_space: INTEGER_32 Align: STRING_8 all_default: BOOLEAN area: SPECIAL [STRING_8] attribute_out (an_attribute, its_value: STRING_8): STRING_8 attributes_out: STRING_8 Background: STRING_8 Bgcolor: STRING_8 body_out: STRING_8 Border: STRING_8 border_value: INTEGER_32 Bordercolor: STRING_8 Bordercolordark: STRING_8 Bordercolorlight: STRING_8 Bottom: STRING_8 capacity: INTEGER_32 caption: STRING_8 caption_attributes_out: STRING_8 Caption_end: STRING_8 caption_out: STRING_8 Caption_start: STRING_8 Center: STRING_8 changeable_comparison_criterion: BOOLEAN col_attributes_out (row, col: INTEGER_32): STRING_8 Col_end: STRING_8 Col_start: STRING_8 col_value: INTEGER_32 Colspan: STRING_8 count: INTEGER_32 entry (i: INTEGER_32): STRING_8 extendible: BOOLEAN for_all (test: FUNCTION [ANY, TUPLE [STRING_8], BOOLEAN]): BOOLEAN full: BOOLEAN Growth_percentage: INTEGER_32 has (v: STRING_8): BOOLEAN height: INTEGER_32 index_set: INTEGER_INTERVAL infix "@" (i: INTEGER_32): STRING_8 is_empty: BOOLEAN is_equal (other: [like Current] HTML_TABLE): BOOLEAN is_inserted (v: STRING_8): BOOLEAN item alias "[]" (row, column: INTEGER_32): STRING_8 Left: STRING_8 linear_representation: LINEAR [STRING_8] lower: INTEGER_32 Minimal_increase: INTEGER_32 Newline: STRING_8 Nowrap: STRING_8 object_comparison: BOOLEAN occurrences (v: STRING_8): INTEGER_32 out: STRING_8 prunable: BOOLEAN resizable: BOOLEAN Right: STRING_8 row_attributes_out (row, col: INTEGER_32): STRING_8 Row_end: STRING_8 Row_start: STRING_8 row_value: INTEGER_32 Rowspan: STRING_8 same_items (other: [like Current] HTML_TABLE): BOOLEAN subarray (start_pos, end_pos: INTEGER_32): ARRAY [STRING_8] Table_end: STRING_8 Table_start: STRING_8 Table_width: STRING_8 Tag_end: STRING_8 Tag_start: STRING_8 there_exists (test: FUNCTION [ANY, TUPLE [STRING_8], BOOLEAN]): BOOLEAN to_c: ANY to_cil: NATIVE_ARRAY [STRING_8] to_special: SPECIAL [STRING_8] Top: STRING_8 upper: INTEGER_32 valid_index (i: INTEGER_32): BOOLEAN valid_index_set: BOOLEAN Valign: STRING_8 width: INTEGER_32 Commands add_col (a_row: ARRAY [STRING_8]) add_row (a_row: ARRAY [STRING_8]) array2_make (nb_rows, nb_columns: INTEGER_32) automatic_grow clear_all compare_objects compare_references conservative_resize (min_index, max_index: INTEGER_32) copy (other: [like Current] HTML_TABLE) discard_items do_all (action: PROCEDURE [ANY, TUPLE [STRING_8]]) do_if (action: PROCEDURE [ANY, TUPLE [STRING_8]]; test: FUNCTION [ANY, TUPLE [STRING_8], BOOLEAN]) enter (v: [like array_item] STRING_8; i: INTEGER_32) fill (other: CONTAINER [STRING_8]) force (v: [like item] STRING_8; row, column: INTEGER_32) grow (i: INTEGER_32) initialize (v: STRING_8) make (nb_row, nb_col: INTEGER_32) make_from_array (a: ARRAY [STRING_8]) make_from_cil (na: NATIVE_ARRAY [[like array_item] STRING_8]) prune_all (v: STRING_8) put (v: [like item] STRING_8; row, column: INTEGER_32) put_col (a_row: ARRAY [STRING_8]) put_row (a_row: ARRAY [STRING_8]) resize (nb_rows, nb_columns: INTEGER_32) set_border (n: INTEGER_32) set_caption (s: STRING_8) set_caption_to_bottom set_caption_to_top set_col (n: INTEGER_32) set_row (n: INTEGER_32) subcopy (other: ARRAY [[like array_item] STRING_8]; start_pos, end_pos, index_pos: INTEGER_32) wipe_out