Automatic generation produced by ISE Eiffel
class HTML_TEXT General cluster: html create: make Ancestors HTML_GENERATOR Queries Bold_end: STRING_8 Bold_start: STRING_8 Glossary_definition: STRING_8 Glossary_end: STRING_8 Glossary_start: STRING_8 Glossary_term: STRING_8 H1_end: STRING_8 H1_start: STRING_8 H2_end: STRING_8 H2_start: STRING_8 H3_end: STRING_8 H3_start: STRING_8 H4_end: STRING_8 H4_start: STRING_8 H5_end: STRING_8 H5_start: STRING_8 H6_end: STRING_8 H6_start: STRING_8 Horizontal_rule: STRING_8 Italic_end: STRING_8 Italic_start: STRING_8 Line_break: STRING_8 List_item_end: STRING_8 List_item_start: STRING_8 Ordered_list_end: STRING_8 Ordered_list_start: STRING_8 out: STRING_8 Paragraph_end: STRING_8 Paragraph_start: STRING_8 Preformatted_end: STRING_8 Preformatted_start: STRING_8 Stdout: STDOUT Unordered_list_end: STRING_8 Unordered_list_start: STRING_8 Commands make put_address (s: STRING_8) put_basic (s: STRING_8) put_blink (s: STRING_8) put_bold (text: STRING_8) put_center (s: STRING_8) put_font (s: STRING_8; n: INTEGER_32) put_glossary_definition put_glossary_end put_glossary_start put_glossary_term (text: STRING_8) put_header1 (title: STRING_8) put_header2 (title: STRING_8) put_header3 (title: STRING_8) put_header4 (title: STRING_8) put_header5 (title: STRING_8) put_header6 (title: STRING_8) put_horizontal_rule put_indent (s: STRING_8) put_italic (text: STRING_8) put_line_break put_link (url, anchor: STRING_8) put_list_item_end put_list_item_start put_ordered_list_end put_ordered_list_start put_paragraph_end put_paragraph_start put_preformatted (text: STRING_8) put_unordered_list_end put_unordered_list_start wipe_out -- Generated by Eiffel Studio --
For more details: eiffel.org